In Episode 335 of the ZK Podcast, Anna interviews Jens Groth and Daniel Marin from Nexus about Groth16, a cryptographic protocol. They discuss the protocol's development and its application in formal verification within zero-knowledge proofs (ZKPs). The conversation also covers Nexus's architecture, the challenges of building a system from scratch, and the integration of folding and Incremental Verifiable Computation (IVC) in a zero-knowledge virtual machine (zkVM).

<p>In this week’s episode, Anna chats with Jens Groth and Daniel Marin from Nexus. They catch up on all things Groth16 with the author himself before diving into a variety of chats around formal verification in the context of ZKPs, the Nexus architecture, the benefits and challenges of building a system from the ground up, folding and IVC plus the properties these offer in a zkVM context and much more.</p>
<p>The post <a href="https://zeroknowledge.fm/episode-335-groth16-ivc-and-formal-verification-with-nexus/" rel="nofollow" target="_blank">Episode 335: Groth16, IVC and Formal Verification with Nexus</a> appeared first on <a href="https://zeroknowledge.fm" rel="nofollow" target="_blank">ZK Podcast</a>.</p>

ZK Podcast Episode 335: Exploring Groth16 and Formal Verification with Nexus