zkStudyClub: Dory w/ Jonathan Lee (MS Research / Nanotronics Imaging)

(1:21:11)

zkStudyClub: Vitalik \u0026 Dankrad on using polynomial commitments to replace state roots

(1:15:44)

zkStudyClub - Quarks

(56:6)

Dory: Efficient, Transparent arguments for Generalised Inner Products and Polynomial Commitment...

(37:2)

zkStudyClub: Collaborative zkSNARKs (Alex Ozdemir, Stanford University)

(1:4:52)

ZKStudyClub: Eclipse and Lunar with Matteo Campanelli

(1:6:27)

Caulk: zkStudyClub: Caulk - Lookup Arguments in Sublinear Time (Arantxa Zapico)

(42:27)

zkStudyClub: Halo Infinite with Ben Fisch (Stanford)

(1:14:52)

BabySpartan: Lasso-based SNARK for non-uniform computation

(55:55)

CCS \u0026 HyperNova with Srinath - Folding Schemes FTW

(1:37:20)

zkSummit - Halo: Recursive Proofs without Trusted Setups - Sean Bowe (Electric Coin Company / Zcash)

(29:20)

SNARKs from the sum-check protocol - Justin Thaler

(20:4)

ZK9: logUp - Lookup arguments based on the logarithmic derivative - Ulrich Haböck

(31:31)

ZK8: Hyperplonk: PLONK without FFTs and with high degree gates - Benedikt Bünz

(30:36)

Nanotronics: Matthew Putman

(37:39)

Dan Boneh - How to Commit to a Private Function

(1:12:21)

UltraPLONK Arithmetisation, Applied ZK - Day 2

(22:10)

Hyperplonk with Benedikt Bunz

(59:40)

Simple Constructions from (Almost) Regular One-Way Functions

(17:40)

zkStudyClub: Supernova (Srinath Setty - MS Research)

(1:7:25)

zkStudyClub - FRI-Binius: Polylogarithmic Proofs for Multilinears over Binary Towers (Ben Diamond)

(58:49)

zkStudyClub: PCD without zkSNARK with Pratyush Mishra (UC Berkeley) \u0026 Benedikt Bünz (Stanford)

(1:51:33)

ZK Study Club - Bulletproof implementation with Oleg Andreev

(1:17:9)

zkSummit: Overview of recursive SNARKs - Michael Straka (cLabs)

(24:21)

zkStudyClub: HyperPlonk (Binyi Chen, Benedikt Bünz)

(1:28:36)

ZKStudyClub - Sumcheck Arguments and Their Applications w/ Jonathan Bootle and Katerina Sotiraki

(1:28:28)

Keynote: Linear-Time SNARKs for R1CS and Friends - Justin Thaler (Georgetown)

(46:41)

Proofs of proofs: incremental verifiability from recursion and accumulation - Nick Spooner

(27:7)

ZK10: How to build a modern SNARK - Zac Williamson

(24:3)