fix: add banner

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)
+See the contributors list [here](https://github.com/microsoft/Nova/graphs/contributors)