ビットコインは、ほぼ14年前に立ち上げられ、中間業者を排除することで金融取引を革新しました。イーサリアムとスマートコントラクトの登場により、取引、貸出、オプションなどの複雑な金融商品から中間業者を排除するトレンドがさらに加速しました。ただし、中間業者を排除するコストとして、プライバシーを犠牲にすることがしばしばありました。私たちのオンチェーンのアイデンティティと取引は、集中型取引所、オン/オフランプ、オンチェーンアナリティクス企業、その他多くのエンティティによって簡単に追跡されます。このオンチェーンの透明性により、企業支払い、専用オンチェーントレーディングなどの多くのユースケースにおけるWeb 3の拡大が制限されています。
この問題は新しいものではなく、多くのプロジェクト(例:zCash)が2016年以来、Zero-Knowledge Proofs(ZKPs)などの技術を導入して解決しようと試みてきました。その後、ZKテクノロジーは狂気的な速度で進化しています。さらに、Fully Homomorphic Encryption(FHE)や安全なMulti-party Computations(MPC)などの他の多くの技術が登場して、チェーン上でのプライベートデータの使用に関するより高度なシナリオに対処しています。
アライアンスでは、オンチェーンのプライバシーが以前は不可能だったユースケースを可能にし、したがって、次の数年間のWeb 3の中心テーマとなると信じています。プライバシーインフラストラクチャやプライベートステートを必要とするアプリケーションを構築している創業者であれば、あなたをサポートしたいと考えています。リーチアウトおよび適用する同盟.
オンチェーンでのプライベートデータの使用は、このデータが暗号化されていることを意味します。そのデータのプライバシーは、暗号化/復号化キーの所有権に依存します。このキー、つまりプライバシーキーは、通常のプライベートキー(取引に署名するためのキー)とは異なることがよくあります。前者はデータのプライバシーを制御し、後者はこのデータを変更することを制御します。
プライバシーキーの所有権の性質は、異なる種類のプライベートステートにつながります。プライベートステートの種類は、このステートをチェーン上でどのように表現し、このステートを処理する最良の方法に大きく影響します。一般的に、プライベートステートは、個人プライベートステート(PPS)と共有プライベートステート(SPS)に分けることができます。
これは、データ/状態が単一のエンティティによって所有され、このエンティティだけがそれを表示または変更できることを意味します。このエンティティは、他の人々がデータを表示することを許可することも決定できます。例としては、このプライベートな状態の一部またはすべてに閲覧キーを共有することなどが挙げられます。
複数の人がプライバシーを壊さずに計算に使用/変更できるプライベートデータである共有プライベートステート(SPS)です。 SPSは誰でもアクセス可能な状態であり、したがって任意のユーザーによって変更できます。これはダークプールAMMの状態、プライベート貸出プールの状態などである可能性があります。 SPSは、アクティブなプレイヤーのみに状態を変更させるオンチェーンマルチプレイヤーの状態など、少数の参加者に制限される場合もあります。また、モデルオペレーターなどのごく少数のエンティティがプライベートデータ上で計算を実行できるオンチェーンAIモデルへのプライベート入力も含まれる場合があります。
SPSは個人のプライベートステートよりも管理が難しいです。SPSで実行できる計算の種類や、その計算が情報漏洩の可能性があるかどうかを理解することは常に困難です。たとえば、ダークプールAMMに対して取引を実行すると、プール内の流動性に関する情報が漏洩する可能性があります。
オンチェーンのプライベートステートを処理するためのさまざまなアプローチがあります。各アプローチは特定のプライベートステートのタイプに適しており、特定のアプリケーションセットに適しています。多くの場合、有用なアプリケーションを作成するには、これらのアプローチを組み合わせる必要があります。
オンチェーンプライバシーを処理するために現れた最初のアプローチは、ZKP を利用するものでした。このアプローチは、個人のプライベートデータに特に適しています。このアプローチでは、データの所有者は単純にデータをローカルでプライバシーキーを使用して復号し、必要な変更を行い、その結果をキーを使用して暗号化し、最後に ZKP を生成して、プライベートステートへの変更が有効であることをネットワークに証明します。
これにより、ZKは特に支払いネットワーク、例えばzCash、Iron Fishなどに適しています。これらのアーキテクチャでは、ユーザーがプライベートアセットを使用して取引を行うとき、すべての計算をローカルで行い、つまり、UTXOを消費し、受信者のために新しいUTXOを作成し、プライベートトークンの残高を修正します。計算とZKP生成はユーザーのデバイスでローカルに行われるため、残高と取引履歴のプライバシーが保護されます。ネットワークのマイナーは生成されたZKPと新しい暗号化されたUTXOのみを見ることができます。
支払いを実行するために必要な計算の単純さにもかかわらず、プライベート支払いのUXは、長いZKP生成時間のために困難でした。しかし、zk証明システムの大幅な改善により、単純な支払いのための証明生成時間が、消費者向けハードウェアでは1秒未満に短縮されました。これにより、zkベースのシステムに一般的なプログラム可能性を導入することも可能になりました。アステカ そして Aleozkベースのチェーンに一般的なプログラム性をもたらしている2つの優れたネットワークがあります。AztecとAleoはいくつかの違いがありますが、どちらも主にZEXEモデルこのモデルでは、各アプリケーションはzk-回路として実装する必要があります。これにより、ネットワークはアプリケーション開発者やユーザーのためにzkの複雑さを抽象化する必要が生じました。これには、ハイレベルのプログラミング言語(例:Noir(Aztec)およびLeo(Aleo)など)の作成が必要であり、これらは効率的に高レベルのコードをzk回路に変換できます。
例えば、AztecはNoirを使用し、それに関連するスマートコントラクト開発フレームワークを使用しています。Aztec.nr、すべてのスマートコントラクトを関数のセットに分割します。各機能はzk回路として実装されています。ユーザーは必要な機能をダウンロードし、デバイスでローカルにコンピューティングを実行することで、プライベートデータで一般的なコンピューティングを行うことができます。Aztecのスマートコントラクトの実行の詳細については、こちらで議論されていますスレッド.
Aztecのような実装は、一般的なプログラム可能性を導入することでzkシステムの利便性を大幅に向上させました。しかし、このようなシステムにはまだいくつかの課題があります:
zkの強力なプライバシー保証は、多くのユースケースに適しています
匿名ソーシャルメディア
一部の有名人は、社会からの反発やキャンセルを恐れて、自分の真の思いや経験を共有できません。これが、参加者が自分自身について特定の特性をプライベートに証明し、たとえば、チェーン上の富や特定のNFTの所有権を利用して、実際のアイデンティティを明かさずに匿名で投稿できる新しいタイプのソーシャルメディアを奨励しています。例には、クジラの歌同僚による試作品David,
オンチェーンの秘密資格情報
関連する例として、特定の資格を持つ人々が匿名でDAOに参加したり、特定の専門知識を必要とするトピックに匿名で投票したりすることができるようにすることが挙げられます。そのWeb 3の例は、HeyAnoun. より広いアプリケーションドメインは、例えば、実際の富、学位などの実際の資格を活用して、匿名でオンチェーンプロトコルに参加することです。チェーン上のプライベートな実際の資格をオンボーディングすることで、担保のないDeFi貸出、オンチェーンKYC、または地理的なゲートを含む複数のユースケースが可能になります。 ZKは、これらのユースケースに適しています。なぜなら、特定の状況で使用できるプライベートステートの一部に対する専用の表示キーの存在を許可するからです。たとえば、ローンのデフォルト。
オンチェーン上でのIRL資格証明書の主な課題は、IRL資格証明書/データの正当性を保証する方法です。そのようなアプローチのいくつかは、zkEmail と TLSNotary特定のウェブドメインへのウェブトラフィックの認証を通じて、この問題に対処し、ドメインに必要なデータが含まれていることを確認します。
エンタープライズ請求/支払い
プライベート支払いの重要なサブセットは企業支払いです。企業はしばしばビジネスパートナー/サプライヤーまたは契約条件を公開したくありません。オンチェーン支払いの透明性は、ステーブルコイン支払いの企業採用を制限しています。適切なオンチェーンプライバシーがあれば、企業のオンチェーン支払いの採用既存の銀行の支払いシステムと比較して、効率とコスト効率が向上したことに基づいて加速できます。
完全同型暗号化は、計算を暗号化されたデータ上で行い、計算中にデータを復号化することなく正しい暗号化された結果を生成することを可能にします。これにより、FHEは共有プライベート状態を処理するのに特に適しています。FHEを使用すると、プライベートなAMMプールやプライベートな投票箱など、プライベート状態を持つオンチェーンアプリケーションを作成できます。プライベート状態は暗号化された形式でオンチェーン上に存在し、どのユーザーでもこのデータ上で計算を行うことができます。オンチェーンにFHEを組み込むことで、これまで不可能だったプライベートな投票や情報不完全なゲーム(例:ポーカー)など、多くのユースケースを可能にし、簡素化することができます。
FHEの重要な利点の1つは、さまざまな側面での合成性の向上です。
もう一つの利点は、ユーザーエクスペリエンスの向上です。FHEでは、プライベートステートに関する計算をネットワークの検証者が行い、これらの計算をより速く行うために専用ハードウェアを展開することができます。
FHEの3番目の利点は、開発者の体験が向上することです。開発者は依然としてプライベートな状態を適切に扱うためにメンタルモデルを更新する必要がありますが、この壁はzkシステムよりも低くなっています。まず、FHEシステムは、スマートコントラクトチェーンが使用するのと同じアカウントモデルで動作することができます。さらに、FHE操作は既存のVM実装の上に追加することができ、ユーザーは同じ開発フレームワーク、ツール、ウォレット、およびインフラを使用することができます。これは、fhEVM実装からZamaそれは単に暗号化された変数とFHE操作をプリコンパイルとして追加しただけです。直感に反することに、この利点はオンチェーンのプライベートアプリケーションの成長にとって重要です。開発者が興味を引く興味深いアプリケーションを作成する鍵です。シームレスな開発者体験は、より多くの開発者をFHEスペースに引き付けることができます。
プライバシー信頼前提
FHEチェーンでは、すべてのプライベートステートに対してグローバルな暗号化/復号化キーが必要です。これは合成可能性を達成するために重要です。通常、これらのキーはバリデーターグループによって管理され、プライベートステート上のFHE操作の結果を復号化できるようになっています。つまり、バリデーターグループも信頼できる既存のプライベートステートのプライバシーを侵害しないようにすること。
潜在的なプライバシーリーク
暗号化されたデータ上で複数の計算を実行すると、プライバシーが侵害される可能性があります。たとえば、ダークAMMプールで実行された取引は、プールの現在の流動性構造についていくつかの情報を明らかにする可能性があります。
FHE計算の計算量の複雑さ
高度な実装を行っても、FHE演算は通常の演算よりも1000倍から1,000,000倍も計算コストがかかります。この複雑さにより、オンチェーンのFHEアプリケーションの可能なスループットが制限されます。Inco Networkの現在の推定では、FHE演算のスループットが1〜5 TPSの間になるとされています。GPUやFPGAのアクセラレーションを活用することで、このスループットを10〜50倍に加速させることが可能です。
ソース: https://eprint.iacr.org/2021/1402.pdf
FHEシステムは、高度な合成能力が必要なアプリケーションに特に適しています
情報不完全なゲーム。ここでの例には、トランプゲーム(例:ポーカー)が含まれます。トランプデッキの状態がアクセス可能で、複数のプレイヤーによって変更可能です。
秘密投票、FHEは、以前の投票結果を知らずに投票数を変更できる場合に、秘密投票の実装を簡略化します
プライベートAMM、一般的にはプールの状態を暗号化変数として表現することで、プライベートAMMやプライベートDeFiプールの実装が簡素化されています。
マルチパーティー・コンピューティング(MPC)は、資産保管の特定のユースケースで暗号業界で知られており、人気があります。この分野のいくつかの大手企業、例えば、ファイアブロックhave built successful businesses around using secure MPC for concurrency custody. Further, many wallet-as-a-service providers, e.g, Coinbase, 0xPass、MPCを利用してウォレットのセキュリティとUXを改善します。
ただし、MPCは秘密鍵を保護するためだけでなく、一般的には、秘密の入力(つまりデータ)を処理し、その計算の出力のみを明らかにすることで、入力のプライバシーを侵害せずに問題を解決します。資産の保管の具体的な文脈では、秘密の入力は秘密鍵の断片です。これらの断片の所有者は、これらの秘密の入力に対して「計算」を行うために協力します。ここでの計算は、トランザクション署名を生成することです。ここでの多数当事者は、それぞれが秘密の入力(つまり、秘密鍵)にアクセスせずに署名を共同で生成および復号化します。
同様に、MPCはデータを公開せずにプライベートデータ上で任意の計算を可能にします。これにより、MPCはブロックチェーンのコンテキストでプライベートステートを扱うことができます。その一例が、プライベートデータセット上での分散型AIトレーニングです。異なるデータ所有者やコンピュートプロバイダーが協力して、プライベートデータセット上でMPCベースのAIトレーニングを実行し、モデルの重みを計算することができます。計算の出力である重みは、トレーニングフェーズ後にMPCグループによって復号化され、完成したAIモデルが作成されます。
多くのMPC実装は、つまり、正直な少数派、つまりzkシステムと同様のプライバシー保証を持つデータプライバシーを実現します。 MPCはFHEと似ていることもあり、SPS上での計算を行うことを可能にするため、合成性を許可することができます。 ただし、FHEと比較して、MPCにはいくつかの制限があります
ダークプールCLOBs
DeFiでのMPCの最初の実際の応用の1つは、Dark Pool CLOBsの実装です。このシステムでは、トレーダーは、注文ブックの状態を事前に知ることなく、リミット注文または成行注文を出すことができます。注文のマッチングは、MPCを介してプライベートデータ、つまり既存の注文ブックを通じて行われます。Renegade Financeは、そのようなシステムを構築している企業の1つです。
独自のAIモデルの分散推論
一部のアプリケーション、例えば、DeFi AIベースの戦略マネージャーやWeb 3 クレジットスコアリング、独自のモデルを使用して推論を実行するためにMPCを展開できます。このアーキテクチャでは、AIモデルの重みはプライベートです。重みは、各々がモデルの重みのサブセットのみを持つ複数のコンピュートノード間で安全に共有できます。ノードは、更新されたオンチェーンイベントでAI推論を実行し、決定を行い、DeFi戦略を実行するトランザクションを提出するために協力できます。
独自のデータを使用してオープンAIモデルをトレーニングする
ここでの一般的な例は、医療診断モデルをプライベートな健康記録を使用して訓練することです。この場合、モデルの作成者、企業、およびデータ所有者である患者は、プライベートデータ上でトレーニングプロセスを実行するためにMPCを使用して協力することができますが、プライベートデータのプライバシーを侵害することなく。などのネットワークBittensorそしてNillionそのようなユースケースを可能にすることができます。
疑似許可なし共有プライベート状態
慎重な設計により、MPCは疑似許可なしSPSを処理するために使用できます。たとえば、暗いAMMプールの状態とこの状態上の計算は、複数のエンティティ間のMPCとして構築できます。AMMとやり取りしたいユーザーは、計算を自分の代わりに行うために、MPCグループとトランザクションを共有する必要があります。このアプローチの利点は、各SPSが異なるプライバシーキーのセットを持つことができることです(FHEの場合のグローバルキーと比較して)。このアプローチのリスクは、MPCグループによる検閲の可能性です。しかし、慎重な経済設計により、このリスクを緩和することができます。
議論されているオンチェーンプライベートステートの対処方法は、一見競合しているように見えます。しかし、これらのネットワークを構築する異なるチームの財務的インセンティブを脇に置くと、zk、FHE、MPCは実際には補完的な技術です。
一方、zkシステムは、ユーザーのデバイスから「未暗号化」データが決して出ないため、より強力なプライバシー保護を提供します。さらに、このデータに対してオーナーの許可なしに計算を実行することは誰にも不可能です。この強力なプライバシー保護の代償として、合成性が弱くなります。
一方、FHEはより強力な合成性を容易にしますが、プライバシーは弱くなります。プライバシーのリスクは、グローバルFHE復号化キーを信頼することから生じます。そのリスクにもかかわらず、合成性が暗号の中核的な要素であるため、FHEはDeFiなどの多くの重要なユースケースでプライバシーを可能にすることができます。
MPC実装は、zkとFHEアプローチの間にユニークな中間地点を提供します。MPCは共有プライベートデータ上での計算を可能にします。したがって、MPCはZKPsよりもより多くの合成性を提供します。ただし、このプライベート状態上の計算は、少数の参加者に限定され、許可なしではありません(FHEとは異なります)。
ZKPs、MPC、およびFHEがそれぞれの適用ペースで異なることを考慮すると、実用的なアプリケーションではこれらのテクノロジーを組み合わせることがよくあります。たとえば、Renegade FinanceはMPCとZKPsを組み合わせて、参加者が隠された注文をカバーするための十分な資本を持っていることを保証するダークプールCLOBの構築を可能にしています。同様に、オンチェーンポーカーゲームのzkHoldemはZKPsとFHEを組み合わせています。
プライバシーに焦点を当てたネットワークが、これらの技術をベースにして開発者にアプリケーションをシームレスに構築するために必要なすべてのツールを提供するためにこれらの技術を組み合わせることを期待しています。たとえば、Aztecはネットワーク内である形式のMPCを組み合わせて共有プライベートステートを処理することができます。同様に、Inco Networkプライベートアドレスとプライベートトランザクション履歴を可能にするためにZKPを利用できます。
このプライバシー中心の未来のビジョンを持ちながら、アライアンスは、この未来を築く創業者をサポートすることを楽しみにしています。もしあなたがこの領域でビルドしているのであれば、リーチアウトおよび適用するアライアンス.
Поділіться
ビットコインは、ほぼ14年前に立ち上げられ、中間業者を排除することで金融取引を革新しました。イーサリアムとスマートコントラクトの登場により、取引、貸出、オプションなどの複雑な金融商品から中間業者を排除するトレンドがさらに加速しました。ただし、中間業者を排除するコストとして、プライバシーを犠牲にすることがしばしばありました。私たちのオンチェーンのアイデンティティと取引は、集中型取引所、オン/オフランプ、オンチェーンアナリティクス企業、その他多くのエンティティによって簡単に追跡されます。このオンチェーンの透明性により、企業支払い、専用オンチェーントレーディングなどの多くのユースケースにおけるWeb 3の拡大が制限されています。
この問題は新しいものではなく、多くのプロジェクト(例:zCash)が2016年以来、Zero-Knowledge Proofs(ZKPs)などの技術を導入して解決しようと試みてきました。その後、ZKテクノロジーは狂気的な速度で進化しています。さらに、Fully Homomorphic Encryption(FHE)や安全なMulti-party Computations(MPC)などの他の多くの技術が登場して、チェーン上でのプライベートデータの使用に関するより高度なシナリオに対処しています。
アライアンスでは、オンチェーンのプライバシーが以前は不可能だったユースケースを可能にし、したがって、次の数年間のWeb 3の中心テーマとなると信じています。プライバシーインフラストラクチャやプライベートステートを必要とするアプリケーションを構築している創業者であれば、あなたをサポートしたいと考えています。リーチアウトおよび適用する同盟.
オンチェーンでのプライベートデータの使用は、このデータが暗号化されていることを意味します。そのデータのプライバシーは、暗号化/復号化キーの所有権に依存します。このキー、つまりプライバシーキーは、通常のプライベートキー(取引に署名するためのキー)とは異なることがよくあります。前者はデータのプライバシーを制御し、後者はこのデータを変更することを制御します。
プライバシーキーの所有権の性質は、異なる種類のプライベートステートにつながります。プライベートステートの種類は、このステートをチェーン上でどのように表現し、このステートを処理する最良の方法に大きく影響します。一般的に、プライベートステートは、個人プライベートステート(PPS)と共有プライベートステート(SPS)に分けることができます。
これは、データ/状態が単一のエンティティによって所有され、このエンティティだけがそれを表示または変更できることを意味します。このエンティティは、他の人々がデータを表示することを許可することも決定できます。例としては、このプライベートな状態の一部またはすべてに閲覧キーを共有することなどが挙げられます。
複数の人がプライバシーを壊さずに計算に使用/変更できるプライベートデータである共有プライベートステート(SPS)です。 SPSは誰でもアクセス可能な状態であり、したがって任意のユーザーによって変更できます。これはダークプールAMMの状態、プライベート貸出プールの状態などである可能性があります。 SPSは、アクティブなプレイヤーのみに状態を変更させるオンチェーンマルチプレイヤーの状態など、少数の参加者に制限される場合もあります。また、モデルオペレーターなどのごく少数のエンティティがプライベートデータ上で計算を実行できるオンチェーンAIモデルへのプライベート入力も含まれる場合があります。
SPSは個人のプライベートステートよりも管理が難しいです。SPSで実行できる計算の種類や、その計算が情報漏洩の可能性があるかどうかを理解することは常に困難です。たとえば、ダークプールAMMに対して取引を実行すると、プール内の流動性に関する情報が漏洩する可能性があります。
オンチェーンのプライベートステートを処理するためのさまざまなアプローチがあります。各アプローチは特定のプライベートステートのタイプに適しており、特定のアプリケーションセットに適しています。多くの場合、有用なアプリケーションを作成するには、これらのアプローチを組み合わせる必要があります。
オンチェーンプライバシーを処理するために現れた最初のアプローチは、ZKP を利用するものでした。このアプローチは、個人のプライベートデータに特に適しています。このアプローチでは、データの所有者は単純にデータをローカルでプライバシーキーを使用して復号し、必要な変更を行い、その結果をキーを使用して暗号化し、最後に ZKP を生成して、プライベートステートへの変更が有効であることをネットワークに証明します。
これにより、ZKは特に支払いネットワーク、例えばzCash、Iron Fishなどに適しています。これらのアーキテクチャでは、ユーザーがプライベートアセットを使用して取引を行うとき、すべての計算をローカルで行い、つまり、UTXOを消費し、受信者のために新しいUTXOを作成し、プライベートトークンの残高を修正します。計算とZKP生成はユーザーのデバイスでローカルに行われるため、残高と取引履歴のプライバシーが保護されます。ネットワークのマイナーは生成されたZKPと新しい暗号化されたUTXOのみを見ることができます。
支払いを実行するために必要な計算の単純さにもかかわらず、プライベート支払いのUXは、長いZKP生成時間のために困難でした。しかし、zk証明システムの大幅な改善により、単純な支払いのための証明生成時間が、消費者向けハードウェアでは1秒未満に短縮されました。これにより、zkベースのシステムに一般的なプログラム可能性を導入することも可能になりました。アステカ そして Aleozkベースのチェーンに一般的なプログラム性をもたらしている2つの優れたネットワークがあります。AztecとAleoはいくつかの違いがありますが、どちらも主にZEXEモデルこのモデルでは、各アプリケーションはzk-回路として実装する必要があります。これにより、ネットワークはアプリケーション開発者やユーザーのためにzkの複雑さを抽象化する必要が生じました。これには、ハイレベルのプログラミング言語(例:Noir(Aztec)およびLeo(Aleo)など)の作成が必要であり、これらは効率的に高レベルのコードをzk回路に変換できます。
例えば、AztecはNoirを使用し、それに関連するスマートコントラクト開発フレームワークを使用しています。Aztec.nr、すべてのスマートコントラクトを関数のセットに分割します。各機能はzk回路として実装されています。ユーザーは必要な機能をダウンロードし、デバイスでローカルにコンピューティングを実行することで、プライベートデータで一般的なコンピューティングを行うことができます。Aztecのスマートコントラクトの実行の詳細については、こちらで議論されていますスレッド.
Aztecのような実装は、一般的なプログラム可能性を導入することでzkシステムの利便性を大幅に向上させました。しかし、このようなシステムにはまだいくつかの課題があります:
zkの強力なプライバシー保証は、多くのユースケースに適しています
匿名ソーシャルメディア
一部の有名人は、社会からの反発やキャンセルを恐れて、自分の真の思いや経験を共有できません。これが、参加者が自分自身について特定の特性をプライベートに証明し、たとえば、チェーン上の富や特定のNFTの所有権を利用して、実際のアイデンティティを明かさずに匿名で投稿できる新しいタイプのソーシャルメディアを奨励しています。例には、クジラの歌同僚による試作品David,
オンチェーンの秘密資格情報
関連する例として、特定の資格を持つ人々が匿名でDAOに参加したり、特定の専門知識を必要とするトピックに匿名で投票したりすることができるようにすることが挙げられます。そのWeb 3の例は、HeyAnoun. より広いアプリケーションドメインは、例えば、実際の富、学位などの実際の資格を活用して、匿名でオンチェーンプロトコルに参加することです。チェーン上のプライベートな実際の資格をオンボーディングすることで、担保のないDeFi貸出、オンチェーンKYC、または地理的なゲートを含む複数のユースケースが可能になります。 ZKは、これらのユースケースに適しています。なぜなら、特定の状況で使用できるプライベートステートの一部に対する専用の表示キーの存在を許可するからです。たとえば、ローンのデフォルト。
オンチェーン上でのIRL資格証明書の主な課題は、IRL資格証明書/データの正当性を保証する方法です。そのようなアプローチのいくつかは、zkEmail と TLSNotary特定のウェブドメインへのウェブトラフィックの認証を通じて、この問題に対処し、ドメインに必要なデータが含まれていることを確認します。
エンタープライズ請求/支払い
プライベート支払いの重要なサブセットは企業支払いです。企業はしばしばビジネスパートナー/サプライヤーまたは契約条件を公開したくありません。オンチェーン支払いの透明性は、ステーブルコイン支払いの企業採用を制限しています。適切なオンチェーンプライバシーがあれば、企業のオンチェーン支払いの採用既存の銀行の支払いシステムと比較して、効率とコスト効率が向上したことに基づいて加速できます。
完全同型暗号化は、計算を暗号化されたデータ上で行い、計算中にデータを復号化することなく正しい暗号化された結果を生成することを可能にします。これにより、FHEは共有プライベート状態を処理するのに特に適しています。FHEを使用すると、プライベートなAMMプールやプライベートな投票箱など、プライベート状態を持つオンチェーンアプリケーションを作成できます。プライベート状態は暗号化された形式でオンチェーン上に存在し、どのユーザーでもこのデータ上で計算を行うことができます。オンチェーンにFHEを組み込むことで、これまで不可能だったプライベートな投票や情報不完全なゲーム(例:ポーカー)など、多くのユースケースを可能にし、簡素化することができます。
FHEの重要な利点の1つは、さまざまな側面での合成性の向上です。
もう一つの利点は、ユーザーエクスペリエンスの向上です。FHEでは、プライベートステートに関する計算をネットワークの検証者が行い、これらの計算をより速く行うために専用ハードウェアを展開することができます。
FHEの3番目の利点は、開発者の体験が向上することです。開発者は依然としてプライベートな状態を適切に扱うためにメンタルモデルを更新する必要がありますが、この壁はzkシステムよりも低くなっています。まず、FHEシステムは、スマートコントラクトチェーンが使用するのと同じアカウントモデルで動作することができます。さらに、FHE操作は既存のVM実装の上に追加することができ、ユーザーは同じ開発フレームワーク、ツール、ウォレット、およびインフラを使用することができます。これは、fhEVM実装からZamaそれは単に暗号化された変数とFHE操作をプリコンパイルとして追加しただけです。直感に反することに、この利点はオンチェーンのプライベートアプリケーションの成長にとって重要です。開発者が興味を引く興味深いアプリケーションを作成する鍵です。シームレスな開発者体験は、より多くの開発者をFHEスペースに引き付けることができます。
プライバシー信頼前提
FHEチェーンでは、すべてのプライベートステートに対してグローバルな暗号化/復号化キーが必要です。これは合成可能性を達成するために重要です。通常、これらのキーはバリデーターグループによって管理され、プライベートステート上のFHE操作の結果を復号化できるようになっています。つまり、バリデーターグループも信頼できる既存のプライベートステートのプライバシーを侵害しないようにすること。
潜在的なプライバシーリーク
暗号化されたデータ上で複数の計算を実行すると、プライバシーが侵害される可能性があります。たとえば、ダークAMMプールで実行された取引は、プールの現在の流動性構造についていくつかの情報を明らかにする可能性があります。
FHE計算の計算量の複雑さ
高度な実装を行っても、FHE演算は通常の演算よりも1000倍から1,000,000倍も計算コストがかかります。この複雑さにより、オンチェーンのFHEアプリケーションの可能なスループットが制限されます。Inco Networkの現在の推定では、FHE演算のスループットが1〜5 TPSの間になるとされています。GPUやFPGAのアクセラレーションを活用することで、このスループットを10〜50倍に加速させることが可能です。
ソース: https://eprint.iacr.org/2021/1402.pdf
FHEシステムは、高度な合成能力が必要なアプリケーションに特に適しています
情報不完全なゲーム。ここでの例には、トランプゲーム(例:ポーカー)が含まれます。トランプデッキの状態がアクセス可能で、複数のプレイヤーによって変更可能です。
秘密投票、FHEは、以前の投票結果を知らずに投票数を変更できる場合に、秘密投票の実装を簡略化します
プライベートAMM、一般的にはプールの状態を暗号化変数として表現することで、プライベートAMMやプライベートDeFiプールの実装が簡素化されています。
マルチパーティー・コンピューティング(MPC)は、資産保管の特定のユースケースで暗号業界で知られており、人気があります。この分野のいくつかの大手企業、例えば、ファイアブロックhave built successful businesses around using secure MPC for concurrency custody. Further, many wallet-as-a-service providers, e.g, Coinbase, 0xPass、MPCを利用してウォレットのセキュリティとUXを改善します。
ただし、MPCは秘密鍵を保護するためだけでなく、一般的には、秘密の入力(つまりデータ)を処理し、その計算の出力のみを明らかにすることで、入力のプライバシーを侵害せずに問題を解決します。資産の保管の具体的な文脈では、秘密の入力は秘密鍵の断片です。これらの断片の所有者は、これらの秘密の入力に対して「計算」を行うために協力します。ここでの計算は、トランザクション署名を生成することです。ここでの多数当事者は、それぞれが秘密の入力(つまり、秘密鍵)にアクセスせずに署名を共同で生成および復号化します。
同様に、MPCはデータを公開せずにプライベートデータ上で任意の計算を可能にします。これにより、MPCはブロックチェーンのコンテキストでプライベートステートを扱うことができます。その一例が、プライベートデータセット上での分散型AIトレーニングです。異なるデータ所有者やコンピュートプロバイダーが協力して、プライベートデータセット上でMPCベースのAIトレーニングを実行し、モデルの重みを計算することができます。計算の出力である重みは、トレーニングフェーズ後にMPCグループによって復号化され、完成したAIモデルが作成されます。
多くのMPC実装は、つまり、正直な少数派、つまりzkシステムと同様のプライバシー保証を持つデータプライバシーを実現します。 MPCはFHEと似ていることもあり、SPS上での計算を行うことを可能にするため、合成性を許可することができます。 ただし、FHEと比較して、MPCにはいくつかの制限があります
ダークプールCLOBs
DeFiでのMPCの最初の実際の応用の1つは、Dark Pool CLOBsの実装です。このシステムでは、トレーダーは、注文ブックの状態を事前に知ることなく、リミット注文または成行注文を出すことができます。注文のマッチングは、MPCを介してプライベートデータ、つまり既存の注文ブックを通じて行われます。Renegade Financeは、そのようなシステムを構築している企業の1つです。
独自のAIモデルの分散推論
一部のアプリケーション、例えば、DeFi AIベースの戦略マネージャーやWeb 3 クレジットスコアリング、独自のモデルを使用して推論を実行するためにMPCを展開できます。このアーキテクチャでは、AIモデルの重みはプライベートです。重みは、各々がモデルの重みのサブセットのみを持つ複数のコンピュートノード間で安全に共有できます。ノードは、更新されたオンチェーンイベントでAI推論を実行し、決定を行い、DeFi戦略を実行するトランザクションを提出するために協力できます。
独自のデータを使用してオープンAIモデルをトレーニングする
ここでの一般的な例は、医療診断モデルをプライベートな健康記録を使用して訓練することです。この場合、モデルの作成者、企業、およびデータ所有者である患者は、プライベートデータ上でトレーニングプロセスを実行するためにMPCを使用して協力することができますが、プライベートデータのプライバシーを侵害することなく。などのネットワークBittensorそしてNillionそのようなユースケースを可能にすることができます。
疑似許可なし共有プライベート状態
慎重な設計により、MPCは疑似許可なしSPSを処理するために使用できます。たとえば、暗いAMMプールの状態とこの状態上の計算は、複数のエンティティ間のMPCとして構築できます。AMMとやり取りしたいユーザーは、計算を自分の代わりに行うために、MPCグループとトランザクションを共有する必要があります。このアプローチの利点は、各SPSが異なるプライバシーキーのセットを持つことができることです(FHEの場合のグローバルキーと比較して)。このアプローチのリスクは、MPCグループによる検閲の可能性です。しかし、慎重な経済設計により、このリスクを緩和することができます。
議論されているオンチェーンプライベートステートの対処方法は、一見競合しているように見えます。しかし、これらのネットワークを構築する異なるチームの財務的インセンティブを脇に置くと、zk、FHE、MPCは実際には補完的な技術です。
一方、zkシステムは、ユーザーのデバイスから「未暗号化」データが決して出ないため、より強力なプライバシー保護を提供します。さらに、このデータに対してオーナーの許可なしに計算を実行することは誰にも不可能です。この強力なプライバシー保護の代償として、合成性が弱くなります。
一方、FHEはより強力な合成性を容易にしますが、プライバシーは弱くなります。プライバシーのリスクは、グローバルFHE復号化キーを信頼することから生じます。そのリスクにもかかわらず、合成性が暗号の中核的な要素であるため、FHEはDeFiなどの多くの重要なユースケースでプライバシーを可能にすることができます。
MPC実装は、zkとFHEアプローチの間にユニークな中間地点を提供します。MPCは共有プライベートデータ上での計算を可能にします。したがって、MPCはZKPsよりもより多くの合成性を提供します。ただし、このプライベート状態上の計算は、少数の参加者に限定され、許可なしではありません(FHEとは異なります)。
ZKPs、MPC、およびFHEがそれぞれの適用ペースで異なることを考慮すると、実用的なアプリケーションではこれらのテクノロジーを組み合わせることがよくあります。たとえば、Renegade FinanceはMPCとZKPsを組み合わせて、参加者が隠された注文をカバーするための十分な資本を持っていることを保証するダークプールCLOBの構築を可能にしています。同様に、オンチェーンポーカーゲームのzkHoldemはZKPsとFHEを組み合わせています。
プライバシーに焦点を当てたネットワークが、これらの技術をベースにして開発者にアプリケーションをシームレスに構築するために必要なすべてのツールを提供するためにこれらの技術を組み合わせることを期待しています。たとえば、Aztecはネットワーク内である形式のMPCを組み合わせて共有プライベートステートを処理することができます。同様に、Inco Networkプライベートアドレスとプライベートトランザクション履歴を可能にするためにZKPを利用できます。
このプライバシー中心の未来のビジョンを持ちながら、アライアンスは、この未来を築く創業者をサポートすることを楽しみにしています。もしあなたがこの領域でビルドしているのであれば、リーチアウトおよび適用するアライアンス.