ZcashのZECトークンは、Project Tachyonの開発者らが同ネットワークの新しいIronwoodシールドプールに検出不可能な偽造バグが存在しないことを正式に証明できる段階に近づいていると発表したことを受け、約12%上昇した。
この価格上昇は、Zcashのzk-SNARK回路における健全性バグを排除することを目的とした形式検証作業の進展を受けたもので、このバグは隠れたZECの鋳造を可能にする可能性があった。
研究者Taylor Hornbyによって発見されたOrchardの欠陥は、Zcashがトランザクションをシールドするために使用する回路の脆弱性であったが、開発者らは悪用は行われていないと考えている。
Ironwoodは7月末にターンスタイル機構を備えてアクティブ化される予定で、ユーザーは脆弱なOrchardプールから資金を移行でき、偽造が行われなかったことを証明するのに役立つ。
Orchardの欠陥により潜在的な隠れた偽造が可能に
Orchardの欠陥は、Zcashがトランザクションをシールドするために使用するzk-SNARK回路における健全性バグでした。健全性バグは、不正な証明者がネットワークに虚偽の申告を信じ込ませることを可能にし、この場合、攻撃者はオンチェーン上で痕跡を残さずに偽造ZECを鋳造できた可能性があります。悪用は不可視であるため、開発者はバグを修正できても、それが一度も使用されなかったことを証明することはできませんでした。Taylor Hornbyがこの脆弱性を発見しました。
Ironwood、形式検証とターンスタイル機構を導入
Ironwoodは、Orchardをベースにした新しいシールドプールで、バグを修正して再構築されました。Tachyonチームは、「検出不可能な偽造バグを排除するために、Ironwoodの形式検証に包括的な取り組みを主に行ってきた」と述べ、そのようなバグは「仕様にのみ存在し得る」と指摘しています。なぜなら、実装エラーは台帳に検出可能な証拠を残すからです。
脆弱なプールにすでにあるコインを処理するために、Ironwoodにはターンスタイルが含まれています。ウォレットはOrchardからIronwoodに資金を移行し、旧プールでの支払いを無効にすることで、流通するZECの上限が設定され、偽造が行われなかったことを証明するのに役立ちます。開発者らは悪用はなかったと考えており、ターンスタイルはその信念をネットワークが確認できるものに変えるように設計されています。
開発者らは、Ironwoodを7月末にアクティブ化する予定であり、新しいプールの形式検証が、偽造の欠陥が実際のリスクであったかどうかを確定させる作業であると述べています。
ZEC価格、開示後の損失の約半分を回復
ZECは、開示から2日以内に約600ドルから約300ドルに下落し、その後約457ドルまで回復しました。トークンは現在、失った額の約半分を取り戻しています。12%の上昇は、Project Tachyonの開発者による形式検証の進展の発表に続くものでした。
Ironwoodアップグレードの開発チーム
このアップグレードは、Zcash Open Development Lab（元Electric Coin Companyエンジニアによるスピンアウトで、今年プライバシー作業の資金として2500万ドルを調達）を含む、Zcashチームのグループによって構築されています。Orchardの欠陥を発見したTaylor Hornbyは、Shielded Labsで働いています。
FAQ
ZcashのOrchardの欠陥とは何ですか？
Orchardの欠陥は、Zcashのzk-SNARK回路における健全性バグであり、攻撃者がオンチェーン上で痕跡を残さずに偽造ZECを鋳造することを可能にする可能性がありました。研究者Taylor Hornbyによって発見されたこのバグは、不正な証明者がネットワークに虚偽の申告を信じ込ませることを可能にしますが、開発者らは悪用は行われていないと考えています。
Ironwoodのターンスタイル機構はどのように機能しますか？
ターンスタイルにより、ウォレットは脆弱なOrchardプールから新しいIronwoodプールへ資金を移行できます。旧プールでの支払いを無効にすることで、流通するZECの上限が設定され、脆弱性期間中に偽造が行われなかったことを証明するのに役立ちます。
ZcashはいつIronwoodアップグレードをアクティブ化しますか？
開発者らは、Ironwoodを7月末にアクティブ化する予定です。新しいプールの形式検証が、偽造の欠陥が実際のリスクであったかどうかを確定させる作業となります。
