Awesome PLONK

Papers

PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
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
SHPLONK
REDSHIFT: Transparent SNARKs from List Polynomial Commitment IOPs

Forums

PLONK Café

Articles

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
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

零知识证明 - 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
zkSummit5: PLONK without FFTs - Justin Drake (EF)
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