awesome-plonk
A curated list of awesome things related to plonk proof system
https://github.com/Fluidex/awesome-plonk
Last synced: 5 days ago
JSON representation
-
Papers
- Plookup in action
- PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
- Simons Institute 2019
- Stanford Blockchain Conference 2020
- transcripts
- Proposal: The Turbo-PLONK program syntax for specifying SNARK programs
- Halo - style Recursive Proof Composition efficient in PlonK.
- [BCMS20 - style Recursive Proof Composition, and call it as an Accumulation scheme
- plookup: A simplified polynomial protocol for lookup tables
- plookup: speeding up SNARKs on non-friendly functions with lookup tables
- fflonK: a Fast-Fourier inspired verifier efficient version of PlonK
- Public inputs in PlonK’s permutation argument
- SHPLONK
- REDSHIFT: Transparent SNARKs from List Polynomial Commitment IOPs
- paper
- website
-
Forums
-
Articles
- Understanding PLONK
- [1 - by-hand-part-2-the-proof/), [[3]](https://research.metastate.dev/plonk-by-hand-part-3-verification/))
- On PLONK and plookup
- From AIRs to RAPs - how PLONK-style arithmetization works
- Multiset checks in PLONK and Plookup
- Plonk and PLookup
- PLONK custom gates design considerations
- Thoughts on Plookup implementation of Sha256 and Keccak
- Plonk and Poseidon
- 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
- 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
- Plonk tutorial
- plonk-by-fingers
- setup codes here - verification))
- Multiset checks in PLONK and Plookup
-
Podcasts / Videos
- 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
- ZK-LDN 0x04: On Marlin and PLONK
- Aztec: Plonk in Dystopian Times
- Polynomial protocols for range proofs
- [1 - does-plonk-work-part-2-an-overview/))
- 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
- Zero Knowledge Episode 112: Dive into Plonk!
-
Demo
-
Implementations
Programming Languages
Sub Categories