在《ZK Podcast》的第335集中，Anna採訪了來自Nexus的Jens Groth和Daniel Marin，討論了Groth16，ZKP中的形式驗證，Nexus架構以及從零開始構建系統的複雜性。他們還探討了在zkVM環境中摺疊和IVC的優勢和挑戰。
