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 Proof Based Onchain Private Voting
- zk Dev tooling | Soowon Jeong, PSE | ETHTaipei 2024
- Navigating the ZKP Learning Curve: Bottom-Up vs. Top-Down Approaches | Adrian Li | ETHTaipei 2024
- zkBitcoin | David Wong, zksecurity.xyz | ETHTaipei 2024
- Mopro: Client-side proving on mobile made easy | oskarth, Independent Researcher | ETHTaipei 2024
- Turning ZKP Potential into Real-World Solutions | Mary Tr, Orochi Network | ETHTaipei 2024
- Plonky3 & Valida: Pushing the Performance and Usability of Zero Knowledge Proof | Ventali Tan, Lita
- ZK Hack Study Group – MoonMath Manual 2024 – Week 9
- Bridging the Gap in Decentralized Communications with Waku | Danish Arora, Waku | ETHTaipei 2024
- ZK Acceleration: Pessimistic Proofs with AggLayer and Succinct
- Groth16 - Arithmetic Circuit, R1CS, and basic Circom
- On-chain Voting System | Doris, PSE | ETHTaipei 2024
- Zafny, framework for writing formally verified zero-knowledge circuit | Dohoon Kim | ETHTaipei 2024
- Episode 329 - Building Cryptographic Proofs from Hash Functions with Alessandro Chiesa & Eylon Yogev
- ZK Hack Kraków: Kick-off presentation (ZK Hack team)
- zkStudyClub - FRI-Binius: Polylogarithmic Proofs for Multilinears over Binary Towers (Ben Diamond)
- ZK Hack Kraków: Welcome presentation & Intro to ZK themes (ZK Hack team)
- ZK Hack Kraków: Introduction to Protokit (Matej Šima)
- ZK Hack Kraków: Hacking with Aleph Zero (Damian Straszak)
- Episode 328 - ZK on Bitcoin with Alpen Labs
- [DL 3-Year Anniversary Meetup] Risc0 zkVM and its ecosystem
- zkStudyClub - LatticeFold: Lattice Folding Schemes (Binyi Chen)
- Episode 327 - Proof Aggregation with Shumo and Yi from NEBRA
- How ZK Will Shatter Social Media Monopolies | Alex & Stani