ハッシュベースのSNARKはイーサリアムのポスト量子ロードマップの中心になりつつありますが、実際の安全性はどの程度でしょうか? このエピソード(@leanEthereumミニシリーズのパート3)では、@nico_mnbl@GiacomoFenziと@asansoと対談し、ポスト量子スナークの理論と安全性について考察します。 内容は以下の通りです: – LeanVMの背後にあるSNARKスタック(多重線形算術+和検査) – 100万ドルの近接ギャップ賞とそれに伴う新たな研究の波 – 最近の結果がハッシュベースの証明システムのセキュリティマージンに与える影響 – なぜイーサリアムは長期的なプロトコル安全性のために証明可能なセキュリティ体制へと移行しているのか また、符号理論、リスト復号、ハッシュベースの証明システムにおける未解決の問題も探求しています。 エピソード全編をお聴きください —----- タイムコード 02:24 – なぜイーサリアムはポスト量子のスナークを必要とするのか 03:30 – LeanVM SNARKスタック(多重線形+和検査) 04:53 – 100万ドルの近接ギャップ賞 12:04 – 新しい研究論文の波 12:52 – ジョンソン行き vs 定員行き 21:24 – 展開中のSTARKに対する新たな攻撃分析 27:07 – なぜ128ビットのセキュリティ閾値が重要なのか 30:26 – ポスト量子のスナークにおける未解決の研究課題