- 1 イーサリアムCasper FFGの解説一覧
- 2 イーサリアム2.0の２回目の監査
- 3 問題A：ブロック伝達メッセージ攻撃
- 4 ETH2のアテスター(Attester)とプロポーザー(Proposer)とは
- 5 スキップブロック(Skip-Block)とは？
- 6 ETH2のフォークチョイスルール
- 7 問題B：スラッシュメッセージの伝達攻撃
- 8 まとめ
イーサリアム2.0、通称ETH2の監査はデポジットコントラクトに続き2019年12月にETH2.0のスペック監査を委託するとしていたLeast Athorityによる監査の終了を発表。2020年のETH2のBeacon Chainローンチが目前となっています。本稿では修正済みのETH2の監査問題AとB、ブロックプロポーザー(Proposer)とアテスター(Attester)、それに起因する問題の詳細について詳しく解説を行います。
イーサリアムCasper FFGの解説一覧
Vol.257「イーサリアム2.0 バリデータのペナルティ”Inactivity Leak”でスラッシュされる条件」
Vol.259「イーサリアム2.0 ステーキングペナルティ Partial Slashingとは？」
Vol.398「ETH2バリデータのプロポーザーとアテスター フォークチョイスルールによる合意形成の仕組み」
Vol.399「イーサリアム2.0コミッティ(Committee)とは？ETH2ブロックプロポーザーへのDDoS攻撃問題」
Vol.630「イーサリアム2.0のスラッシャー（Slasher）とは？Casper FFGのペナルティコンセンサス」
Vol.632「イーサリアム2.0のアテステーション（Attestations）とは？Justificationとアルタイルでの報酬形態」
イーサリアム2.0の２回目の監査
今回のLeast AuthorityによるETH2の監査では7つの問題を発見、この監査では主にコード実装とアタックベクター、つまり脆弱性をついたDoS攻撃などの可能性などに重点を置いたものとなります。
問題A：ブロック伝達メッセージ攻撃
今回のETH2監査で見つかった7つの問題では、既に問題AとBは改善されており、問題AのBlock Propagation Restrictions Are Too Looseは過去のブロック伝達
