- 1 Beam Chain解説一覧
- 2 加速するイーサリアムのZK開発競争
- 3 Starknetが100倍効率のSNARK証明
- 4 イーサリアムzkVMsの一覧
- 5 zkVMsの開発が重要な理由
- 6 ZK Proverとは?
- 7 Beam Chainとの関係性
- 8 イーサリアムは将来的に3GBのブロックをスケーリング可能
- 9 RISC-VのzkVMsのサイドエフェクト
- 10 まとめ
イーサリアムは2024年末に開催された年に1度のイーサリアム公式カンファレンス「DEVCON」にてBeam Chainを発表しました。このBeam Chainでは「PoSからZK Eraへの移行」をテーマとしており、次世代ブロックチェーンの仕組みに移行するイーサリアム3.0とも言える内容です。
本稿ではこのBeam Chain及びZK Eraの鍵となるzkVMsの現状と今後のイーサリアムの影響について仮想通貨(暗号資産)投資家向けにわかりやすく解説を行います。
Beam Chain解説一覧
Vol.1114「Vitalikが提案したイーサリアムRISC-Vベースの新世代EVM移行の開発アプローチとzkEVM(zkVMs)を理解する」
Vol.1119「イーサリアムのCL「Beacon Chain」の仕様と役割を理解する」
Vol.1120「イーサリアムのBeam Chainとは?影響とSNARKificationを理解する」
Vol.1126「【図解】イーサリアムの「zkVMs」とは?Proverの加速がもたらすイーサリアムの未来」
Vol.1127「【図解】イーサリアムのBeam Chainで導入される「FOCIL」とは?スケーリングを加速させるPreConfsの前準備」
加速するイーサリアムのZK開発競争
イーサリアムのzkVMsプロジェクトである「RISC Zero」はZKPのProofsの証明生成において現状の最速となる約9.25秒の見積もりを発表しました。
これは現在のイーサリアムCasper FFGにおけるBeacon Chainのスロットタイムが12秒であることを考慮すると、「リアルタイム証明(Realtime Proving)」を可能とする速さであり、現状ZKPのProofs生成には平均して約3分かかることを考慮するとBeam Chainの実現に大幅に近づいたことになるのです。
Starknetが100倍効率のSNARK証明
またzkVMsのStarknetを開発するStarkWareが
「これまでの100倍の速さでZKPのSNARK証明を生成できるProver(証明者)のS-two」
を発表しました。
これはRISC ZeroのプリコンパイルされたProverの28倍、Succintが提供するSP1の39倍の速度であり、現状ローンチすれば最速となることになります。
イーサリアムzkVMsの一覧
2025年5月現在、イーサリアムのzkVMsプロジェクトは下記の表の通りとなっています。
| No | プロジェクト名 | zkVMs | 公式X(Twitter) | トークンシンボル | 資金調達額(億ドル) | ISA |
|---|---|---|---|---|---|---|
| 1 | zkSync | Boomjum 2.0 | @zksync | $ZK | 4.58億ドル | RISC-V |
| 2 | Starknet | StarkV | @Starknet | $STRK | 2.83億ドル | RISC-V |
| 3 | Polygon zkEVM | ZisK | @0xPolygon | $POL(MATIC) | 4.57億ドル | RISC-V |
| 4 | Scroll | Euclid(OpenVM) | @Scroll_ZKP | $SCR | 0.80億ドル | RISC-V |
| 5 | Linea | Linea EVM | @LineaBuild | $LINEA | 7.25億ドル | EVM |
| 6 | Succinct | SP1 | @SuccinctLabs | *TBA | 0.55億ドル | RISC-V |
| 7 | RISC Zero | R0VM | @RiscZero | N/A | 0.52億ドル | RISC-V |
| 8 | a16z | Jolt | @a16zcrypto | N/A | N/A | RISC-V |
| 9 | Kakarot | Keth | @KakarotZkEvm | N/A | 非公開 | Cairo ISA |
| 10 | Nexus | Nexus zkVM 3.0 | @NexusLabs | N/A | 0.27億ドル | RISC-V |
| 11 | Argument | Ix | @argumentxyz | N/A | N/A | Lean 4 |
| 12 | Irreducible | Petra | @IrreducibleHW | N/A | 0.39億ドル | Petra ISA |
| 13 | Brevis | Pico | @brevis_zk | N/A | 0.08億ドル | RISC-V |
| 14 | Ligero | Ligetron | @ligero_inc | N/A | 0.01億ドル | WASM |
| 15 | Miden | Miden VM | @0xMiden | N/A | 0.25億ドル | Miden ISA |
| 16 | Zorp | Nock VM | @ZorpZK | N/A | 0.05億ドル | Nock ISA |
| 17 | O(1) Labs | o1VM | @o1_labs | N/A | N/A | RISC-V |
| 18 | Axiom | OpenVM | @axiom_xyz | N/A | 0.20億ドル | RISC-V |
| 19 | powdr | powdrVM | @powdr_labs | N/A | N/A | RISC-V |
| 20 | Lita | Valida | @lita_xyz | N/A | N/A | Valida ISA |
| 21 | ICME | zkEngine | @icme_app | N/A | N/A | WASM |
| 22 | ZKM | zkMIPS | @ProjectZKM | N/A | N/A | MIPS |
| 23 | Delphinus | zkWASM | @DelphinusLab | N/A | 非公開 | WASM |
zkVMsの開発が重要な理由
ではzkVMs開発競争が与えるイーサリアム(ETH)への影響について見ていきましょう。
ここで最も重要となるのは
「zkEVMがRollup
