ZK Podcastのエピソード335では、AnnaがNexusのJens GrothとDaniel MarinにGroth16という暗号プロトコルについてインタビューしています。彼らはプロトコルの開発と、ゼロ知識証明（ZKPs）内の形式検証への応用について話しています。会話はまた、Nexusのアーキテクチャ、ゼロからシステムを構築する際の課題、および折り畳みと増分検証可能計算（IVC）の統合についても取り上げています。
