在 AO 超並行計算機上啟用 PADO 可驗證機密計算
PADO 和 AO 將聯合起來引領和實現可驗證機密計算，通過 zkFHE 技術徹底改變區塊鏈應用的機密性和完整性。PADO 和 AO 聯合發起可驗證的機密計算（VCC），通過zkFHE技術徹底改變了區塊鏈的保密性和完整性。 zkFHE將完全同態加密（FHE）與零知識（ZK）證明結合在一起，確保隱私、計算完整性和通用計算。與 AO 和 Arweave 網絡無縫集成，PADO 的 zkFHE 網絡將確保 AO 生態系統的效率、可擴展性和全面的隱私保護。
PADO 和 AO 將聯合起來引領和實現可驗證機密計算（Verifiable Confidential Computation），通過zkFHE技術徹底改變區塊鏈應用的機密性和完整性。我們很高興 PADO的可驗證的機密計算將建立在超並行計算機AO的基礎上，並予以展示zkFHE 技術驅動的機密計算的潛力。
什麼是 zkFHE?
全同態加密 (FHE) 算法允許對加密後的數據進行任意類型的計算，因此非常適用於自身缺乏算力，同時希望對隱私數據加密後由第三方算力（如雲服務）進行計算的場景，通常這一類場景被稱為外包計算。但是單純的 FHE 算法，無法保障第三方算力執行的密文運算（基於同態操作）是可以信賴的，換言之，沒有人能區分一個誠實的模型推理結果和一個隨機結果的差別。
因此，如何保障 FHE 外包計算的完整性，防範惡意計算節點，是制約FHE算法大規模應用的一個核心挑戰。
零知識證明 (ZK) 算法（這裡特指 zk-snarks ）主要用於擴容（如 zk-rollup ）和隱私。一個有趣的事實是，ZK 算法在外包計算場景下無法實現隱私白虎，這源於 ZK 系統的自身安全特性 ------proof of knowledge，意味著產生正確的ZK證明的前提必須是證明者獲得相關的秘密信息（稱之為"witness"）。因此，第三方算力需要獲悉用戶完整的隱私數據，才能完成ZK證明計算。
zkFHE 是基於 FHE 算法，對計算過程同步執行 ZK 證明，從而保證計算過程的完整性和可靠性，同時也無需擔心隱私數據泄露。zkFHE 是一種新穎的密碼學技術，其有機地結合了 ZKP和 FHE 兩大前沿密碼學原語，同時利用兩者的優勢進行互補，從而可以提供真正的可驗證外包計算。
小結一下，面向個人數據的計算層面，zkFHE 的核心優勢在於，同時具備：
隱私友好
計算可驗證性
支持通用計算
因此我們認為 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 有別於分佈式計算系統的一些核心特點包括並行處理、無界計算、對Arweave的讀/寫、自治過程和模塊化架構。
欲了解更多信息，請訪問 https://ao.arweave.dev
關於PADO
PADO 致力於構建全球首個 zkFHE 去中心化計算網絡，通過密碼學釋放數據和計算價值。
PADO 利用 MPC-TLS 和 IZK 技術驗證來自網絡數據源的私人數據，並擴展智能合約功能。對於個人數據的計算方面，PADO 通過與 zkFHE 等通用計算技術相結合，在海量數據上實現了可驗證的機密計算範式。
欲了解更多信息，請訪問 https://padolabs.org
