Zcash、Ironwood アップグレードに正式検証を採用

読了時間 2 分

Zcash の開発者は Orchard のシールドプールにおける最近公表された会計上の欠陥を受けて Ironwood ネットワークアップグレードの正式検証へ移行しました。この欠陥は Shielded Labs の研究者 Taylor Hornby によって発見され、悪用が確認される前に修正されました。チームは検証不能な偽造が仕様上または暗号仮定の欠陥に起因しており、実装のバグではないとみなし、Lean 定理証明機で Ironwood の暗号仕様の証明に zkSecurity および Zcash Open Development Lab の寄稿者と共に取り組んでいます。Ironwood は旧シールドプールを閉じ、修正済みの置換を立ち上げ、供給の整合性を示すためにターンスライ移行を使用して 2026年7月の活性化時にそれを実演します。

Ironwood は仕様を正式検証して、検出不能な偽造を防ぎます。