1.そもそも ZK ロールアップとは何か

• EthereumのL1に直接1件ずつ取引を載せると高価で遅い。
• そこで L2（ロールアップ）に大量の取引を詰め込み、まとめて圧縮した “証明” （と取引データ）を L1に掲載する。
• この「圧縮した証明」が Zero-Knowledge Proof（ZKP）で、
   L1から見ると「中身は見てないけど正しいと数学的に保証されている」という状態になります。
• 問題は “証明の生成” が猛烈に重いこと。規模にはよりますが、これまではA100などのGPU ファーム、あるいは専用ASICを何十枚も並べる必要がありました。

 2. zkEVM と zkVM の違い

• zkEVM … EVM 専用。Ethereum が理解するバイトコードだけを証明。
   例：Scroll、Polygon zkEVM など。
• zkVM … もっと汎用的な CPUアーキテクチャ（例：RISC-V）の命令をそのまま証明。
   → EVM互換チェーンだけでなく、ゲームロジックや AI 推論など “任意のプログラム” を ZKP 化できる。
• Airbender は「RISC-V zkVM」なので後者。