Coda Protocol: Using ZK-SNARKs for a Constant-Size Blockchain at Zcon0 (2018) by Izaak Meckler
Channel: Zcash Foundation
Date: 2018-06-27

Izaak Meckler explains how Coda uses recursive composition of proofs to create a single SNARK for the entire blockchain to certify computations, and multiple SNARKs can be chained together to create one SNARK that stands in for all of them. Meckler also discusses Snarky, Coda's domain-specific language for programming with SNARKs.

Live at Zcon0 (2018) Privacy: From A to Zcon
Presented by @zcashfoundation in Montreal, Canada

00:00 Life of a full node
01:46 Life of an end user
03:11 The basic idea of Coda
04:43 One SNARK for each block
08:15 One SNARK for the whole blockchain
14:53 In practice
19:09 Snarky: Domain-specific language for programming SNARKs