Zero-Knowledge Proofs

Proving systems and the tooling to build with them: how they work, what they cost, and the general-purpose virtual machines that prove arbitrary program execution.

1395 talks

• Democratizing zk-SNARKs: Improved setup, performance and security
• Scalable, Transparent and Post-quantum Secure Computational Integrity...
• How does one use a SNARK for something (DSL's/toolsets)
• Parameter Generation
• ZoKrates – A Toolbox for zkSNARKs on Ethereum
• Richard Caetano & Anuj Das Gupta: How Stratumn Secures Processes (Episode 159)
• Zcash + Ethereum = ❤
• EB122 – Zooko Wilcox: Zcash - An Open Financial System With Privacy
• EB116 – Eli Ben-Sasson: Zero Knowledge Proofs
• zkVM 最新进展与核心技术解析: Logup-GKR p1
• [转载] Overview of FRI by Guoyu - part2
• Session 7 - Intro to Aztec
• L12 - How do zk SNARKs work? | by Himanshu | BlocSoc Lecture Series
• Additional session - KZG
• ZK Workshop #1 - Introducción
• Session 10 - zkVerify use cases & implementation
• 白皮书解读：零知识证明 Plonk
• Session 6 - Semaphore Protocol
• [转载] p2: 零知识证明智能合约实践 -- 张烨
• [转载]ZKP进阶 PLONK 原理3-郭宇@安比
• [转载] p1 : 零知识证明背景介绍 -- 李辰星
• [转载] Overview of FRI by Guoyu - part1
• 第十讲 Primus zkTLS Bring Internet Data into Blockchain
• Session 3 - ZKP Basics