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
- The Future of Bitcoin Smart Contracts | Matt & Amine of Arch Network
- Correcting some SNARK misconceptions | Justin Thaler, a16z crypto research
- Jolt, zkVMs, and speeding up blockchain | Justin Thaler, a16z crypto research
- [BUIDL Asia 2024] Private Verification of User Data with ZK by Evan Shapiro
- Laurence Kirk - Essential Maths for Zero Knowledge Proofs
- Intro to SNARKs 1: What are SNARKs?
- Özgür Armanc Yiğit - Elliptic Curves
- Anish Mohammed - Succinct cross-chain bridges via backwards compatible SNARKs
- Sogol Malek - efficient light client for stateless Verification
- zpedro - Bring your own execution environment (BYOEE)
- Intro to MPC, Garbled Circuit and mpz -- ZK Jumpstart Series #1
- zkStudyClub: How to Minimize Foreign Arithmetic in ZKP Circuits (Michele Orrù: French CNRS)
- AnonKlub
- Privacy as a Primitive
- Episode 315 - ZK Hack Ecosystem & Winners of ZK Hack IV
- Upgrading Smart Contracts with Native Data Analysis w/ Ismael Hishon-Rezaizadeh (Lagrange Labs)
- Episode 314 - Succinct's Platform, Prover Network and SP1
- How ZK-Proofs Will Change Crosschain Interop Forever | S7 E5 | Uma
- Polygon's plan for scaling Ethereum
- Episode 313 - Revisiting Hardware with Ingonyama
- Episode 312 - ZKP2P with Brian & Richard
- PSE Lectures Ep 23 - Rational functions on elliptic curves. Zeros & Poles
- Home staker airdrops, SNARK proving ASIC and more - The Daily Gwei Refuel #729 - Ethereum Updates
- Buenos Aires Introduces ZK-Backed Digital ID to 3.6M Citizens