zkLink: ゼロ知識技術に基づく集約ロールアップ・インフラストラクチャ

概要

新たなブロックチェーンネットワークの急増により、流動性の断片化が進み、複数ブロックチェーンにまたがるdApp(分散型アプリケーション)の展開が複雑化しています。クロスチェーン資産の安全な取引と相互運用性を実現するプラットフォームが存在しないため、dAppの大衆採用に向けた大きな課題が生じています。開発者は、各チェーンごとに異なるプログラミング言語やツールのために、dAppの展開に際して複雑な問題に直面しています。

これらの課題に対応するため、zkLinkはゼロ知識証明とマルチチェーン状態同期によりセキュリティを確保する集約ロールアップ・インフラストラクチャの開発に取り組んでいます。この仕組みにより、異なるLayer 1(L1)やLayer 2(L2)のエコシステムに分散するネイティブな暗号資産が統合され、dAppの複数チェーンにまたがる展開に伴う複雑さが大幅に簡略化されます。さらに、エコシステム全体で断片化している流動性を統合し、取引手数料を大幅に低減することを目指しています。

1. はじめに

ブロックチェーン分野の急速な発展に伴い、Ethereum、Solana、AvalancheといったLayer 1ブロックチェーンや、Arbitrum、zkSync、StarknetなどのEthereum Layer 2ロールアップが存在する、マルチチェーン・マルチレイヤーの環境が出現しました。ユーザーはそれぞれのニーズに応じて、さまざまな暗号トークンを利用するために異なるL1チェーンやL2ロールアップ間を行き来しています。新たなチェーンやロールアップの普及は、世界中のクリプトユーザーに大きな価値を提供する一方で、エコシステムの断片化という予期せぬ課題も生み出しています。ユーザーにとっては、クロスチェーン取引に伴うコスト増加やセキュリティリスクが発生し、開発者にとっては、複数チェーンにまたがるdApp開発環境の複雑性が問題となります。

2. zkLinkが解決する課題

zkLinkは、クロスチェーン流動性の集約とマルチチェーンdApp展開の簡素化を実現するために、集約ロールアップ・インフラストラクチャを構築します。マルチチェーン状態同期により、接続された任意のチェーンから安全に流動性へアクセスできるようになり、ゼロ知識証明技術を活用することで、高スループット、低コストかつ安全な環境をdAppに提供します。

主な特徴

現在、zkLinkは以下の2つのプロダクトラインを展開しています。

zkLink Nova

zkLink Novaは、EthereumおよびそのLayer 2ロールアップ上に構築された、EVM互換の集約Layer 3ロールアップネットワークです。dApp開発者は、Nova上でSolidityによるスマートコントラクトをデプロイすることで、Ethereum、Arbitrum、zkSync、Lineaなど、統合されたネットワークの流動性およびネイティブ資産へ即時にアクセスできます。NovaはEthereumのセキュリティを継承しており、Ethereumスマートコントラクトを介してマルチチェーン状態同期を実現するzkLink Nexusソリューションを用いています。

zkLink X

zkLink Xは、カスタマイズされた高性能アプリケーション向けの集約ロールアップ・インフラストラクチャです。zkLink Xは、マルチチェーン展開の複雑性を抽象化するミドルウェアとして機能し、開発者に対して単一チェーン上で開発しているかのような感覚とマルチチェーン流動性へのアクセスを提供します。そのモジュラーアーキテクチャにより、例えばDA(データアベイラビリティ)ソリューションやマルチチェーン決済スキームなど、各種コンポーネントをカスタマイズ可能にしています。また、注文書型DEXなどの高性能金融アプリケーション向けに、低コストかつ高スループットなApp Rollupソリューションを実現する取引用専用のzkVMも提供します。

2. zkLinkプロトコル設計

2.1 プロトコル全体像

zkLinkプロトコルは、モジュラーアーキテクチャを採用した集約型ZKロールアップ・インフラストラクチャです。これにより、各コンポーネントやモジュールは容易に交換、アップグレード、または追加が可能となり、複数の専門的なブロックチェーンや技術を組み合わせることで柔軟性とスケーラビリティを実現しています。

zkLinkプロトコルは、以下の4層で構成されています。

これらの4層は、カスタマイズされたロールアップ展開のために分離されており、特に決済層と実行層におけるソリューションがzkLinkプロトコルの核となる価値提案および革新点となっています。

2.2 決済層

従来のZKロールアップネットワークでは、単一のチェーン(通常はEthereum)が決済層として採用され、そこで証明の検証と取引の決済が行われます。決済層は、オフチェーン取引のセキュリティと整合性を維持する役割を担います。

