Zcashの研究者は火曜日にIronwoodの形式的検証を完了し、ネットワークの新しいシールドプールが、提示された暗号学的な前提のもとでは検知不能な偽造バグを含まないことを示す機械検査済みの証明を公開した。プロジェクトTachyonは、この証明によってシールドプールは、公開されている投入額以上の価値を払い出すことができないと保証されると述べた。Ironwoodは、理論上検知不能なZECの偽造を可能にし得るという、Orchardシールドプール内で発見された脆弱性への対応として、ZcashのNU6.3アップグレードを通じて導入された。
Project Tachyon、2,700件超の定理を含むLeanベースの証明を公開
プロジェクトTachyonは火曜日、新たな証明はLeanというプログラミング言語で記述され、2,700件超の定理から成り、完成までに研究者と暗号学者からなる3チームが1か月以上を要したと述べた。この取り組みは、シールドプールが、公開されている投入額以上の価値を払い出せないことを保証することを目的とした「残高の完全性」というセキュリティ特性を確立するものだ。
検証はゼロ知識証明システムと回路ルールをカバー
研究者らは、この特性に必要な構成要素として、Ironwoodのゼロ知識証明システム、回路ルール、台帳レベルの会計処理を含む範囲まで証明がカバーしていると述べた。この証明は、Ironwoodが別途提供するプライバシー保証はカバーしていない。
Ironwood、Orchardシールドプールの脆弱性に対応
Ironwoodは、理論上検知不能なZECの偽造を可能にし得るという、Orchardシールドプール内で発見された脆弱性への対応として、ZcashのNU6.3アップグレードを通じて導入された。Zcashの開発者は、その欠陥が悪用された証拠は見つからなかったと述べた。新しいプールは、Zcashの供給の完全性に対する信頼を回復するよう設計された。
ターンスタイル機構がIronwoodへの想定過剰コインの流入を阻止
Orchardから移行する資金は、ターンスタイルと呼ばれる公開された会計上のチェックポイントを通過する必要があり、この仕組みは、想定上の過剰コインがIronwoodに入ってしまうのを防ぐよう設計されている。資金がOrchardから出ていく過程で、この一連の流れは、旧プールが悪用されたかどうかに関する裏付けとなる情報も増えていく可能性がある。
よくある質問
Zcashの研究者は火曜日に何を完了しましたか？
Zcashの研究者は火曜日にIronwoodの形式的検証を完了し、ネットワークの新しいシールドプールが、提示された暗号学的な前提のもとでは検知不能な偽造バグを含まないことを示す機械検査済みの証明を公開した。
なぜIronwoodはZcashのNU6.3アップグレードを通じて導入されたのですか？
Ironwoodは、理論上検知不能なZECの偽造を可能にし得るという、Orchardシールドプール内で発見された脆弱性への対応として、ZcashのNU6.3アップグレードを通じて導入された。新しいプールは、Zcashの供給の完全性に対する信頼を回復するよう設計された。
Ironwoodにおけるターンスタイル機構とは何ですか？
ターンスタイルは、Orchardから移行する資金が通過しなければならない公開された会計上のチェックポイントだ。想定上の過剰コインがIronwoodに入ってしまうのを防ぐよう設計されている。
