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)