Zcashの開発者は火曜日、プロトコルの次期Ironwood shielded poolに検出不可能な偽造バグが含まれていないことを示す数学的証明が近づいていると発表した。
Project TachyonはZcashのIronwood shielded poolに対する検証作業の新たな詳細を発表し、創設者のZooko Wilcox氏は、最新のZcash shielded poolに検出不可能な偽造バグがないことを示す数学的証明の作成が目前であると述べた。
この発表は、先月ZcashのOrchard shielded poolで開示された重大な欠陥に起因する懸念に対処するものである。この欠陥は、ネットワークのプライバシーシステムの完全性と、ゼロ知識証明ベースのアーキテクチャにおける隠れた脆弱性の不在を暗号学的に証明することの難しさについて疑問を投げかけていた。
ZcashのネイティブトークンZECは火曜日、この発表を受けて12%以上上昇し、仮想通貨を500ドル台に押し戻した。
これは6月初旬以来のZECの最高値であり、ZcashのOrchard shielded poolの重大な欠陥の開示により、プライバシー重視の仮想通貨がわずか2日間で40%以上下落した時以来の水準である。
Project Tachyon、Ironwoodの検証アプローチを概説
Project TachyonはZcashの次期Ironwood shielded poolに対する検証作業の新たな詳細を発表した。
プロジェクトは、IronwoodがOrchardプールで見つかったのと同じ種類の検出不可能な偽造バグを含むことができないことを証明することを目指している。
Project Tachyonは、AI支援による証明生成の進歩により、このアプローチがより実用的になり、かつて数年かかっていた作業が数週間で完了するようになったと述べた。
6月のOrchard脆弱性で価格が40%下落
6月初旬に開示された脆弱性により、攻撃者はOrchard shielded pool内で検出されることなく偽造ZECを作成できる可能性があった。
開発者は迅速に欠陥を修正し、悪用されたことはないと確信していると述べた。
しかし、Zcashのプライバシー設計により、悪用の不在を暗号学的に証明することは不可能だった。
Zcashのshielded poolはトランザクション量を隠すゼロ知識証明に依存しており、それらの証明の欠陥により、公に検出可能な証拠を残さずに偽造コインが作成される可能性があることを意味する。
NEARの元コントリビューターがZcashをビットコインの2010年のインフレバグと比較
NEAR Protocolの元コントリビューターVadim Zacodil氏は、Zcashの状況をビットコインの2010年のインフレバグと比較した。そのバグでは、ブロックチェーンがロールバックされる前に1840億の偽造ビットコインが作成された。
ビットコインのトランザクションは公開されているため、悪用はすぐに発見された。
しかし、Zcashのshielded poolはゼロ知識証明を通じてトランザクション量を隠すため、数学的な検証方法なしでは同様の悪用の検出がより困難になる。
FAQ
Zcashの開発者は火曜日に何を発表しましたか？
Zcashの開発者は、プロトコルの次期Ironwood shielded poolに検出不可能な偽造バグが含まれていないことを示す数学的証明が近づいていると発表しました。
Project Tachyonは検証作業の新たな詳細を発表し、創設者Zooko Wilcox氏は、最新のZcash shielded poolに対する数学的証明の作成が目前であると述べました。
ZECはなぜ6月初旬に40%下落したのですか？
ZECは6月初旬、ZcashのOrchard shielded poolの重大な欠陥の開示を受けて、わずか2日間で40%以上下落しました。
この脆弱性により、攻撃者はOrchard shielded pool内で検出されずに偽造ZECを作成できた可能性がありますが、開発者は欠陥を迅速に修正し、悪用されたことはないと確信していると述べています。
Zcashのプライバシー設計はビットコインの透明性とどのように異なりますか？
Zcashのshielded poolはトランザクション量を隠すゼロ知識証明に依存しており、それらの証明の欠陥により、公に検出可能な証拠を残さずに偽造コインが作成される可能性があります。
ビットコインのトランザクションは公開されているため、1840億の偽造ビットコインを作成した2010年のインフレバグのような悪用はすぐに発見され、ブロックチェーンはロールバックされました。
