ZODL創設者：ZECの脆弱性は、基礎的な暗号技術や証明生成エンジンの欠陥によるものではありません

Jinse Financeの報道によると、6月5日にZECはOrchardプールの無限偽造脆弱性の影響を受けて30%急落した。ZODL創設者のJosh Swihartは投稿で、Orchardの脆弱性はある規則の1つに存在し、その規則が緩すぎて虚偽情報を受け入れたまま検証に通してしまうと述べた。そのため、エンジンが虚偽の取引を有効だと誤認する可能性がある。実際、誰かがOrchard取引プール内でZECを偽造した可能性もある。これは手書きの規則の欠陥であり、基盤となる暗号技術や証明生成エンジンの欠陥ではない。問題は、今後同じ脆弱性が再発しないことをどのように保証するかであり、その最良の答えが形式手法による検証である。Tachyonは現在、形式的検証を用いて構築されており、より簡潔で統一されたルールブックを採用している。Orchardと比べて特殊ケースや複雑な細部が少なく、そのためルールブック全体が数学的証明で完全に検証できる。すでに複数のチームがOrchardの既存回路の正式な検証に取り組んでいる。検証が成功すれば、Tachyonリリース前に2つ目のOrchardプールを展開するのが現段階では最善の策となるだろう。Tachyonはより簡潔だが、正式に検証されたOrchardプールは有効な移行措置として活用できる。