1/ マンタパシフィック

Manta Pacific は、ZK アプリケーション向けに設計された Ethereum レイヤー 2 ソリューションです。Ethereum 上に構築されたモジュール式レイヤー 2 であり、Polychain、Binance Labs、CoinFund、SevenX Ventures などの機関から 6,000 万ドルを超える資金を確保しています。

Manta Pacific は現在、Caldera のカスタム OP Stack アーキテクチャに基づいており、Ethereum EVM とほぼ 100% 互換性があります。これにより、Ethereum エコシステムの既存の開発者は、アプリケーションを Manta Pacific にシームレスに移行できます。

Manta Pacific は、データ可用性レイヤーを Ethereum から Celestia に移行し、データ可用性レイヤーとして Celestia を使用する最初のレイヤー 2 となりました。

Manta は Manta Pacific に ZK 回路も組み込んでいます。開発者は SDK と API を通じてわずか数行のコードで ZK 関数を簡単に呼び出すことができるため、ZK を既存の DApp と統合したり、新しい ZK アプリケーションを開発したりすることができます。

2/ モジュール性

モジュール化とは、Web2 業界や従来の業界で一般的な製品設計とアーキテクチャの考え方を指します。たとえば、スマートフォンメーカーは、すべてのコンポーネントを自社で製造するのではなく、画面、チップ、WiFi、Bluetooth などのサプライヤーを選択し、その後、組み立てに契約メーカーを使用することで、効率を大幅に向上させ、コストを削減します。

通常、ブロックチェーンは、コンセンサス層、決済層、データ可用性層、実行層に分類できます。

Ethereum のメインネットは最終的な合意と決済の責任を担い、データ可用性レイヤー プロジェクトには Celestia、EigenDA、Polygon Avail などがあります。一般的な Ethereum レイヤー 2 は実行レイヤー プロジェクトです。

  1. モジュール化とは、カスタマイズと構成性の向上を意味します。プロジェクトは、セキュリティを Ethereum メインネットに委ねながら、低いガス料金、さらにはガス料金ゼロ、超高速のトランザクション速度を追求するなど、ニーズに基づいてトレードオフを行うことができます。

  2. モジュール性により、プロジェクトはすべてのインフラストラクチャをゼロから構築することなく、Polygon CDK や OP Stack などの実績のある技術スタックに基づいてチェーンを構築できます。

3/ マンタパシフィックのモジュール性

Manta のモジュール設計には 2 つの側面があります。

  1. Manta Pacific は、OP Stack や Polygon CDK などの成熟したテクノロジー スタックを使用して、モジュール アーキテクチャを実装します。

他のレイヤー 2 ソリューションとは異なり、Manta Pacific はインフラストラクチャをゼロから構築するのではなく、既存の成熟した OP Stack テクノロジー スタックを使用しました。

Manta が新しく設立されたスマートフォン ブランドであれば、OP Stack を使用することは、iPhone のサプライ チェーンとテクノロジ アーキテクチャを直接使用するようなものです。

このアプローチの利点は、Optimismが弱気市場でテストされたプロジェクトであり、そのテクノロジースタックであるOP Stackも長期の市場テストを経ており、非常に成熟していることです。Manta Pacificは巨人の肩に直接立つことができ、OP Stackの既存のセキュリティと技術的な利点を大幅に継承しています。

さらに、完全な EVM 互換性を実現しているため、開発者は既存の DApp を Manta Pacific に簡単に移行できます。さらに重要なのは、Manta がエコシステムの構築とプロジェクトの拡張にさらに注力できることです。現在までに、Manta Pacific は 200 を超えるエコシステム プロジェクトで、チェーン上で 810 を超えるスマート コントラクトを検証しています。

  1. Manta Pacific は、データ可用性レイヤーとして Celestia を使用しています。つまり、データ可用性のセキュリティは、Ethereum メインネットと Celestia の両方によって部分的に保証されています。シーケンサー ノードが本物のデータを公開すると、対応するデータは Ethereum メインネットと Celestia の両方で見つかります。

Manta Pacific のシーケンサーは、Ethereum に BLOB を公開するためのブロックの高さを指定します。BLOB がその高さに存在しない場合、トランザクションは無効になります。

