在《ZK Podcast》的第335集中，Anna采访了来自Nexus的Jens Groth和Daniel Marin，讨论了Groth16，ZKP中的形式验证，Nexus架构以及从零开始构建系统的复杂性。他们还探讨了在zkVM环境中折叠和IVC的优势和挑战。
