| Nova - 2021 | →📝 | microsoft | Srinath Setty - Talk[1]Srinath Setty - Video[2]IACR talk slides[3]IVC:Nova lambdaclass[4]Nova - zkstudy club talk[5]zkstudy club video[6] | | |
| Supernova - 2022 | →📝 | jules | Champagne supernova: lambdaclass | | |
| Hypernova - 2023 | →📝 | | CCS: Customizable constraint systems for succinct arguments | | |
| Sangria - 2023 | →📝 | | Blog | | |
| Protostar - 2023 | →📝 | | Deep dive into Protostar paper & protocol - Binyi Chen | | |
| Protogalaxy - 2023 | →📝 | | Notes on ProtoGalaxy | | |
| CycleFold - 2023 | →📝 | | | | |
| BaseFold | →📝 | | | | |
| Proofs for deep thought - 2024 | →📝 | | | | |
| Latticefold | →📝 | | talk - Binyi Chen | | |
| Accumulation without homomorphism | →📝 | | | | |