SNARK Design, Part I

A survey of SNARKs (Succinct Non-interactive Argument of Knowledge) with Justin Thaler (Georgetown University). SNARKs are an important cryptographic primitive that has many applications in web3 — from scaling blockchains to ensuring privacy. SNARKs — theorized in the 1980s and ’90s — have jumped from theory to practice. Here, Justin offers an introduction, including their use in various rollup projects.