gavinzheng/awesome-plonk

A curated list of awesome things related to plonk proof system

Awesome PLONK

Papers

• PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
  • slides:
    • Simons Institute 2019
    • Stanford Blockchain Conference 2020
      • transcripts
• Proposal: The Turbo-PLONK program syntax for specifying SNARK programs
  • Turbo-PLONK uses custom gates. Custom gates can make Halo-style Recursive Proof Composition efficient in PlonK.
    • [BCMS20] further formalizes halo-style Recursive Proof Composition, and call it as an Accumulation scheme
• plookup: A simplified polynomial protocol for lookup tables
  • slides:
    • plookup: speeding up SNARKs on non-friendly functions with lookup tables
    • Plookup in action
• Public inputs in PlonK’s permutation argument
• SHPLONK
• REDSHIFT: Transparent SNARKs from List Polynomial Commitment IOPs
• Reinforced Concrete: A new ZK friendly hash function. When Plookup is enabled, it can be up to 17x faster than Poseidon (50 cycles/byte), and only 7 times slower than Blake2.
  • paper
  • website

Forums

• PLONK Café

Articles

• Understanding PLONK by Vitalik Buterin
• Plonk tutorial by barryWhiteHat
• metastate's plonk-by-hand series
  • https://research.metastate.dev/plonk-by-hand-part-1/
  • https://research.metastate.dev/plonk-by-hand-part-2-the-proof/
  • https://research.metastate.dev/plonk-by-hand-part-3-verification/

• From AIRs to RAPs - how PLONK-style arithmetization works

• Multiset checks in PLONK and Plookup by Ariel Gabizon
• Plonk and PLookup by Dmitry Khovratovich
• PLONK custom gates design considerations by Kobi Gurkan
• Thoughts on Plookup implementation of Sha256 and Keccak by Konstantce
• Plonk and Poseidon (Plonk adaptation tailored to Poseidon) by Dmitry Khovratovich
• Non-native field arithmetic using custom gates
• Fast recursive arguments based on Plonk and Halo
• Adding zero knowledge to Plonk-Halo
• UltraPLONK Arithmetization in Halo 2
• TurboPLONK benchmarks
  • https://medium.com/aztec-protocol/plonk-benchmarks-2-5x-faster-than-groth16-on-mimc-9e1009f96dfe
  • https://medium.com/aztec-protocol/plonk-benchmarks-ii-5x-faster-than-groth16-on-pedersen-hashes-ea5285353db0
• AZTEC Ignition (setup codes here, verification codes here)
  • Ignition: Trusted Setup MPC Ceremony for PLONK
    • How the Ceremony Works - Basic
    • How the Ceremony Works - Advanced
  • AZTEC CRS: The Biggest MPC Setup in History has Successfully Finished

Podcasts / Videos

• Zero Knowledge Episode 112: Dive into Plonk!
• ZK Study Club - Plonk with Zac Williamson
• Zac Williamson on PLONK and TurboPLONK at ZKSummit
• zkSummit5: PLONK without FFTs - Justin Drake (EF)
• zkSummit: plookup: Speeding up the PLONK prover - Zac Williamson & Ariel Gabizon (with Turbo PLONK & Ultra PLONK benchmarks)
• ZK-LDN 0x04: On Marlin and PLONK

Demo

• dusk-network
  • Zero-Knowledge: PLONK Demo - Dusk
  • Zero-Knowledge: PLONK Demo 2 - Dusk

Implementations

• Aztec's implementation in C++
• Matter Labs' implementation in Rust
• plonky: Recursive SNARKs based on Plonk and Halo
• dusk-plonk