これは、証明システムに適用されたFiat-Shamirの理論的な弱点についてのシリーズの3番目で、2番目から最後の投稿です。最初の投稿はこちら、2番目の投稿はこちらです。これらを読むことをお勧めします。過去2つの投稿で、私は4つのテーマについて少し背景を説明しました：（1）対話型証明システム（...続きを読む）偽のステートメントを証明する方法（第3部）