Marco Marinelli, Horizen Labs: The Missing Piece of the ZK Puzzle | ETHSofia

Marco currently contributes to zkVerify, a modular zero-knowledge proof verification chain aimed at democratizing the adoption of ZK proofs. zkVerify supports a wide range of proof schemes and reduces verification costs by more than 90% compared to native EVM verification. Marco's technical background and multi-year experience in the space enable him to drive the adoption and understanding of ZK tech and its broader implications on privacy, scalability, and beyond. Chapters: 00:00 Intro 00:50 ZK Technology Explained 01:33 Where's Waldo Example 02:13 Simplifying ZK Proofs 02:56 Prover and Verifier Roles 03:38 ZK Rollups Use Case 04:26 Scalability with ZK Proofs 05:04 Lifecycle of ZK Proofs 05:41 Modularity in ZK Proofs 06:18 Why Modularize Proof Verification 06:53 Costs of Onchain Verification 07:41 Financial Impact of ZK Verification 08:26 Introducing zkVerify 09:09 How zkVerify Works 09:50 Architectural Diagram of zkVerify 10:41 Benefits of zkVerify 11:24 Incentivized Testnet Launch 12:09 Q&A - Trust Assumptions in zkVerify This video was recorded during the ETHSofia Conference and Hackathon - October 17-19, 2024. ETHSofia is THE crypto tech conference in Sofia, Bulgaria, bringing together enthusiasts, developers, researchers, and academia focused on Ethereum and other L1 chains. The conference is supported by the Ethereum Foundation and made possible by the generous contributions of industry leaders. For more information, please visit: https://www.ethsofia.com/ 🌍Join the community: X (Twitter): https://x.com/ETHSofiaBG Telegram: https://t.me/+_i70pgfFHjBkMjZk LinkedIn: https://www.linkedin.com/company/ethsofia/ #HorizenLabs #MarcoMarinelli #ZK #ETHSofia