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

• Zero knowledge made simple | Justin Thaler
• Why Privacy Matters | Ameen Soleimani | ETHDam 2023
• Zero Knowledge in 2023 - Andrija Novakovic | Geometry
• ZKPs: Future VS Reality - Edi Sinovcic | Space Shard
• ZKP: Validity rollups and beyond - Panel w/ Edi Sinovcic, Cathie So, Andrija Novakovic
• Non-Native Field Arithmetic - Özgür Armanc Yiğit | Ethereum Foundation
• zkStudyClub - Goblin PLonK (Zac Williamson, Aztec Protocol)
• Episode 278 - The State of ZK with Anna and Kobi
• Episode 277 - Nova and Beyond with Srinath Setty
• Chiquito and the Infinite Garden
• Harnessing ZK and Existing Infrastructure for Ethereum’s Mass Adoption
• What Is Unlocked by Practical Zero-Knowledge Proofs
• Old and New Primitives
• Privacy Panel
• Episode 276 - Expanding Computation on Ethereum with Axiom
• Secure Interoperability with Zero-Knowledge Proofs | Balal Khan, ZKEX | ETHTaipei 2023
• A Typhon That Hides in the Taiga | Vasily Sidorov, Anoma | ETHTaipei 2023
• Cryptography for blockchains: Avoiding common mistakes | Dan Boneh
• Noir the zkDSL | Savio, Aztec | ETHTaipei 2023
• Introduction to Unirep: ZK data system | Vivian, Ethereum Foundation | ETHTaipei 2023
• Configurable Asset Privacy and Proof-Carrying Disclosures with Ben Fisch | a16z crypto research
• Unraveling ZKML: Present Realities and Future Horizons in Privacy-Preserving AI | ETHTaipei 2023
• Challenges, Advancements, and Tools for Developing Post-Quantum zk-SNARKs | BTQ | ETHTaipei 2023
• Episode 274 - SNARKs: A Trilogy with Ariel Gabizon