在ZK Podcast的第335集中，Anna采访了来自Nexus的Jens Groth和Daniel Marin，讨论了Groth16，一种密码协议。他们讨论了该协议的发展以及在零知识证明（ZKP）中形式验证中的应用。对话还涵盖了Nexus的架构，从零开始构建系统的挑战，以及在零知识虚拟机（zkVM）中集成折叠和增量可验证计算（IVC）的内容。
