AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Intro
Alessandro Chiesa and Elon Yogev discuss their book on constructing cryptographic proofs from ideal hash functions, exploring succinct non-interactive arguments (snarks) and Alessandro Chiesa's pivotal role in advancing ZK systems through formalization.