Research Archives - ZK PODCAST

Private Information Retrieval (PIR) with Alex Hoover

Blockchain,Research,Privacy

29.07.2026

Alex Ozdemir on where Theorem Provers and ZK meet

Research,Tools,Formal Verification

15.07.2026

Pushing the Limits of Proof Systems with Benedikt Bünz

Research,L2's,AI

24.06.2026

Quantum Advances, Hybrid Signatures and SNARKs to the Rescue with...

ZK Tech,Research,ZK in BTC

06.05.2026

lean Ethereum Part 6: Formal Verification with Alex Hicks

ZK Tech,Research,ZK Applications

25.03.2026

lean Ethereum Part 5: Devnets & Upgrade Coordination with Wi...

ZK Tech,Research,ZK Applications

18.03.2026

lean Ethereum Part 4: leanVM, a Custom VM for Signature Aggregati...

ZK Tech,Research,ZK Applications

11.03.2026

lean Ethereum Part 3: Security of PQ SNARKs and an update about t...

ZK Tech,Research,ZK Applications

04.03.2026

lean Ethereum Part 2: PQ Signatures and Poseidon with Dmitry and ...

ZK Tech,Research,ZK Applications

25.02.2026

lean Ethereum Part 1: Introduction with Justin Drake

ZK Tech,Research,ZK Applications

18.02.2026