币市小哥

#征文活动BEL
Web2 の「ブラックボックス」システムとは異なり、検証可能性は誰でも独立してシステムの動作を確認できることを意味します。イーサリアムは、誰でも（低性能のデバイスでも）状態を検証し、実行と合意を行えるようにすることで、これをさらに推進しています。イーサリアムが本当に検証可能であるためには、3つのことを証明する必要があります： - 状態：ユーザーはブロックチェーンの現在のデータを確認できますか？ - 実行：ユーザーは状態遷移（STF）が有効であることを確認できますか？ - 合意：ユーザーは正しいチェーンが選択されたことを確認できますか？ イーサリアムの状態は、任意の時点におけるすべてのアカウントの残高、スマートコントラクトのストレージとコードのスナップショットです。この状態が有効であることを、ブロックチェーン全体をダウンロードせずに証明するにはどうすればよいのでしょうか？これには、Merkle ツリーとその後継である Verkle ツリーが関与します。Merkle ツリーは、データから Merkle ルートへの「証明パス」を作成し、ユーザーが完全なデータセットなしで単一のデータポイントを検証できるようにします。しかし、イーサリアムの状態が増加するにつれて、Merkle 証明は巨大で非効率的になります。Verkle ツリーは、「楕円曲線ベクトルコミットメント」を使用して証明サイズを縮小します。Verkle ツリーは、各データブランチをハッシュ化するのではなく、暗号技術を使用してより小さな単一の証明を生成し、証明サイズを 330 MB から約 2 KB に削減します。イーサリアムの実行層は状態遷移関数（STF）を実行し、この関数は前の状態と新しいブロックを使用して次の状態を計算します。実行を検証するために、ユーザーは取引を再実行する必要があります —— これは、膨大なストレージと計算能力を必要とするコストのかかるプロセスです。イーサリアムは、各ブロックを再実行することなく、「有効性証明」をブロックに追加します。有効性証明を通じて、提案者は軽量クライアントに STF 実行の正確性を証明します。ユーザーは 3 つの単純なハッシュ値だけを検証します：古い状態のルート、新しい状態のルート、ブロックハッシュ。イーサリアムの混合確率と決定論的合意は、低遅延のブロック生成（スロット）を可能にし、各期間（32 スロット）には最終性があります。このプロセスを完全な検証者を実行せずにどのように検証しますか？同期委員会は、512 人のランダムに選ばれた検証者を使用して、チェーンのヘッドに 27 時間サインをします。軽量クライアントはチェーンをダウンロードすることなくこのサインを検証し、チェーンの正確性を保証します。この方法はシンプルで効率的ですが、一部のリスク（悪行に対する罰則がない）が存在します。