AO超並列コンピュータでPADO検証可能な機密計算を有効にする

PADO と AO は、zkFHE 技術を通じてブロックチェーンの機密性と完全性を根本的に変革する、検証可能な機密計算（VCC）を共同で立ち上げました。zkFHE は完全同態暗号（FHE）とゼロ知識（ZK）証明を組み合わせ、プライバシー、計算の完全性、汎用計算を保証します。AO と Arweave ネットワークとシームレスに統合された PADO の zkFHE ネットワークは、AO エコシステムの効率性、スケーラビリティ、包括的なプライバシー保護を確保します。

PADO と AO は、zkFHE 技術を通じてブロックチェーンアプリケーションの機密性と完全性を根本的に変革するために、検証可能な機密計算（Verifiable Confidential Computation）を共同で推進します。PADO の検証可能な機密計算は、超並列コンピュータ AO の基盤の上に構築され、zkFHE 技術によって駆動される機密計算の可能性を示すことを嬉しく思います。

zkFHE とは？

完全同態暗号 (FHE) アルゴリズムは、暗号化されたデータに対して任意のタイプの計算を行うことを可能にするため、計算能力が不足しているが、プライバシーデータを暗号化した上で第三者の計算能力（クラウドサービスなど）によって計算を行いたいシナリオに非常に適しています。このようなシナリオは通常、アウトソーシング計算と呼ばれます。しかし、単純な FHE アルゴリズムでは、第三者の計算能力が実行する暗号文の計算（同態操作に基づく）が信頼できるものであることを保証できません。言い換えれば、誰も誠実なモデル推論結果とランダムな結果の違いを区別できません。

したがって、FHE アウトソーシング計算の完全性を保証し、悪意のある計算ノードから防御する方法は、FHE アルゴリズムの大規模な応用を制約する核心的な課題です。

ゼロ知識証明 (ZK) アルゴリズム（ここでは zk-snarks を指します）は、主にスケーラビリティ（例えば zk-rollup）とプライバシーに使用されます。興味深い事実は、ZK アルゴリズムはアウトソーシング計算シナリオではプライバシーを実現できないということです。これは、ZK システムの自身の安全特性 ------ 知識の証明が、正しい ZK 証明を生成するための前提条件として、証明者が関連する秘密情報（"witness" と呼ばれる）を取得する必要があることに起因します。したがって、第三者の計算能力は、ZK 証明計算を完了するためにユーザーの完全なプライバシーデータを知る必要があります。

zkFHE は FHE アルゴリズムに基づき、計算プロセスと同時に ZK 証明を実行することで、計算プロセスの完全性と信頼性を保証し、プライバシーデータの漏洩を心配する必要もありません。zkFHE は、ZKP と FHE という二つの最前線の暗号学的原理を有機的に結合し、両者の利点を補完し合う新しい暗号技術です。これにより、真に検証可能なアウトソーシング計算を提供できます。

要約すると、個人データの計算において、zkFHE の核心的な利点は次の三つです：

1. プライバシーに優しい

2. 計算の検証可能性

3. 汎用計算のサポート

したがって、私たちは zkFHE が Web3 時代の検証可能なデータ経済の基盤技術であると考えています。

AO 上での zkFHE の実現

zkFHE 技術に基づき、私たちは信頼不要の検証可能な機密計算市場を構築し、エンドユーザーに任意のタイプのデータ計算を提供し、ユーザーの機密情報の漏洩を心配する必要がありません。これらの優れたセキュリティ特性はすべて暗号学によって保証されています。次の問題は、この計算市場を真に分散化され、スケーラブルな方法で組み立てるために、どのようなインフラストラクチャと基盤コンポーネントが必要かということです。

