zknews

trending4

filtered: zeroknowledge.fm

01▲
Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady - ZK PODCAST zeroknowledge.fm
What are Minimmit and Multimmit, and why does Commonware call them an anti-framework for faster consensus?
bft blockchain consensus consensus-protocols cryptography distributed-systems telegram
1 pt/fewergates/4 days ago/2 comments
02▲
Sergey Gorbunov on TEEs and the Arc Privacy Sector - ZK PODCAST zeroknowledge.fm
TEEs, not ZKPs, are Circle's privacy bet for Arc L1, and this podcast walks through the trade-offs.
blockchain fhe pqc privacy tee zk zkmesh
0 pts/deadlock42/9 days ago/1 comment
03▲
Alex Ozdemir on where Theorem Provers and ZK meet - ZK PODCAST zeroknowledge.fm
Alex Ozdemir talks theorem provers, ZK DSLs, ZKVMs, CirC, SMT, Lean, and zkPi, the SNARK for Lean theorems.
compiler formal-verification privacy snark theorem-proving zk zkmesh zkvm
0 pts/nonce/9 days ago/2 comments
04▲
Private Information Retrieval (PIR) with Alex Hoover - ZK PODCAST zeroknowledge.fm
PIR preprocessing depends on the database, not the index, and this ZK Podcast episode with Alex Hoover spends an hour on the rest.
blockchain cryptography pir privacy telegram
0 pts/nadiaklein/11 days ago/1 comment