シーケンサーは、データ (受信トレイへのトランザクション) を公開します。このデータは、バージョン番号 (0x02)、ブロックの高さ (0xa4aa050000000000)、BLOB コミットメント (残りの部分) の 3 つの部分にエンコードされています。高さを指定することにより、ノードはどこを探せばよいかがわかります。

たとえば、0xa4aa050000000000 はブロックの高さのリトルエンディアンエンコードであり、ブロック 371364 に変換されます。同じブロックは https://celenium.io/block/371364 にあります。

このブロックには、Manta Pacific の名前空間内のブロックが含まれています。完全なデータは次の場所にあります:

シーケンサーが偽造されたデータを公開すると、ノードは指定されたブロックの高さでコミットメントを見つけることができなくなります。

  1. Manta 独自の ZK 回路はモジュール設計になっており、Manta Pacific に ZK 機能が組み込まれています。開発者は Manta Pacific 内で ZK 機能と特徴を完全に呼び出して実装できるため、他の ZK Rollups や zkEVM と差別化できます。開発者は ZK 回路を簡単に呼び出して、ZK 機能をアプリケーションと組み合わせることもできます。

ZK ロールアップのインタラクションでは、ユーザーは ZK ロールアップ内で取引を行い、ロールアップのシーケンサーは証明者として機能し、ユーザー トランザクションを順序付け、圧縮、パッケージ化、および ZK 証明の生成を行います。Ethereum メインネットのスマート コントラクトは検証者として機能し、ZK 証明の正確性を検証し、それによってそれが表すトランザクションの正確性を検証します。

メインネットのスマート コントラクトは、ZK ロールアップ トランザクションの複雑な検証を実行する必要がなく、1 つの ZK 証明でより多くのトランザクション情報の正確性を表すことができるため、スケーラビリティが実現され、Ethereum メインネットのトランザクション確認能力が向上します。

それに比べて、Manta Pacific のユーザーは証明者として機能し、トランザクションを送信するときにローカルで ZK 証明を生成します。オンチェーン コレーターは検証者として機能し、ZK 証明を検証します。検証されたトランザクションはシーケンサーによって圧縮され、Ethereum メインネットに送信されます。レイヤー 2 内で、Manta Pacific は ZK の生成と検証を完了し、ZK 機能を完全に実現します。

4/ OPスタック

OP Stack は、Optimism チームによって立ち上げられたモジュール式のオープンソース ブロックチェーン テクノロジー スタックであり、高度にスケーラブルで相互運用性の高いブロックチェーン ソリューションを提供するように設計されています。OP Stack はモジュール設計を採用しており、各モジュールはスタックの特定のレイヤーを実装し、明確に定義された API を介して接続します。これにより、開発者は既存のモジュールを簡単に変更したり、新しいモジュールを作成したりすることができ、さまざまな種類のブロックチェーン アプリケーションやイノベーションをサポートできます。

OP Stack の目標は、従来のシングルチェーンまたはマルチチェーン モデルを超えて、スーパーチェーンと呼ばれる高度に統合されたチェーンで構成された構造を推進することです。スーパーチェーンは、メッセージング形式を共有することで、チェーンごとにカスタム アダプターを使用せずに、さまざまなチェーンが簡単に通信できるようにします。また、複数の op-chain がシーケンサー セットを共有するアトミック クロスチェーン構成もサポートし、チェーン間のアトミック レベルの相互作用を保証します。

5/ データ可用性層（DA層）

データ可用性レイヤーは、ブロックチェーン ネットワーク内のすべてのデータ、特にレイヤー 2 データがパブリックにアクセスおよび検証できることを保証します。データ可用性レイヤーにより、参加者は誰でもこのデータを取得してネットワークの状態とトランザクションの有効性を検証できるため、ブロックチェーンの透明性とセキュリティが確実に保証されます。

6/ セレスティア

