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
- zkStudyClub - ARC: Accumulation for Reed-Solomon Codes (William Wang, NYU)
- Is Hibachi About to Pick a Hyperliquid Path?
- Episode 349 - ZODA & The Accidental Computer
- The New Era of Infra Investing with Wyatt Lonergan and Xiang Xie
- L2 Interoperability via Collaborative SNARKs by Ben Fisch | Devcon SEA
- ZK Technology to Boost Bitcoin's Growth
- Unichain, Succinct’s Prover Network, and Crypto’s Trust Crisis | Expansion Crossover Roundup
- Episode 348 - Taking ZK IRL with Cursive
- Episode 347 - Back to the Future with Zero Knowledge
- Alternative to RISC-V Based zkVM: AI Based Transpiler W/ Fuzz Diff Testing | Clement Walter -Kakarot
- ZKMPCML: From Memes to Reality
- ZK-Powered Payment Channels | Pranav Gaddamadugu - Provable, Aleo
- Zero-Knowledge Proofs: The Key to Mass Adoption in Web3 | Mauricio Magaldi - Midnight Network
- coSNARKs in Practice: coNoir
- zkVMs vs zkDSLs
- Building a Performant and Modular zkVM Framework With OpenVM | Yi Sun - Axiom
- The Verification Layer for a Trustless Digital Future | Rolf Versluis - zkVerify Foundation
- Tabby: Automated Programming of Efficient Zero-Knowledge Proof Circuits | Hongbo Wen - Nubit
- AnonCast: Token-Gating in a Weekend
- The Noir Profiler
- Unlocking Privacy with Noir and Starknet
- Zisk: zkProving in Real Time | Jordi Baylina - Polygon
- World Network: Ensuring Privacy and Accessibility at Scale
- Zero-Knowledge Proofs for Keyless Blockchain Accounts