EVM 互換の ZK Rollup ネットワーク Zircuit の概要

著者： Zen ， PANews

4月、EVM互換可能なZK RollupネットワークZircuitが発表したステーキングプランは大幅な成長を遂げ、そのTVLは当月に11億ドルから最高で28億ドルに増加しました。DefiLlamaのデータによると、5月6日現在、32 億ドルの預金がZircuitのステーキングに投入されています。

Zircuitとは？

Zircuitは、Ethereum財団から複数の研究助成金を受けたチームによって開発され、Pantera CapitalとDragonfly Capitalの支援を受けています。昨年11月9日、Zircuitのパブリックテストネットが正式に立ち上がり、完全にEVM互換であることを意味します。これにより、Ethereumアプリケーションは新しいプログラミング言語やフレームワークを学ぶことなく、このネットワークにシームレスにデプロイできます。この互換性により、ユーザーはこれらのdAppの新機能、速度、コストの利点を享受でき、追加の学習は不要です。

今年2月、Zircuitはステーキングプランを発表し、徐々に人々の視野に入るようになりました。ユーザーはETH、流動性ステーキングトークン（LST）、流動性再ステーキングトークン（LRT）をステーキングすることで、ステーキングAPR、再ステーキングAPR、Eigenlayerポイント、LRTポイント、Zircuitポイントを含む報酬を獲得できます。現在、ZircuitはEthena、Ether.fi、Renzo、EigenLayer、Lido、Swellなどの著名プロジェクトと提携しています。BlastやMantleなどのハードロック方式とは異なり、Zircuitはユーザーがいつでも引き出しを行い、獲得したポイントや利益を保持できることを許可しており、これは普通預金に似ています。

現在、Zircuitはテストネット段階にあり、メインネットは今年の夏に最も早く開始される予定です。エアドロップの期待に基づき、ユーザーはテストネットのテストに参加したり、"Build to Earn"に参加したり、ステーキングプランに参加することで、ETHおよびその派生品をステーキングし、さまざまなタスクに参加してZircuitポイントを獲得し、将来的にトークン報酬を得ることができます。

コア特徴：シーケンサー級のセキュリティ

Zircuit自体はEthereumのZK第2層であり、その設計の主な革新はシーケンサー級のセキュリティ（Sequencer Level Security、SLS）の概念を導入したことです。このメカニズムは、Layer 2ブロックチェーン上での取引時にユーザーの資産とデータが十分に保護され、悪意のある取引やハッキングから守られることを目的としています。さらに、その設計はシーケンサーの性能への影響を最小限に抑えることを要求しており、特にシリアル化スループットと遅延への影響を考慮し、ネットワークの効率性と応答速度を維持します。その透明な操作メカニズムにより、ブロックチェーンの状態が明確に定義され、導出されることができ、ネットワークの予測可能性と安定性が確保されます。

具体的には、ZircuitのシーケンサーはMempool（メモリプール）すなわち未パッケージの取引集合を監視し、悪意の検出を行います。SLSは特定のアルゴリズムや技術に基づいて取引が悪意を持っているかどうかを判断します。取引が悪意があると認定された場合、それは隔離エリアに置かれ、一時的にブロックに含まれることはできません。リリース条件が満たされ、合法性が確認されるまでブロックへの追加は検討されません。SLSは、悪意の検出を最適化するために混合の並列-順序手法を採用することもできます。これは、チェーンの先端部分での並列シミュレーションとブロック内での順序シミュレーションを組み合わせ、それぞれの利点を最大限に活用します。

SLSに加えて、Zircuitのもう一つの特徴は、専有の証明集約技術を使用していることで、この技術は回路を迅速な並列プロセスに分解し、処理速度と効率を向上させます。

ハイブリッドアーキテクチャのZK Rollup

検証済みのRollupインフラストラクチャとゼロ知識証明技術を組み合わせることで、Zircuitはハイブリッドアーキテクチャに基づくZK Rollupソリューションを採用しています。そのアーキテクチャには、L2ブロックを構築するために取引を処理するシーケンサー（Sequencers）、これらのブロックの有効性証明を生成する証明生成器（Provers）、L1上でシステムと相互作用するスマートコントラクト（Smart contracts）が含まれています。

Zircuitの取引フローはL1または直接L2から開始できます。取引はRollupノード（シーケンサー、実行エンジン、バッチプロセッサを含む）によって処理され、その中でシーケンサーは実行エンジンにどの取引をブロックに含めるかを指示し、バッチプロセッサはL2取引バッチをL1に提出して完全なデータの可用性を実現します。実行エンジンはバッチ内の取引を処理し、新しいL2状態を生成します。これらのL2ブロックはZircuitの証明生成器によって処理され、各証明生成器は迅速な証明生成と検証を実現するための特定の役割を持っています。

入出金と取引に関して、入金取引はETHやERC-20トークンなどの資産をEthereumからZircuitにブリッジするものであり、L2取引はZircuit上で発起されます。例えば、アカウント間でETHを移動したり、Zircuit上でスマートコントラクトを呼び出したりします。これらの取引はRollupノードによって処理され、最終的にL2ブロックに含まれ、その後証明によって合法性が確認されます。出金取引は、資産（例えばETH）をZircuitからL1に引き出すものであり、この取引はL2標準ブリッジスマートコントラクトにL2取引を送信することで発起されます。これらの取引がL2に含まれると、関連する証明がL1での出金プロセスを完了するために使用され、出金アカウントが十分な資産を持っていることを保証します。