Merge pull request #96 from ingonyama-zk/Otsar-Raikou-patch-4

Update protocolsSNARK.md

src/protocolsSNARK.md

@@ -7,7 +7,7 @@
 |vnTinyRAM - 2014|[ →📝](https://www.usenix.org/system/files/conference/usenixsecurity14/sec14-paper-ben-sasson.pdf)|[Mike Hearn](https://blog.plan99.net/vntinyram-7b9d5b299097)| |✅|❌|
 |Geppetto - 2015|[ →📝](https://ieeexplore.ieee.org/document/7163030?denied=)| | |❌|❌|
 |Buffet - 2015|[ →📝](https://www.ndss-symposium.org/ndss2015/ndss-2015-programme/efficient-ram-and-control-flow-verifiable-outsourced-computation/)| | |❌|❌|
-|Groth -2016|[ →📝](https://eprint.iacr.org/2016/260.pdf)|<ul><li>ConsenSys-gnark[[1]](https://github.com/ConsenSys/gnark)</li><li>arkworks-rs[[2]](https://github.com/arkworks-rs/groth16)|<ul><li>Groth16 Malleability - Geometry[[1]](https://geometry.xyz/notebook/groth16-malleability)</li><li>Proof of forgery[[2]](https://medium.com/ppio/how-to-generate-a-groth16-proof-for-forgery-9f857b0dcafd)</li><li>Groth16 aggregation proposal[[3]](https://docs.zkproof.org/pages/standards/accepted-workshop4/proposal-aggregation.pdf)</li><li>Groth - Talk[[4]](https://www.youtube.com/watch?v=OseAdq0CoOY)</li><li>Deep into bellman library - Star Li[[5]](https://trapdoortech.medium.com/zkp-deep-into-bellman-library-9b1bf52cb1a6)</li><li>Lookups for groth16?[[6.1]](https://hackmd.io/@Merlin404/SJmtF_k-2)</li><li>ultragroth[[6.2]](https://hackmd.io/@Merlin404/Hy_O2Gi-h?utm_source=substack&utm_medium=email) |❌|❌|
+|Groth -2016|[ →📝](https://eprint.iacr.org/2016/260.pdf)|<ul><li>ConsenSys-gnark[[1]](https://github.com/ConsenSys/gnark)</li><li>arkworks-rs[[2]](https://github.com/arkworks-rs/groth16)|<ul><li>Groth16 Malleability - Geometry[[1]](https://geometry.xyz/notebook/groth16-malleability)</li><li>Proof of forgery[[2]](https://medium.com/ppio/how-to-generate-a-groth16-proof-for-forgery-9f857b0dcafd)</li><li>Groth16 aggregation proposal[[3]](https://docs.zkproof.org/pages/standards/accepted-workshop4/proposal-aggregation.pdf)</li><li>Groth - Talk[[4]](https://www.youtube.com/watch?v=OseAdq0CoOY)</li><li>Deep into bellman library - Star Li[[5]](https://trapdoortech.medium.com/zkp-deep-into-bellman-library-9b1bf52cb1a6)</li><li>Lookups for groth16?[[6.1]](https://hackmd.io/@Merlin404/SJmtF_k-2)</li><li>ultragroth[[6.2]](https://hackmd.io/@Merlin404/Hy_O2Gi-h?utm_source=substack&utm_medium=email)</li><li>An overview of the Groth 16 proof system[[7]](https://blog.lambdaclass.com/groth16/)|❌|❌|
 |Ligero - 2017|[ →📝](https://dl.acm.org/doi/pdf/10.1145/3133956.3134104)| | |✅|✅|
 |ZoKrates - 2018|[ →📝](https://api-depositonce.tu-berlin.de/server/api/core/bitstreams/2b81beb7-5b0f-4048-a56f-104317a82675/content)|[ZoKrates](https://zokrates.github.io/)|</li><li>Proving hash preimage with Zokrates - Decentriq[[1]](https://blog.decentriq.com/proving-hash-pre-image-zksnarks-zokrates/) </li><li>Efficient ECC in Zokrates- Decentriq[[2]](https://blog.decentriq.com/efficient-ecc-in-zksnarks-using-zokrates/)| | |❌|❌|
 |xjSNARK - 2018|[ →📝](https://akosba.github.io/papers/xjsnark.pdf)|  | |❌|❌|