README.md

Awesome PLONK

Papers

• PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
• plookup: A simplified polynomial protocol for lookup tables
• SHPLONK
• Proposal: The Turbo-PLONK program syntax for specifying SNARK programs

Forums

• PLONK Café

Articles

• Understanding PLONK by Vitalik Buterin
• Plonk tutorial by barryWhiteHat
• metastate's articles
  • 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/
• Multiset checks in PLONK and Plookup by Ariel Gabizon
• Plonk and PLookup by Dmitry Khovratovich
• Thoughts on Plookup implementation of Sha256 and Keccak by Konstantce
• TurboPLONK benchmarks

• 零知识证明 - PLONK电路原理

• 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
• zkSummit: plookup: Speeding up the PLONK prover - Zac Williamson & Ariel Gabizon (with Turbo PLONK & Ultra PLONK benchmarks)

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