| Pinocchio - 2013 | →📝 | | | ❌ | ❌ |
| TinyRAM - 2013 | →📝 | | | ❌ | ❌ |
| vnTinyRAM - 2014 | →📝 | Mike Hearn | | ✅ | ❌ |
| Geppetto - 2015 | →📝 | | | ❌ | ❌ |
| Buffet - 2015 | →📝 | | | ❌ | ❌ |
| Groth -2016 | →📝 | - ConsenSys-gnark[1]
- arkworks-rs[2]
| - Groth16 Malleability - Geometry[1]
- Proof of forgery[2]
- Groth16 aggregation proposal[3]
- Groth - Talk[4]
- Deep into bellman library - Star Li[5]
- Lookups for groth16?[6.1]
- ultragroth[6.2]
- An overview of the Groth 16 proof system[7]
| ❌ | ❌ |
| Ligero - 2017 | →📝 | | | ✅ | ✅ |
| ZoKrates - 2018 | →📝 | ZoKrates | Proving hash preimage with Zokrates - Decentriq[1] Efficient ECC in Zokrates- Decentriq[2] | | |
| xjSNARK - 2018 | →📝 | | | ❌ | ❌ |
| Hyrax - 2018 | →📝 | | | | |
| Sonic - 2019 | →📝 | | Benthams Gaze | ✅ | ❌ |
| Plonk - 2019 | →📝 | - heliaxdev[1]
- kobigurk[2]
- ZK-Garage[3]
- dusk-network[4]
- Jellyfish (Includes Plookup)[5]
| - Plonk high level summary[1]
- Talk: Ariel Gabizon[2]
- Talk: Zac Williamson[3]
- Understanding Plonk - Vitalik[4]
- From AIRs to RAPs - how PLONK-style arithmetization works[5]
- Custom gates on plonk -Do whatever[7]
- Plonk Cafe[8]
- Plonk: Anatomy of a proof generation: Scroll[9]
- Resource: Plonk by hand -1 Metastate[10.1]
- Resource: Plonk by hand -2 Metastate[10.2]
- Resource: Plonk by hand -3 Metastate[10.3]
- Resource: Plonk and Plookup Metastate[10.4]
- Turboplonk[11]
- Custom gates in plonk[12]
- Plonk: Thomas Piellard[13]
- ZKP intro to Plonk - Star Li[14]
- Multi set checks in Plonk and Plookup: Gabizon[15]
- Plonk - Kimchi: Mina Protocol[16.1]
- Kimchi[16.2]
- Plonk not a monad tutorial[17]
| ✅ | ❌ |
| Redshift - 2019 | →📝 | Redhsift Summary | | | |
| Spartan - 2019 | →📝 | Microsoft | | | |
| Halo - 2019 | →📝 | | | ✅ | ✅ |
| MIRAGE - 2020 | →📝 | | | ✅ | ❌ |
| Marlin - 2020 | →📝 | arkworks-rs | Doc: Pre lunar and not updated to Aleo/testnet3[1]Thesis[2]Eurocrypt 2020: Talk video [3]ZK summit - Talk: Pratyush[4]Sin7y tech review: blog[5]Marlin and Me[6] | | |
| Fractal -2020 | →📝 | scipr-lab/libiop | Fractal - talk[1] Demystifying Fractal 1 -Metastate[2.1]Demystifying Fractal 2 - Metastate[2.2] | | |
| Lunar - 2020 | →📝 | | ZK study club video | | |
| SuperSonic - 2020 | →📝 | | Demystifying supersonic 1 -Metastate[1.1]Demystifying supersonic 2- Metastate[1.2] | ✅ | ✅ |
| Darlin - 2021 | →📝 | | | | |
| Plonkup -2021 | →📝 | HorizenOfficial/ginger-lib | | | |
| SnarkPack -2021 | →📝 | Efficient Aggregation | | | |
| FFlonk -2021 | →📝 | | | | |
| Brakedown - 2021 | →📝 | | | | |
| Gemini - 2022 | →📝 | Elastic SNARKs for diverse environments | | | |
| Hyperplonk - 2022 | →📝 | EspressoSystems | Hyperplonk - benedikt Bunz[1]Delendum[2]Hardware friendliness of MLE-Sumcheck[3]Hardware-optimizations for SumCheck-Binyi Chen[4] | | |
| Testudo: Groth+Spartan - 2023 | →📝 | cryptonetlab | | | |
| Jolt - 2023 | →📝 | | Introducing Lasso and Jolt[1]Boosting Lasso-Jolt[2]A Technical FAQ[3] | | |