zkLinkは、従来のZKロールアップアーキテクチャと異なり、複数ブロックチェーンと連携する「集約型ZKロールアップ」を提案します。ネイティブトークン資産を複数のL1およびL2から1つのプラットフォームに安全に集約するため、ユーザーの資産は各接続チェーン上にデプロイされたロールアップブリッジコントラクト内にロックされます。また、集約型ZKロールアップは、オンチェーン取引の同期ハッシュを用いたマルチチェーン状態同期により、不正な入金などの悪意ある操作を防ぎます。

zkLinkでは、ネットワーク統合要件に応じて、2種類の専用決済ソリューション「zkLink Nexus」と「zkLink Origin」を提供します。

ソリューション 対応ネットワーク セキュリティ前提
zkLink Nexus EthereumおよびそのL2 Ethereumと同等のセキュリティ
zkLink Origin Ethereum、Alt-L1およびL2 シーケンサーとライトオラクルネットワークが悪意ある行為で共謀できないこと

2.2.1 集約型ZKロールアップの動作原理

集約型ZKロールアップのアーキテクチャでは、入金などのオンチェーン取引がリアルタイムでロールアップネットワークに転送され、最良のユーザーエクスペリエンスを実現します。しかし、各取引の最終的な確定は、ゼロ知識証明(ZKP)の検証結果とマルチチェーン状態同期に依存する新たな決済パラダイムにより達成されます。

最適な検証コストを実現するため、接続されたチェーンの中から1つのチェーンがプライマリチェーンとして指定され、そこでZKPの検証を行います。他のチェーンはセカンダリチェーンとしてZKP検証を実行する必要がなく、マルチチェーン状態同期により全チェーンで検証が完了したのと同等の効果が得られます。

従来のZKロールアップは、コミット証明実行の3段階で動作しますが、zkLinkの集約型ZKロールアップアーキテクチャでは、証明後に同期段階が追加されます。各段階は以下の通りです。

  1. コミット:シーケンサーがzk証明および取引バッチをプライマリチェーン上の検証コントラクトに提出します。
  2. 証明:プライマリチェーン上のzkLinkコントラクトがzk証明の有効性を検証します。
  3. 同期:セカンダリチェーンからの取引同期ハッシュが、安全なメッセージチャネルを通じてプライマリチェーンに転送され、オンチェーン取引と同期ハッシュの整合性が確認されると、バッチが確定し、そのバッチルートがセカンダリチェーンに送信され実行されます。
  4. 決済実行:バッチルートとMerkle証明を受け取った後、資金引き出しが承認・実行されます。

2.2.2 Nexus: EthereumおよびそのL2上での決済

zkLink Nexus決済ソリューションは、EthereumおよびそのL2のみを接続します。Nexusは、Ethereumのセキュリティを継承したL2のマルチチェーン同期という新たなパラダイムを導入しています。マルチチェーン同期段階では、セカンダリチェーンからの取引同期ハッシュがEthereum L2の標準的なメッセージブリッジを介してプライマリチェーンに転送され、検証後、バッチルートがセカンダリチェーンへ送信されます。これにより、Ethereum上での有効性証明または詐欺証明を通じたL2の最終確定性と、追加のマルチチェーン状態同期が実現され、zkLink NexusはEthereumのセキュリティを継承します。

2.2.3 Origin: Ethereum、Alt-L1およびL2での決済

Nexusとは異なり、zkLink OriginはSolanaやAvalancheなどのAlt-L1に加え、EthereumおよびそのL2とも連携します。zkLink Originロールアップは、接続された各ネットワーク上で取引および状態遷移を決済し、いずれかのネットワークがzk-SNARKsの証明検証をサポートしていれば決済が成立します。Alt-L1とEthereum間の安全かつ迅速な通信のために、zkLinkはライトオラクルネットワークを導入しています。Originのセキュリティ前提は、取引バッチ化を担当するシーケンサーがライトオラクルネットワークの全ノードと共謀できないことにあります。

2.3 実行層

実行層では、状態の正しい更新を行うため、状態機械の遷移を正しく反映する有効な取引のみが実行されます。

2.3.1 取引用専用zkVM(TS-zkVM)による取引特化型dAppの実行環境

zkLinkの取引用専用zkVM(TS-zkVM)は、カスタマイズされた低レベルコアZK回路およびRisc0 zkVM拡張回路をベースに構築され、App Rollup開発者に対して高スループットかつ低コストな実行環境を提供します。TS-zkVMは、スポット取引、デリバティブ取引、NFT取引などの注文書型プロダクト機能に対応します。

2.3.2 普遍的なdApp向けzkEVM

