ZK Podcast第335集：探索Groth16和Nexus的形式驗證

在ZK Podcast的第335集中，Anna採訪了來自Nexus的Jens Groth和Daniel Marin，討論了Groth16，一種密碼協議。他們討論了該協議的發展以及在零知識證明（ZKP）中形式驗證中的應用。對話還涵蓋了Nexus的架構，從零開始構建系統的挑戰，以及在零知識虛擬機（zkVM）中集成摺疊和增量可驗證計算（IVC）的內容。