Zcashの研究者らは、次期Ironwoodプロトコルアップグレードにおいて、検出不可能な偽造バグを排除するために設計された2,700件以上の機械検証済み定理を公開した。このプライバシー重視の暗号通貨の開発チームによるこの研究は、新しいコードが検出されずに偽造コインを作成するために悪用され得ないことを数学的に証明することを目的としている。
定理が対象とするもの
定理はZcashのコンセンサスルールの計画されたアップグレードであるIronwoodに焦点を当てている。偽造バグは、攻撃者が無からコインを鋳造できるようにする脆弱性の一種であり、あらゆる暗号通貨にとって壊滅的な障害である。形式検証を使用することで、研究者は手動監査や