PADO の答えは、AO 超並列コンピュータに基づいて構築することです。理論的には、AO はノードの水平スケーリングを通じてほぼ無限の計算能力を提供でき（実際の状況ではネットワークのインセンティブレベルに依存するべきですが）、より高い自由度を持っています。アーキテクチャの観点から、AO はデータ処理方法とメッセージの表現を規定し、三つのネットワークユニット（サブネット）を通じて情報のソート、スケジューリング、計算を行い、異なるユニットの機能を規定します。AO プロセスの状態データは Arweave ブロックチェーンに保存され、すでにコンセンサスによって確認されています。これにより、AO の分散化と検証可能性の良好な基盤が提供されます。AO 設計における計算とストレージのコンセンサスは分離されており、高レベルのスケーラブルな計算能力を実現できます。

PADO は AO に基づいて段階的に分散型計算ユニットを構築し、AO エコシステムに信頼不要の機密計算能力を提供します。同時に PADO は迅速なネットワークの立ち上げと水平スケーリングの可能性を実現しました。さらに重要なのは、PADO が Arweave ブロックチェーンをユーザーのプライバシーデータストレージ層として使用し、ユーザーは PADO の zkFHE 技術を通じて自分のデータを暗号化し、安全に Arweave ブロックチェーンに保存できることです。AO エコシステム内の任意の計算リクエストは、AO スケジューリングユニットを通じて PADO 専用の計算ユニットに送信され、計算ユニットは計算タスクを zkFHE 計算ノードに配信します。これらの計算ノードは Arweave 上でユーザーの暗号文データを読み取り、対応する完全同態計算と計算の完全性証明を完了します。

zkFHE の応用

zkFHE はあらゆるタイプの暗号文計算をサポートでき、現在のブロックチェーンアプリケーションのプライバシー制限の天井を打破し、より広範で豊かなシナリオを実現できます。zkFHE の典型的な応用には、支払い、投票、オークション、MEV、コンテンツ共有、プライバシー保護 AI など多くの分野が含まれます。

PADO と AO が共同で推進する計算の進化

zkFHE は画期的な最前線の暗号技術であり、単に zkSNARKs と FHE の二つのアルゴリズムを接続するだけではなく、基盤となる暗号プロトコルを再設計し最適化する必要があります。これにより、現在の先進的な FHE アルゴリズムと同等の効率で計算と証明の出力を実現します。

AO と Arweave の計算およびストレージアーキテクチャと有機的に結合することで、PADO はエンジニアリング上、zkFHE ネットワークを迅速に立ち上げ、計算、スケジューリング、ストレージを相対的に独立させ、計算能力を無限に拡張できます。一方で、AO エコシステムも PADO の zkFHE 技術を通じて高性能な機密計算と汎用プライバシー保護能力を得ることができます。

PADO は長期にわたり、個人データの主権に向けた暗号学的インフラストラクチャの構築に取り組んでいます。現在、個人データの主権は非常に初期の段階にあり、長い探索と検証の過程を経ることになりますが、Web3 プロジェクトが非金融分野のプロジェクトに進出するための鍵となるでしょう。私たちは AO 超並列コンピュータとの結合が、個人データの主権と検証可能なデータ経済の構築サイクルを大幅に加速すると信じています。

将来的には、すべてのユーザーがブロックチェーンと暗号学によって自分のデータ主権を保障できることを願っています。

AO について

AO は「超並列コンピュータ」であり、その核心的な目標は信頼不要で協力的な計算サービスを提供することです。実際の規模制限はありません。AO は、ブロックチェーンネットワークの信頼最小化の利点と、より伝統的な計算環境の速度とスケーラビリティを組み合わせています。

AO は分散型計算システムとは異なるいくつかの核心的な特徴を持ち、並列処理、無限計算、Arweave への読み書き、自律プロセス、モジュール化アーキテクチャを含みます。

詳細については、https://ao.arweave.dev をご覧ください。

PADO について

PADO は、世界初の zkFHE 分散型計算ネットワークの構築に取り組んでおり、暗号学を通じてデータと計算の価値を解放します。

PADO は MPC-TLS と IZK 技術を利用して、ネットワークデータソースからのプライベートデータを検証し、スマートコントラクト機能を拡張します。個人データの計算に関して、PADO は zkFHE などの汎用計算技術と組み合わせることで、大量データ上で検証可能な機密計算のパラダイムを実現しました。

詳細については、https://padolabs.org をご覧ください。