イーサリアムスケーリング革命の始まり

Vitalikがブロックチェーントライレンマを提唱した時、プログラム可能性という第四の次元が必要になるとは予想していなかったかもしれません。数多くのスケーリングソリューションを見てきた者として、zkSync 2.0は根本的に異なるものであると自信を持って言えます。

技術スタックの分解

ここでの目玉はzkEVM実装です。スマートコントラクトを実行しながらゼロ知識証明を生成する暗号技術の驚異です。最も興味深いのは、EVM互換性を維持しながら証明生成効率を最適化した点です。そのアプローチはウォール街のクオントモデルを彷彿とさせます。

主なコンポーネント:

• zkEVM命令セット（回路内および実行環境）
• Solidity/ZincからzkEVMバイトコードへのコンパイラ
• コントラクト展開用フルノード統合

開発者にとっての重要性

ほとんどの操作はイーサリアム開発者にとって馴染みのあるものですが、いくつかの例外があります:

1. ADDMOD/SMOD操作（後日実装予定）
2. KECCAK256は一時的に衝突耐性のある代替品に置換
3. SELFDESTRUCTなし（イーサリアムに準拠）

ガスモデルは特に革新的で、L1ガス価格とZKP生成コストに基づいて動的に調整されます。

秘伝のタレ: zkPorter統合

zkPorterはオフチェーン・データ可用性システムで、スループットを2桁向上させます。

• zkRollupアカウント（最大セキュリティ）
• zkPorterアカウント（低コスト）

同じ状態ツリー内で相互運用可能です。

暗号技術の中身

採用技術:

• 実績あるPLONK証明システム
• カスタムゲート/ルックアップテーブル（UltraPLONK）
• イーサリアムBN-254曲線

回路と実行環境の分離は特に巧妙です。

今後の展望

現在注力中の分野:

1. コンパイラの堅牢化
2. 再帰的証明集約
3. Zinc言語拡張
4. Rustコンパイラフロントエンド導入可能性