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

• L14 - Introduction to Halo2 | by Nullity | BlocSoc Lecture Series
• Session 5 - ZK App architecture & Intro to Circom
• Session 8 - Intro to Noir
• 基于 SageMath 的 Sumcheck 实现
• ZK Workshop #5 - Herramientas & Ejemplos
• zkVM 最新进展与核心技术解析: Logup-GKR p2
• Basic Maths Behind ZKs 02: Modular arithmetics
• ZK para devs de Solidity: todos los DSLs en Scroll - Circom, Zokrates y Noir
• 快速了解零知识证明学术界与工业界的发展现状
• Session 4 - ZK Proofs Advanced Systems
• GKR和sumcheck协议
• ZK Workshop #3 - Aritmetización
• Fundamentals of Zero-Knowledge Proofs Full Course
• lesson 2：zkTLS 原理解读
• lesson 3：zkTLS 开发实战
• Aztec Network 介绍与开发经验分享
• [转载]ZKP进阶 PLONK 原理2-郭宇@安比
• L16 - Heterogenous Proof Aggregation | by Rishabh | BlocSoc Lecture Series
• Noir Programming and Zero-Knowledge Circuits Full Course
• ZK Workshop #2 - Representación de afirmaciones
• L13 - What are zk STARKS? | by Himanshu | BlocSoc Lecture Series
• Session 9 - Intro to zkVerify
• [转载]ZKP进阶 PLONK 原理1-郭宇@安比
• lesson 1：zkTLS 全面介绍