Zcash Orchardのバグは、特定のZK回路内の2行のコードに起因していました。ZK暗号技術自体は問題ありません。その上に実装された部分には、4年間気付かれなかった欠陥があり、最終的にAI支援の監査によって明らかになりました。このようなケースは、なぜアーキテクチャの重要性を思い出させるのです。