ビットコインの半減期が近づくにつれ、ドルBTCの資金活用をどう改善するかに注目が集まっており、ビットコインの第2層の開発が焦点となっている。このような背景から、マーリン チェーンは急速に台頭し、ステーキング活動の開始からわずか 1 か月以内に TVL が 35 億米ドルを超えました。今月、マーリンチェーンはM-Tokenをローンチし、流動性が段階的に解放されるにつれて市場の人気は高まり続けており、その技術的設計は多くの注目を集めています。
ZK-Rollup に基づいて、Merlin Chain は分散型 Oracle ネットワークを導入し、DA レイヤーとして Celestia を使用します。この技術アーキテクチャにより、Merlin Chain は強力なパフォーマンスを実現すると同時に、ビットコイン ネットワークのサポートを強化します。
この記事では、Merlin Chain の技術的特徴と革新性について詳しく説明します。
拡張性の高い ZK ロールアップ
Merlin Chain は、Taproot の集約されたゼロ知識証明とロールアップ データのビットコイン メイン ネットワークへの書き込みに基づくソリューションを提案し、拡張性の高い ZK-ロールアップを実現し、ビットコイン ネットワークのチューリング不完全性を解決しました。
ネットワークはトランザクション データをバッチに集約して圧縮し、ゼロ知識証明を通じてビットコイン メインネット上の Taproot に送信します。重要なコンポーネントには、ノード、zkProver、データベースが含まれます。これら 3 つは連携してデータ交換と保存を完了し、トランザクション処理と検証プロセスがスムーズに進行するようにします。
ノード: トランザクション データの処理と送信、および zkProver とデータベースとの対話を担当します。
マークル ツリーの内容をデータベースに送信し、そこに保存します。
入力トランザクションを処理のために zkProver に送信します
zkProver と対話して、トランザクションの有効性と正確性を確認します
zkProver: SNARK テクノロジーを使用してゼロ知識証明を生成し、トランザクションの有効性と正確さを証明します。
メイン ステート マシンとサブ ステート マシン (BinarySM、StorageSM、MemorySM、ArithmeticSM など) に分かれた 13 種類のステート マシンが含まれています。
複雑な数学的計算を実行し、PIL (多項式恒等言語) を使用してトランザクション実行中の状態遷移と制約を記述し、それらを多項式制約または多項式恒等に変換し、スマート コントラクト上で検証します。
ノードおよびデータベースと対話して、マークル ルート、関連する兄弟キー、ハッシュなどの情報を含む、トランザクションの検証可能な証明を生成するための情報を取得します。
生成されたトランザクション証明をノードに送り返します。これにより、ノードはそれをさらに検証して記録し、トランザクションの合法性と安全性を確保できます。
データベース: マークル ツリーの内容やトランザクション情報などの重要なデータを保存するために使用されます。
ノードによって送信されたマークル ツリーの内容を受信して保存します
トランザクション証明を生成するために必要な情報を zkProver に提供します。
このモデルは Merlin に多くのメリットをもたらします。
セキュリティ: ビットコインのセキュリティを継承し、L2 バッチ処理のスケーラビリティを提供し、データがビットコインに固定されて改ざんできないことを保証します。
EVM 互換性: 相互運用性を確保するために既存のスマート コントラクトとツールをサポートします。
低コスト: ZK プルーフおよび zkSNARK テクノロジーを使用して、L1 スペース消費を削減し、トランザクション コストを最適化します。
ハイパフォーマンス: 頻繁な妥当性証明と再帰的 STARK によってトランザクションの迅速なファイナリティを確保し、高い同時実行性と大規模なユーザー ニーズに対応するスケーラビリティを実現します。
分散型Oracleネットワーク
Merlin Chain は分散 Oracle ネットワークを使用します。シーケンス ノードは、トランザクションの収集とバッチ処理、圧縮されたトランザクション データ、ZK 状態のルートと証明の生成を担当します。このデータは Oracle Network Execution Circuit によってコンパイルされ、Bitcoin メインネットの Taproot にアップロードされ、ネットワーク全体が公的にアクセスできるようになります。具体的な仕組みは以下の通りです。
ZK Proofs 向けに特別に設計された不正防止メカニズムを採用し、ビットコインの最終確認を提供します
すべての元のデータは Oracle ネットワークに保存され、対応するステート ルートは Bitcoin ネットワークに保存されます。
ユーザーはいつでも Merlin Chain 上のすべての集約されたトランザクションを取得できます
ユーザーは ZK を使用して、特定のデータ内容を公開することなく、データの正確性と有効性を証明できます。
Merlin Chain は、電力とデータを分散化することで、単一障害点と集中化のリスクに対抗します。同時に、システムはマルチ署名とコールドストレージ技術を使用して、質入れされた資産の安全性を確保します。すべてのステーキングおよび報酬分配プロセスはオープンかつ透明であり、ユーザーはいつでもステーキングのステータスと期待されるリターンを確認できます。
ノードステーキングの設計は次のとおりです。
多様な資産: $BTC、$MERL、その他の主流の BRC 20 資産のプレッジをサポートし、柔軟性とリスク耐性を向上させます。
スマートコントラクト管理: すべてのエージェントのステーキングと報酬の分配は、スマートコントラクトを通じて自動的に実行され、プロセスの改ざん性と公平性が確保されます。
リアルタイム監視: ユーザーはエージェントの誓約ステータスと収入をリアルタイムで確認できるほか、エージェント ノードのパフォーマンス記録も確認できます。
出口メカニズム: システムは柔軟な出口メカニズムを提供しており、ユーザーはいつでも資産を引き出して資金の流動性を確保できます。
データの可用性
Merlin Chain は、Celestia をデータ可用性レイヤーとして使用して、ブロック データの検証可能なリリースを保証し、ネットワークの透明性と信頼性を強化します。
Celestia は公開データの可用性を保証し、誰もが Merlin Chain の状態を表示および保存できるようにします。
ロールアップとアプリケーションは、Celestia で公開され、利用可能であることが確認された後、履歴データを保存する責任があります。
ノードは新しいブロックを受信すると、データの可用性を検証して、ネットワーク内のデータが完全で一貫性があることを確認します。
ゼロ知識証明の 2 段階の送信メカニズム
Merlin Chain は、分散型 PoW を実現するために、Lumoz が提案するゼロ知識証明 (ZKP) の 2 段階の送信メカニズムを将来採用します。
ハッシュを送信する
証明者が特定のシーケンスの ZKP を生成するには、最初に (証明/アドレス) のハッシュを計算し、そのハッシュをアドレスとともにチェーンレベルのスマート コントラクトに送信する必要があります。
証明はシーケンスの ZKP を表し、アドレスは証明者の身元を識別します
最初の証明者のハッシュ送信には制限がなく、次の T+ 10 ブロック以内に処理されて受け入れられます。T+ 11 ブロック以降、新しい証明者は追加のハッシュ値を送信できなくなります。
ZKPを送信する
ブロック T+11 の後、証明者は完全な ZKP を提出できます。
検証済みの ZKP を使用して、以前に送信されたすべてのハッシュを検証できます。
証明者は賭け金の割合に基づいて PoW 報酬を受け取ります
このメカニズムは、マイナーがオンラインを維持し、安定したコンピューティング環境を確保し、ネットワークのセキュリティと信頼性をさらに強化するよう効果的に動機付けることができます。
レーシング攻撃の防止: 悪意のある攻撃者が大量の証明を迅速に送信することで、システムの通常の動作を妨害したり混乱させたりしようとするのを防ぎます。
安定した参加を奨励する: マイナーが報酬を通じて安定的かつ継続的な ZKP コンピューティング パワーを提供することを奨励し、ネットワークのセキュリティと信頼性を強化します。
システム効率の確保: 効率と公平性を確保し、リソースの無駄やネットワークの輻輳を回避しながら、システム全体のパフォーマンスと安定性を向上させます。
ビットコインベースの不正行為の証明
Merlin Chain は、データの完全性とセキュリティをさらに確保するために、将来的に不正防止メカニズムを導入する予定です。
このメカニズムには証明者と検証者の 2 つの役割が含まれており、具体的な実装パスは次のとおりです。
証明者と検証者は一連のトランザクションに事前署名し、それらの間でチャレンジ/レスポンス メカニズムを確実に有効にできるようにします。
証明者は、検証対象のプログラムを多数の NAND 論理ゲートを含むバイナリ回路に変換し、データの完全性と正確性を保証します。
各論理ゲートには、その論理ゲートの動作と機能を定義および説明するリーフ スクリプトがあります。
証明者は、この大規模なバイナリ回路内の各論理ゲートのリーフ スクリプトをマークル ツリーに配置し、マークル ルートをタップルート アドレスに送信します。
検証者はこのタップルート アドレスからマークル ルートを抽出し、その有効性を検証します。
証明者が提出したマークル ルートに不正なデータや不正行為などの問題があると検証者が疑う場合、チャレンジ/レスポンス メカニズムを有効にして証明者に異議を申し立て、対応するリーフ スクリプトまたはその他の証明の提供を要求できます。マークルルートの正しさを証明するため
証明者は、提出したマークルルートが正しいことを証明するために、チャレンジに従って対応する証拠を提供する必要があります。
検証者はこれらの証拠を検証して、証明の正確さとデータの完全性を確認します。
ビットコインの半減期が近づく中、市場はマーリンチェーンの継続的な発展と革新に対する期待でいっぱいです。ビットコインの第 2 層ネットワークのリーダーとして、マーリン チェーンは今後も開発とイノベーションを推進し、ユーザーと開発者により安定、安全、豊富なブロックチェーン サービスとアプリケーション シナリオを提供すると期待されています。
