「イーサリアム2.0」仮想通貨ステーキング機能のテスト検証を完了

形式的検証を完了

イーサリアム2.0のデポジットコントラクトに関して、エンドツーエンドの形式的検証をクリアしていたことが明らかとなった。デポジットコントラクトは、フェーズ0に当たるビーコンチェーンでステーキングを行うためのコントラクトだ。

今回監査を行なったRuntime Verificatio...