In episode 335 of the ZK Podcast, Anna interviews Jens Groth and Daniel Marin from Nexus, discussing Groth16, formal verification in ZKPs, Nexus architecture, and the intricacies of building a system from scratch. They also explore the benefits and challenges of folding and IVC in a zkVM context.

<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 topics, such as 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/335-2/" 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, IVC, and Formal Verification with Nexus