zkEVM

1. Abstract

Ethereumメインネットが行う全てのことを行うことができるzkロールアップ

スマートコントラクトのコードが正しい方法で読み込まれ実行されたこと、トランザクションが有効であること、状態遷移が正しいことを検証するために、常にゼロ知識証明を生成

Polygon Hermez（「完全なEVM同等L2」と位置づけられる）は、EVMとは異なるバイトコードを使っているため、本当のEVM同等ではないと主張

1-1. メリット

コードを書き換えることなく、全てのEthereum dAppsとスマートコントラクトをサポートします

Ethereumツーリングに対応

MetaMask、Truffle、Remix、Ganache、コードライブラリなど。

全ての取引の正当性が保証される

セキュリティ、紛争解決の必要なし

ゼロ知識証明が提出されると同時にメインネット上で取引が確定する

イーサリアムへのブリッジバックが早い

短いゼロ知識証明のみがメインネットに掲載される（対フルトランザクションデータ

ユーザーのガス代が安くなる

Ethereumの不便なコンセンサスプロセス（全てのフルノードが同じ計算を行う必要）を複製する必要がない

スケーラビリティとパフォーマンス

1-2. タイプ

1

zkEVM Community Edition

Scroll

Taiko

2

Polygon Hermez

3

Polygon zkEVM

4

zkSync

Nethermind Warp

SolidityコードをStartware Cairoにコンパイルする

https://vitalik.ca/images/zkevm/chart.png

2. 前提知識

2-1. EVM

6. Challenges

計算コストが高い

zkpの計算時間がかかる

Project

Polygon Hermez

zkSync