学習目標:Zamaネットワークの運用アーキテクチャを理解し、その専用コンポーネントがどのように協働して、公開ブロックチェーン上で機密計算を可能にしているかを把握する。
専門コンポーネントの交響曲:ザマネットワークの動作方法
ザマプロトコルは、単一の巨大なアプリケーションではなく、専門分野ごとの部品が協調して働く、慎重に設計されたネットワークです。このアーキテクチャを理解することは、その革新性を評価する鍵となります。では、1つの機密取引の流れをたどってみましょう。たとえば、暗号化されたトークンをプライバシーを保ちながら転送する場合を考えてみます。
1. 出発点:ホストチェーン(例:イーサリアム)
トランザクションはホストチェーンから開始されます。ホストチェーンとはイーサリアムやソラナなどの既存のパブリックブロックチェーンです。ここに機密スマートコントラクト(例:プライベートステーブルコイン)が展開されます。暗号化された入力(送金額)を含むトランザクションを送信し、その暗号化が有効であることを証明するZK証明を添付します。
2. ディスパッチャー: FHEVM エグゼキューター コントラクト
トランザクションが機密契約の関数を呼び出すと、ZamaのFHEVMライブラリとやり取りを行います。このライブラリにはeuint64(暗号化された符号なし整数)のような特殊な型が含まれています。契約ロジックがこの暗号化データに対して計算を必要とする場合(たとえば、あなたの残高が十分かどうかを確認する場合)、ホストチェーン自体はこの重いFHEの数学計算を行いません。
代わりに、ホストチェーン上の専用のエグゼキューター契約がディスパッチャーとして機能します。これは、本質的に次のことを示すイベントを記録します:
「契約Xでは、これらの暗号化された入力を使ってFHE比較操作を行う必要があります。」
このデザインは、FHEによる膨大な計算負荷をメインチェーンから外すため、すべてのその他の非機密トランザクションにおいてパフォーマンスと低コストを維持できることから、素晴らしいものです。
3. 計算パワーハウス:FHE コプロセッサ
ここが魔法が起こる場所です。FHEコプロセッサーノードのネットワークは、これらのイベントを常に監視しています。これらは高性能サーバーで、Zamaの最適化されたFHE計算を効率的に実行するように装備されています。
-
コプロセッサはイベントから暗号化されたデータを取得する。
-
これは、要求されたFHE操作(比較、その後、残高のための減算および加算)を直接暗号文上で実行します。
-
チェーンに結果の暗号化出力(例:新しい暗号化残高)を投稿し直します。
複数のコプロセッサが冗長性とセキュリティのために並列で実行され、その作業は公開的に検証可能です。誰でも計算を再実行して、それが正しく行われたことを確認できます。
4. 中枢神経系:ゲートウェイ
この全体のプロセスを調整するのがゲートウェイであり、これは専用の高スループットなArbitrumロールアップ上で動作しています。プロトコルのミッションコントロールおよび台帳と考えてください。その重要な役割には以下が含まれます。
-
オーケストレーション: コプロセッサへのタスクの割り当てとその結果の集約。
-
アクセス制御リスト(ACL)マネージャー: 誰が何を復号できるかのマスターレコードを維持する。スマートコントラクトが実行されるとき
FHE.allow(newBalance, recipientAddress)この権限はゲートウェイの ACL に永続的に記録されます。 -
サービスハブ: これは、ユーザーが主要なプロトコルサービスをリクエストするための唯一のインターフェースです。ZK証明の検証、復号のリクエスト、または異なるホストチェーン間での暗号化資産のブリッジングが可能です。
5. キーのフォートノックス:キーマネジメントサービス(KMS)
ザマネットワーク内のすべてのデータは、単一で強力な公開鍵によって暗号化されています。対応する秘密鍵による復号化には極めて高いセキュリティで保護されなければなりませんが、権限が与えられた場合には使用可能でなければなりません。これがKMSの役割です。
-
秘密鍵は、頑健なマルチパーティ計算(MPC)プロトコルを使用してシャーディングされます。
-
これらのフラグメントは、13人の独立した信頼性の高いノードオペレーターに分散されています。どのオペレーターも、あるいは少数のグループも、完全な鍵にアクセスすることは決してありません。
-
あなたが正当な受信者として、新しい残高を復号するようリクエストすると、ゲートウェイは自身のACLをチェックします。認可されている場合、リクエストをKMS委員会に転送します。
-
KMSノードは、セキュアなAWSニトロエンクレーブ内でしきい値復号を共同で行います。十分な多数(たとえば13中9)が協力しない限り、最終的な復号済み平文は生成されません。その後、その平文はセキュアにあなたに戻されます。
このアーキテクチャは、機密性(データは常に暗号化される)、分散性(制御の単一ポイントがない)、公開検証性(すべてのステップが確認可能)を保証します。















