Merge pull request ingonyama-zk#73 from ingonyama-zk/Otsar-Raikou-pat…

…ch-3

Update protocolsSNARK.md

src/protocolsSNARK.md

@@ -13,8 +13,7 @@
 |xjSNARK - 2018|[ →📝](https://akosba.github.io/papers/xjsnark.pdf)|  | |❌|❌|
 |Hyrax - 2018|[ →📝](https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8418646)| | | | | | 
 |Sonic - 2019|[ →📝](https://eprint.iacr.org/2019/099.pdf)| |[Benthams Gaze](https://www.benthamsgaze.org/2019/02/07/introducing-sonic-a-practical-zk-snark-with-a-nearly-trustless-setup/)|✅|❌|
-|Plonk - 2019|[ →📝](https://eprint.iacr.org/2019/953.pdf)|<ul><li>heliaxdev[[1]](https://github.com/heliaxdev/plonk)</li><li>kobigurk[[2]](https://github.com/kobigurk/plonk/tree/kobigurk/port_to_zexe)</li><li>ZK-Garage[[3]](https://github.com/ZK-Garage/plonk)</li><li>dusk-network[[4]](https://github.com/dusk-network/plonk)</li><li>Jellyfish (Includes Plookup)[[5]](https://github.com/EspressoSystems/jellyfish)|<ul><li>Plonk high level summary[[1]](https://www.smartcontractresearch.org/t/research-summary-plonk-permutations-over-lagrange-bases-for-oecumenical-noninteractive-arguments-of-knowledge/382)</li><li>Talk: Ariel Gabizon[[2]](https://www.youtube.com/watch?v=dHo56MhQlHk)</li><li>Talk: Zac Williamson[[3]](https://www.youtube.com/watch?v=ty-LZf0YCK0) </li><li>Understanding Plonk - Vitalik[[4]](https://vitalik.ca/general/2019/09/22/plonk.html)</li><li>From AIRs to RAPs - how PLONK-style arithmetization works[[5]](https://hackmd.io/@aztec-network/plonk-arithmetiization-air#How-does-all-this-relate-to-R1CS)
-</li><li>Custom gates on plonk -Do whatever[[7]](https://kobi.one/2021/05/20/plonk-custom-gates.html)</li><li>Plonk Cafe[[8]](https://www.plonk.cafe/top)</li><li>Plonk: Anatomy of a proof generation: Scroll[[9]](https://scroll.io/blog/proofGeneration#heading-22)</li><li>Resource: Plonk by hand -1 Metastate[[10.1]](https://research.metastate.dev/plonk-by-hand-part-1/)</li><li>Resource: Plonk by hand -2 Metastate[[10.2]](https://research.metastate.dev/plonk-by-hand-part-2-the-proof/)</li><li>Resource: Plonk by hand -3 Metastate[[10.3]](https://research.metastate.dev/plonk-by-hand-part-3-verification/) </li><li>Resource: Plonk and Plookup Metastate[[10.4]](https://research.metastate.dev/on-plonk-and-plookup/)</li><li>Turboplonk[[11]](https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-turbo_plonk.pdf)</li><li>Custom gates in plonk[[12]](https://www.plonk.cafe/t/details-of-custom-gate/122)</li><li>Plonk: Thomas Piellard[[13]](https://hackmd.io/@gnark/plonk)</li><li>ZKP intro to Plonk - Star Li[[14]](https://trapdoortech.medium.com/zkp-plonk-algorithm-introduction-834556a32a)</li><li>Multi set checks in Plonk and Plookup: Gabizon[[15]](https://hackmd.io/@arielg/ByFgSDA7D)</li><li>Plonk - Kimchi: Mina Protocol[[16.1]](https://eng-blog.o1labs.org/posts/plonk/)</li><li>Kimchi[[16.2]](https://minaprotocol.com/blog/kimchi-the-latest-update-to-minas-proof-system)</li><li>Plonk not a monad tutorial[[17]](https://blog.lambdaclass.com/all-you-wanted-to-know-about-plonk/?utm_source=substack&utm_medium=email)|✅|❌|
+|Plonk - 2019|[ →📝](https://eprint.iacr.org/2019/953.pdf)|<ul><li>heliaxdev[[1]](https://github.com/heliaxdev/plonk)</li><li>kobigurk[[2]](https://github.com/kobigurk/plonk/tree/kobigurk/port_to_zexe)</li><li>ZK-Garage[[3]](https://github.com/ZK-Garage/plonk)</li><li>dusk-network[[4]](https://github.com/dusk-network/plonk)</li><li>Jellyfish (Includes Plookup)[[5]](https://github.com/EspressoSystems/jellyfish)|<ul><li>Plonk high level summary[[1]](https://www.smartcontractresearch.org/t/research-summary-plonk-permutations-over-lagrange-bases-for-oecumenical-noninteractive-arguments-of-knowledge/382)</li><li>Talk: Ariel Gabizon[[2]](https://www.youtube.com/watch?v=dHo56MhQlHk)</li><li>Talk: Zac Williamson[[3]](https://www.youtube.com/watch?v=ty-LZf0YCK0) </li><li>Understanding Plonk - Vitalik[[4]](https://vitalik.ca/general/2019/09/22/plonk.html)</li><li>From AIRs to RAPs - how PLONK-style arithmetization works[[5]](https://hackmd.io/@aztec-network/plonk-arithmetiization-air#How-does-all-this-relate-to-R1CS)</li><li>Custom gates on plonk -Do whatever[[7]](https://kobi.one/2021/05/20/plonk-custom-gates.html)</li><li>Plonk Cafe[[8]](https://www.plonk.cafe/top)</li><li>Plonk: Anatomy of a proof generation: Scroll[[9]](https://scroll.io/blog/proofGeneration#heading-22)</li><li>Resource: Plonk by hand -1 Metastate[[10.1]](https://research.metastate.dev/plonk-by-hand-part-1/)</li><li>Resource: Plonk by hand -2 Metastate[[10.2]](https://research.metastate.dev/plonk-by-hand-part-2-the-proof/)</li><li>Resource: Plonk by hand -3 Metastate[[10.3]](https://research.metastate.dev/plonk-by-hand-part-3-verification/) </li><li>Resource: Plonk and Plookup Metastate[[10.4]](https://research.metastate.dev/on-plonk-and-plookup/)</li><li>Turboplonk[[11]](https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-turbo_plonk.pdf)</li><li>Custom gates in plonk[[12]](https://www.plonk.cafe/t/details-of-custom-gate/122)</li><li>Plonk: Thomas Piellard[[13]](https://hackmd.io/@gnark/plonk)</li><li>ZKP intro to Plonk - Star Li[[14]](https://trapdoortech.medium.com/zkp-plonk-algorithm-introduction-834556a32a)</li><li>Multi set checks in Plonk and Plookup: Gabizon[[15]](https://hackmd.io/@arielg/ByFgSDA7D)</li><li>Plonk - Kimchi: Mina Protocol[[16.1]](https://eng-blog.o1labs.org/posts/plonk/)</li><li>Kimchi[[16.2]](https://minaprotocol.com/blog/kimchi-the-latest-update-to-minas-proof-system)</li><li>Plonk not a monad tutorial[[17]](https://blog.lambdaclass.com/all-you-wanted-to-know-about-plonk/?utm_source=substack&utm_medium=email)|✅|❌|
 |Redshift - 2019|[ →📝](https://eprint.iacr.org/2019/1400)|[Redhsift Summary](https://www.smartcontractresearch.org/t/research-summary-redshift-transparent-snarks-from-list-polynominal-commitment-iops/344)| | | | | |
 |Spartan - 2019|[ →📝](https://eprint.iacr.org/2019/550.pdf)|[Microsoft](https://github.com/microsoft/Spartan) | | | | |
 |Halo - 2019|[ →📝](https://eprint.iacr.org/2019/1021.pdf)| |  |✅|✅|