An Introduction to Commitment-Based Succinct Arguments

on YouTube ↗01h 12m

" summary

Explains a concrete recipe: short arguments come from combining an information‑theoretic probabilistic proof (PCP/IOP) with a cryptographic commitment so that many SNARGs are special cases of Kilian's protocol using a vector commitment or its functional/batched variants; gives two security analyses (rewinding tradeoff, 1/ε vs runtime, and straight‑line extraction in an ideal model), shows how multi‑round IOPs and batch openings compress efficiently, and pinpoints when Fiat‑Shamir works in the random‑oracle case versus standard‑model obstacles; points to snargsbook.org.

AI-written summary · about

" chapters (9)

1. 0:00Workshop introduction
2. 3:12Program on proof systems
3. 4:13Commitment-based succinct arguments
4. 19:00Kilian's Protocol security
5. 35:52Query models in succinct arguments
6. 46:12Multi-round oracle proofs
7. 54:59Public vs private coin IOPs
8. 1:00:44Fiat-Shamir transformation
9. 1:06:08Talk summary

" related talks

• 01h 08mTutorial on Proof SystemsAbhishek Jain · Minimal Complexity Assumptions for Cryptography 2023
• 24mA Framework for Post-Quantum Succinct ArgumentsAlessandro Chiesa · Zcon1: Zero to Privacy Hero 2019
• 01h 09mProofs - Practice 1Justin Thaler · Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025
• 01h 15mProofs - TheoryYael Tauman Kalai · Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025
• 01h 15mTo interact or not to interact: Cryptographic proof systems and the Fiat-Shamir heuristicAlex Lombardi · Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025
• 01h 07mBatch Arguments for NP and SNARGs for P from LWEAbhishek Jain · Quantum and Lattices Joint Reunion Workshop
• 48mCommitments to Quantum StatesFermi Ma · Minimal Complexity Assumptions for Cryptography 2023
• 18mSoK: Understanding zk-SNARKs: The Gap Between Research and PracticeJunkai Liang, Daqi Hu, Pengfei Wu, Yunbo Yang, Qingni Shen, Zhonghai Wu · USENIX Security '25