zkLinkのモジュラーアーキテクチャにより、開発者はZK StackやPolygon CDKなどのオープンソースzkEVMフレームワークを利用して、独自のカスタマイズ可能なロールアップを構築する柔軟性を持ちます。zkLinkの集約ロールアップ・インフラを基盤とすることで、Solidityで記述されたApp Rollupが容易に構築され、複数ブロックチェーンやロールアップから集約された流動性へアクセスできます。zkLinkは、ZK StackをベースにzkLink Novaとして、EthereumおよびそのLayer 2ネットワークから集約流動性にアクセス可能なパーミッションレスな集約zkEVM Layer3ロールアップを構築しています。これにより、dAppはEthereumのセキュリティを継承しつつ、幅広い流動性へアクセスできます。

2.4 シーケンシング層

シーケンシング層は、ユーザー取引の受信、順序決定、バッチへのまとめを担当し、決済層へのコミットや外部DA層へのデータ伝送を行います。zkLinkは初期段階で中央集権的なシーケンサーを採用していますが、Espresso、Astria、Fairblockといった分散型シーケンサーの導入を目指し、ネットワークのセキュリティと透明性を向上させる計画です。

2.5 データアベイラビリティ層(DA層)

データアベイラビリティ(DA)は、取引データを常に再構成可能な状態で利用できるようにする仕組みです。ロールアップが予期せず停止した場合に状態を再構築できる能力を確保するため、DA層は重要な役割を果たします。

5. トークノミクス

ZKLはEthereumメインネット上に発行される標準ERC20トークンで、総供給量は10億枚に固定され、インフレはありません。また、zkLink Novaネットワーク上でも利用可能です。

ZKLはzkLinkプロトコルのネイティブユーティリティおよびガバナンストークンとして機能します。ユーティリティ面では、zkLink XのApp Rollupインフラサービスへのアクセスやゼロ知識証明計算リソースの支払いに使用され、ガバナンス面ではzkLink DAOの開発方針に対する意思決定に参加できます。将来的には、zkLink Novaの分散型シーケンシングネットワークへの参加権も付与されます。

5.1 支払い

zkLink Xを利用するApp Rollupは、ライセンス料としてZKLをzkLink DAOに支払い、DAOは初期のライセンス料補助としてスタートアップにZKLを提供します。さらに、ZKLはゼロ知識証明生成サービスの支払いトークンとしても機能し、プローバーは証明オークション市場で入札し、タスク完了によりZKLを獲得、一定量のZKLのステーキングが必要となります。

5.2 ガバナンス

ZKLはzkLinkプロトコルのガバナンストークンであり、保有者はステーキングにより得られるveZKLを通じて、DAOの意思決定に参加します。現状では、zkLink Novaの収益は中央集権型シーケンサーから直接zkLink DAOボールトへ流入しますが、将来的にはZKL保有者に分散型シーケンシングネットワークへの参加権が付与されます。

5.3 zkLink Novaネットワークのオプショナルガストークン

zkLink NovaのネイティブガストークンはETHですが、Nova上で取引を行う際に、ユーザーは割引料金でZKLを使用してガス代を支払うオプションも選択できます。

6. 結論

本論文では、ゼロ知識技術に基づく分散型集約ロールアップ・インフラストラクチャであるzkLinkプロトコルの概念設計およびシステム構造について述べました。zkLinkは、流動性の断片化、相互運用性の欠如、高い取引コスト、そしてマルチチェーン展開の複雑性といった課題に対し、zk-SNARKs技術とマルチチェーン状態同期を用いた新たな集約ロールアップ・フレームワークで解決を図ります。

zkLinkの集約ロールアップ・インフラを基盤とし、zkLink NovaはEthereum、ZKロールアップ、Optimisticロールアップを含むEthereumエコシステム全体から集約流動性にアクセス可能な、業界初の集約Layer3 zkEVMロールアップネットワークとして構築されています。一方、特定の高性能アプリケーション向けに独自の主権が必要な場合、zkLink Xは、マルチチェーン展開の複雑性を抽象化し、単一チェーン上で開発しているかのような感覚とマルチチェーン流動性へのアクセスを提供するミドルウェア・インフラストラクチャを実現します。また、TS-zkVMは、CLOB型DEXやNFT取引など、高性能かつ低コストな金融プロダクト向けに特化した実行環境として、ゼロ知識証明の効率的な活用を促進し、セルフカストディアルでユーザーフレンドリーなDeFiプロダクトの大衆採用に貢献します。

用語集

参考文献

  1. Celestia 開発者向けドキュメント
  2. Espresso シーケンサーアーキテクチャ
  3. Polygon CDK ドキュメント
  4. zkLinkドキュメント
  5. zkLink公式サイト
  6. zkSyncのZK Stack
  7. LayerZero Whitepaper V2.0