EthSystemsがシールドプールの形式検証を完了し、6件の問題を特定しました
PANewsによると、イーサリアムのプライバシー技術組織EthSystemsは10月27日、書面による仕様からSepoliaテストネット上で実行されるバイトコードまで、シールドプールの形式的検証を完了したと発表した。検証では6件の問題が特定され、そのうち3件は検証ツール自体に関するものだった。チームは、ハッシュ関数の衝突耐性、バリデーターが不正な証明を拒否すること、コントラクトの動作が形式モデルと一致することなどが、依然として前提として残っていると述べた。
ETH-1.26%
GateNews·10-27 12:12
