Want to create an interactive transcript for this episode?
Podcast: The Interop
Episode: ZK Proof Aggregation with Garvit Goel of Electron Labs
Description: Electron Labs aggregates zero-knowledge proofs across protocols into a single superproof, which is then verified on Ethereum. Thanks to the use of recursive ZK proofs, this collective approach lowers verification costs to less than 1% of current rates. This is a huge unlock for applications leveraging ZK: Privacy, micro rollups, DA bridges, IBC, and more.TOPICS00:00:00 Introduction00:02:56 Cost of ZK proof verification00:07:10 ZK proofs & Rollups00:14:36 ZK light client00:16:52 Superproofs00:22:28 Electron trust assumptions00:24:14 Electron's Architecture00:31:27 Challenges00:34:38 Electron SDK00:44:00 Interoperability and IBC00:48:43 Union & Polymer approach00:52:55 ZK Proof endgame<...