Celestia は、Cosmos Tendermint コンセンサスと Cosmos SDK に基づいて構築され、EVM チェーンおよび Cosmos アプリケーション チェーンと互換性のある、プラグ可能なデータ可用性およびコンセンサス レイヤーを提供します。これらのチェーンは、Celestia をデータ可用性レイヤーとして直接使用でき、ブロック データは Celestia を介して保存、アクセス、および検証されます。Celestia はネイティブ ロールアップもサポートしており、レイヤー 2 の構築が可能ですが、スマート コントラクトはサポートしていません。

Rollups は、Celestia ノードを実行することで Celestia と統合されます。Celestia は Rollup トランザクション情報を受信し、Tendermint コンセンサスを通じてトランザクションを順序付けますが、トランザクションの実行や正確性の検証は行いません。トランザクションをパッケージ化、順序付け、ブロードキャストし、消失訂正符号とデータ可用性サンプリング (DAS) を通じてデータのセキュリティと可用性を確保します。

7/ ZK回路

ゼロ知識証明では、「回路」は複雑なアルゴリズムや機能を表現する方法です。ここで言う回路は、従来の電子回路ではなく、数学的または論理的な構造を指します。

ゼロ知識証明のコンテキストでは、回路は特定の問題またはステートメントを説明または定義するためによく使用されます。

回路の主な機能:

  1. 問題の説明: 回路は、特定の問題またはステートメントを説明または定義できます。たとえば、証明者は、特定の回路を満たす入力を知っていることを証明したい場合があります。

  2. 詳細のプライバシー: 回路を使用することで、証明者は、その情報の具体的な内容を明らかにせずに、回路の条件を満たす情報を知っていることを証明できます。

  3. 検証可能性: 回路は、証明者が使用した特定の入力を知らなくても、検証者が証明の正確性をチェックする方法を提供します。

  4. 汎用性と再利用性: 一度定義すれば、回路はさまざまな問題やシナリオに使用できます。このため、一部の ZKP フレームワークでは、さまざまな問題を記述して解決できる、いわゆる「ユニバーサル」回路がサポートされています。

要約すると、ゼロ知識証明の回路はブリッジとして機能し、証明者が証明したいステートメントと、検証者がステートメントを検証する必要があることとを、ステートメント自体以外の情報を公開することなく結び付けます。回路は、証明される計算を定義するために使用されます。特定のアプリケーションごとに独自の回路が必要です。異なるサービス (zkEVM、ZKML、ZK Oracle、ZK Bridge、さまざまなコンセンサスおよび状態証明など) には、異なる回路が必要です。

8/ マンタパシフィックのユニバーサルZKサーキット

Manta Pacific は、ZK (ゼロ知識) アプリケーション専用に設計されたレイヤー 2 ソリューションで、Ethereum EVM (Ethereum Virtual Machine) 環境および Solidity プログラミング言語とのほぼ完全な互換性を提供します。最近、Manta Pacific は、わずか数行のコードで ZK 対応のコントラクトを既存の Solidity スマート コントラクトおよび dApp に統合できる開発者向け ZK ライブラリである Universal ZK Circuits 2.0 をリリースしました。

ユニバーサル ZK 回路は、Solidity 開発者に ZK-as-a-Service を提供します。現在、これには Manta Network の既存の MantaPay 回路、zkShuffle 回路、および Ethereum Foundation の Semaphore プロジェクトの ZK 回路が含まれます。

Manta Pacific の Universal Circuits を使用すると、開発者は EVM ネイティブの ZK アプリケーションを簡単に展開できます。また、高度な API を通じて、既存の Solidity スマート コントラクトや dApp の ZK 対応コントラクトを呼び出すこともできます。

たとえば、オンチェーン カード ゲーム アプリケーションを作成する開発者は、zkShuffle 回路を使用して、カードの分散シャッフルと配布を実装できます。Manta Universal Circuits を使用した簡素化された ZK アプリケーション開発の実例として、zkHoldem が挙げられます。

Universal Circuits が導入される前は、zkShuffle や同様の ZK アプリケーションを構築するには、手動での回路構築と、Rust や Solidity などのプログラミング言語間の変換が必要でした。しかし、Manta Universal Circuits の導入により、この複雑さは大幅に軽減されました。

Manta Pacific の Universal Circuits により、ZK アプリケーションの構築がより簡単かつ効率的になりました。