zk-SNARKs

Overview

• Ethereum - zk-SNARKs in a nutshell
• O(1)Labs / Mina Protocol - Guide to zk-SNARKs

Solutions

• Mina Protocol
• ZoKrates
• Zoracles
• Zcash

Languages

• Lurk: lurk-rs, Lurk (Lisp)
• Snarky by O(1)labs
• Juvix uses Plonk

Papers

• Recursive Proof Composition without a Trusted Setup, by Sean Bowe, Jack Grigg, and Daira Hopwood
• Nova: Recursive Zero-Knowledge Arguments from Folding Schemes, by Abhiram Kothapalli, Srinath Setty, Ioanna Tzialla
• PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge, by Ariel Gabizon, Zachary J. Williamson, and Oana Ciobotaru