Zero Knowledge Study

Studying zero-knowledge proofs and related fields

Outils pour utilisateurs

Outils du site


400. zk-SNARKs

Understanding it

Introduction to zk-SNARKs with examples (Lundkvist) Read it.

ZK-Snarks and Their Algebraic Structure – Part 1 - see other parts too Read it.

What are zk-SNARKs? Read it.

Why and How zk-SNARK Works:Definite Explanation (Petkus) Read it.

Sonic: Nearly Trustless SNARK Setups - Sean Bowe Watched it

how I learned zk-SNARKs from scratch Read it.

zkSNARKs in a nutshell (Reitwiessner, Ethereum Blog) Read it.

Lecture 17: Succinct Non-interactive Argument (Dima Kogan) Read it.

Zk-SNARKs: Under the Hood (Vitalik Buterin) Read it.

Understanding PLONK (Vitalik Buterin) Read it.

State of the SNARG-scape - Alessandro Chiesa - Youtube Watched it.

Supersonic SNARKs: Trustless with Logarithmic Verification - Ben Fisch (Stanford, Findora) Watched it.

A Gentle Introduction to SNARKs - Anca Nitulescu Read it.

Academic production

"Jens Groth’s zk-SNARK": On the Size of Pairing-based Non-interactive Arguments Read it.

Spartan: Efficient and general-purpose zkSNARKs without trusted setup Read it.

PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge Read it.

PLONK - Youtube video Watched it.

Transparent SNARKs from DARK Compilers - Bünz, Fisch, Szepieniec Read it.

Zendoo: a zk-SNARK Verifiable Cross-Chain Transfer Protocol Enabling Decoupled and Decentralized Sidechains - Garoffolo, Kaidalov, Oliynykov Read it.

Libraries and software

libsnark Read it.

ZoKrates is a toolbox for zkSNARKs on Ethereum Installed it and tried it.

snarky snarky is an OCaml front-end for writing R1CS SNARKs. Read it.

Baby Jubjub inside a ZkSnark using ZoKrates Zero Knowledge Proof of key ownership for Baby Jubjub inside a ZkSnark using ZoKrates. Installed it and tried it.

Main wiki page

400._zk-snarks.txt · Dernière modification: 2020/02/19 17:21 par gcsfred