Protocols

Our collection of mathematical papers, protocols, and code on ZK proofs is a comprehensive resource for researchers, developers, and students in the field of cryptography. These materials provide a deep understanding of the theories, implementations, and practical applications of zero-knowledge proofs, serving as a valuable reference for anyone interested in this cutting-edge technology.

What you will find here: Protocols, Papers, Code

• Pinocchio - 2013
• TinyRAM - 2013
• vnTinyRAM - 2014
  • Code: Mike Hearn
• Geppetto - 2015
• Buffet - 2015
• Groth -2016
  • Code: ConSensys - gnark,Code: Arkworks
  • Groth16 Malleability - Geometry research
  • Proof of forgery
  • Groth16 aggregation proposal
  • Groth - Talk
  • Deep into bellman library - Star Li
• Ligero - 2017
• ZoKrates - 2018, Code: ZoKrates
  • Proving hash preimage with Zokrates - Decentriq
  • Efficient ECC in Zokrates- Decentriq
• xjSNARK - 2018
• vRAM - 2018
• Bulletproof - 2018
  • ZKP using Bullet proofs - Lovesh Harchandani
  • Code: Dalek
  • Code: Lovesh
  • Notes
• Hyrax - 2018
• zk-STARK -2018
  • Code: Winterfell -multi threaded zk STARK, Crate: Winterfell
  • CAIRO
  • MiniSTARK
• Sonic - 2019
  • Sonic - Benthams Gaze
• Plonk - 2019
  • Plonk high level summary
  • Talk: Ariel Gabizon
  • Talk: Zac Williamson
  • Understanding Plonk - Vitalik
  • From AIRs to RAPs - how PLONK-style arithmetization works
  • On optimizations of Plonk
  • Custom gates on plonk -Do whatever
  • Plonk Cafe
  • Plonk: Anatomy of a proof generation: Scroll
  • code: Heliaxdev, code: Kobigurkan ,code: ZKgarage, code: Dusknetwork,code: Jellyfish includes plookup ,Resource: Awesome_Plonk
  • Resource: Plonk by hand -1 Metastate
    • Resource: Plonk by hand -2 Metastate
    • Resource: Plonk by hand -3 Metastate
    • Resource: Plonk and Plookup Metastate
  • Turboplonk
  • Custom gates in plonk
  • Plonk: Thomas Piellard
  • ZKP intro to Plonk - Star Li
  • Multi set checks in Plonk and Plookup: Gabizon
  • Plonk - Kimchi: Mina Protocol
    • Kimchi -Redshift - 2019
  • Redhsift Summary
• Spartan - 2019
  • code: Microsoft
• Halo - 2019
  • Halo - Thomas Piellard
• Aurora - 2019
  • Thesis Spooner
• MIRAGE - 2020
• Marlin - 2020
  • Code: Sciprlab-Arkworks
  • Doc: Pre lunar and not updated to Aleo/testnet3
  • Thesis
  • Eurocrypt 2020: Talk video
  • ZK summit - Talk: Pratyush
  • Sin7y tech review: blog
  • Marlin and Me
• Fractal -2020
  • Fractal - talk
  • code: Sciprlabs-Libiop
  • Resource: Demystifying Fractal 1 -Metastate
  • Resource:Demystifying Fractal 2 - Metastate
• Lunar - 2020 - Optimizations for Marlin.
  • ZK study club video
• SuperSonic - 2020
  • Resource: Demystifying supersonic 1 -Metastate
  • Resource: Demystifying supersonic 2- Metastate
• Virgo - 2020, code
• Plookup -2020
  • Marlin + Plookup (High-Level Summary)
  • code: Jellyfish
  • Plookup in action -Talk
  • Plonk and Plookup - Metastate
  • Plonk and Plookup - Khovratovich
  • Mina Protocol
  • AES with lookup : Daira Hopwood
  • Lookup tables - Ariel Gabizon
• Zilch - 2021
  • code
• Darlin - 2021
  • code
• Plonkup -2021
• SnarkPack -2021 Practical snark aggregation
  • Blog: efficient aggregation
  • SNark aggregation: general
• FFlonk -2021 a FFT friendly Plonk
• Brakedown - 2021
• Nova - 2021,
  • code
  • Srinath Setty - Talk
  • Srinath Setty - Video
  • Nova - Entropy
  • IACR talk slides
  • IVC:Nova lambdaclass
• Plonky2 - 2022
  • code
  • documentation
  • Plonky: code
  • Plonky: Fast recursive arguments based on Plonk and Halo
  • Plonky: Adding zero Knowledge to Plonk and Halo
• Gemini - 2022, Arkworks
  • talk
• Caulk - 2022
  • Code
  • Caulk+
• Orion -2022
  • Code
  • IACR -talk
• Hyperplonk - 2022
  • code: Espresso systems
  • Hyperplonk - benedikt Bunz
  • Blog- Delendum
  • Hardware friendliness of MLE-Sumcheck
  • Hardware-optimizations for SumCheck-Binyi Chen
• flookup: Fractional decomposition-based lookups in quasi-linear time independent of table size -2022
• Baloo: Nearly Optimal Lookup Arguments - 2022
• CQ: Cached coefficients for fast lookups 2022
  • code: Geometry
• Supernova 2022
  • code: Jules
  • Champagne supernova: lambdaclass
• Sangria: a folding scheme for plonk
  • blog