ZK/FHE に関する最新の研究の進捗状況 (一部の暗号プロジェクトにも関連) ポッドキャストの最新エピソードでは、アンナがスタンフォード大学のコンピューターサイエンスおよび電子工学の教授であるダン・ボーン氏と、zk研究の進捗状況について語ります インタビューの概要: ZK の潜在的なシナリオは次のとおりです。 1) ZKML、ZKML の問題は、特定のデータに対するモデルの正しい実行を証明することであり、これは Boundless @boundless_xyz @boundless_cn (@risczero) チームが 2 年間研究を展開してきた方向性でもあります 2) コンテンツのトレーサビリティと信頼性: C2PA (コンテンツ トレーサビリティと信頼性) 標準により、カメラは埋め込みキーを介して画像に署名し、画像の発生元、時間、構成を証明できます。 現在、生成 AI (DALL· E) も画像に C2PA 証明を添付し始めており、AI によって生成されたものであることを示しています 格子、SNARK、FHEに基づく: - 格子上に構築されたSNARK(格子にはポスト量子セキュリティの利点があります) - グレイハウンドの論文は、格子ベースの多項式コミットメントスキーム(PCS)を提案しています -この研究では、格子が折り畳みスキームで非常に優れたパフォーマンスを発揮することを発見し、Binyi Chen(Espresso @EspressoSysの創設者/研究者)と共同で、格子ベースの折り畳みスキームであるLatticeFoldを開発しました。 -FHE分野では、2025年までにFHE性能を大幅に向上させる(おそらく10倍から100倍の速さ)と期待されている特殊なASICチップの開発が進んでいます -Zama @zama_fheはFHE計算でSNARKを実行することを検討しており、LatticeFoldのリング構造はFHEと互換性があり、このシナリオに適しています インタビュー内容中国語版: 元のポッドキャストテキスト: