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
- PSE Lectures - Ep 11 - Field classification
- PSE Lectures - Ep 10 - Field classification
- PSE Lectures - Ep 9 - Intro to Field classification
- 密码学系列 第12课：Halo2证明系统-p1
- 密码学系列 第12课：Halo2证明系统-p2
- Episode 294 - Succinct Proofs and Linear Algebra with Guillermo and Alex
- ZK10: ZKP Privacy Chains & iOS Client Side Proving in practice - Darvish Kamalia
- ZK10: Halo2, Noir or Circom? Exploring DSLs as an app developer - Richard Liang
- Episode 293 - Exploring Security of ZK Systems with Nethermind's Michał & Albert
- ZK10: Learn Noir in an afternoon (or get your money back*) - José Pedro Sousa
- ZK10: Placeholder proof system workshop - Alisa Cherniaeva
- Visualizing Lasso: A fast new lookup argument for SNARKs
- Lasso + Jolt: An engineering overview
- ZK10: Juvix: A language for intent-centric and declarative decentralized applications
- PSE Lectures - Ep 8 - Introduction to Fields
- ZK10: Pathway to Scalable Recursive Finality Proofs - Nicolas Ramsrud
- ZK10: Fiat-Shamir security of FRI and related SNARKs - Albert Garreta (Nethermind)
- ZK10: ZK Microphone - Hardware Attested Audio - Eito Miyamura
- ZK10: Statelessness and zkp ~new type of zkp application~ - Erik Rybakken
- ZK10: FRI-based recursion with a Groth16 Wrapper - Paul Gafni
- ZK10: Authenticating web data via Interactive zero-knowledge proofs - Xiang Xie
- ZK10: Incremental Proof of Solvency with Nova - Enrico Bottazzi
- ZK10: Degree tricks in DEEP STARKs - Shahar Papini
- ZK10: Benchmarking SNARKs - Jens Ernstberger