From af601ed0513a2df6321a2d88293ca3260e71ef84 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?= Date: Sun, 31 Dec 2023 18:55:30 -0500 Subject: [PATCH] fix: add banner --- README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 2447e30f..3ece48a1 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,6 @@ +> [!WARNING] +> Technical fork, the main development is happening at https://github.com/lurk-lab/arecibo + # Nova: High-speed recursive arguments from folding schemes Nova is a high-speed recursive SNARK (a SNARK is type cryptographic proof system that enables a prover to prove a mathematical statement to a verifier with a short proof and succinct verification, and a recursive SNARK enables producing proofs that prove statements about prior proofs). @@ -87,4 +90,4 @@ Use of Microsoft trademarks or logos in modified versions of this project must n Any use of third-party trademarks or logos are subject to those third-party's policies. ## Acknowledgments -See the contributors list [here](https://github.com/microsoft/Nova/graphs/contributors) \ No newline at end of file +See the contributors list [here](https://github.com/microsoft/Nova/graphs/contributors)