awesome-plonk
Proof system repository
A curated list of resources and research related to a specific cryptographic proof system.
A curated list of awesome things related to plonk proof system
232 stars
11 watching
25 forks
last commit: about 1 year ago
Linked from 2 awesome lists
Awesome PLONK / Papers | |||
| PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge | |||
Awesome PLONK / Papers / PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge / slides: | |||
| Simons Institute 2019 | 28 | about 1 year ago | |
| Stanford Blockchain Conference 2020 | 28 | about 1 year ago | |
Awesome PLONK / Papers / PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge / slides: / Stanford Blockchain Conference 2020 | |||
| transcripts | |||
Awesome PLONK / Papers | |||
| Proposal: The Turbo-PLONK program syntax for specifying SNARK programs | |||
Awesome PLONK / Papers / Proposal: The Turbo-PLONK program syntax for specifying SNARK programs | |||
| Halo | Turbo-PLONK uses custom gates. Custom gates can make -style Recursive Proof Composition efficient in PlonK | ||
Awesome PLONK / Papers / Proposal: The Turbo-PLONK program syntax for specifying SNARK programs / Halo | |||
| [BCMS20] | further formalizes halo-style Recursive Proof Composition, and call it as an Accumulation scheme | ||
Awesome PLONK / Papers | |||
| plookup: A simplified polynomial protocol for lookup tables | |||
Awesome PLONK / Papers / plookup: A simplified polynomial protocol for lookup tables / slides: | |||
| plookup: speeding up SNARKs on non-friendly functions with lookup tables | 28 | about 1 year ago | |
| Plookup in action | 28 | about 1 year ago | |
Awesome PLONK / Papers | |||
| fflonK: a Fast-Fourier inspired verifier efficient version of PlonK | |||
| Public inputs in PlonK’s permutation argument | 11 | over 4 years ago | |
| SHPLONK | |||
| REDSHIFT: Transparent SNARKs from List Polynomial Commitment IOPs | |||
Awesome PLONK / Papers / 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 | |||
Awesome PLONK / Forums | |||
| PLONK Café | |||
Awesome PLONK / Articles | |||
| Understanding PLONK | by Vitalik Buterin | ||
| Plonk tutorial | 78 | almost 5 years ago | by barryWhiteHat |
| [1] | metastate's plonk-by-hand series ( , , ) | ||
Awesome PLONK / Articles / [1] | |||
| plonk-by-fingers | 60 | over 1 year ago | is a toy implementation in rust |
Awesome PLONK / Articles | |||
| On PLONK and plookup | |||
| 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 | |||
Awesome PLONK / Articles / 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 | |||
Awesome PLONK / Articles | |||
| setup codes here | 31 | over 1 year ago | AZTEC Ignition ( , ) |
Awesome PLONK / Articles / setup codes here | |||
| Ignition: Trusted Setup MPC Ceremony for PLONK | |||
Awesome PLONK / Articles / setup codes here / Ignition: Trusted Setup MPC Ceremony for PLONK | |||
| How the Ceremony Works - Basic | |||
| How the Ceremony Works - Advanced | |||
Awesome PLONK / Articles / setup codes here | |||
| AZTEC CRS: The Biggest MPC Setup in History has Successfully Finished | |||
Awesome PLONK / 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 | |||
| Aztec: Plonk in Dystopian Times | |||
| Polynomial protocols for range proofs | |||
| [1] | How does PLONK work? ( , ) | ||
Awesome PLONK / Demo / dusk-network | |||
| Zero-Knowledge: PLONK Demo - Dusk | |||
| Zero-Knowledge: PLONK Demo 2 - Dusk | |||
Awesome PLONK / Implementations | |||
| Aztec's implementation in C++ | 147 | 11 months ago | |
| Matter Labs' implementation in Rust | 160 | about 1 year ago | |
| plonky: Recursive SNARKs based on Plonk and Halo | 114 | about 4 years ago | |
| dusk-plonk | 554 | about 1 year ago | |
| ark-plonk | 295 | about 2 years ago | |
matter-labs/awesome-zero-knowledge-proofs
worldcoin/awesome-zkml