姚期智提出的"百萬富翁"難題被破解? 多方安全計算MPC到底是個什么鬼？_區塊鏈

編者按：本文來自區塊鏈大本營，作者：章磊，星球日報經授權發布。章磊，ARPA聯合創始人&首席科學家，美國喬治華盛頓大學金融工程碩士，擁有十年深度學習、AI算法和風險建模經驗，并對密碼學有深度鉆研。曾于硅谷最大的股權眾籌公司CircleUp擔任資深數據科學家；此前其就職于世界銀行、AIG、PineBridge等大型金融機構，精通人工智能和量化策略。同時章磊于2017年創立星塵數據，為AI行業提供數據賦能。ARPA是一家專注于安全加密計算和區塊鏈底層技術的研發的公司，其核心產品為基于安全多方計算的隱私計算平臺，并提供全套區塊鏈+安全計算解決方案。同時ARPA作為行業成員，參與起草了工信部中國信息通信研究院即將出臺的安全多方計算標準。在越來越多對數據隱私的擔憂聲中，政府開始行動制定數據使用合規法案。而另一方面，對數據的保護，卻產生了一個矛盾：大量的數據因為需要依法保護而無法被聯合在一起計算。反過來試想一下，如果全世界的基因數據能夠聯合在一起分析，人類或許可以更快找到癌癥的解藥。這讓我們大膽地去思考，是否存在一種保護數據安全而又能夠有效利用數據的方式？1980年代，姚期智院士提出了「百萬富翁」問題：兩個百萬富翁街頭邂逅，他們都想炫一下富，比比誰更有錢，但是出于隱私，都不想讓對方知道自己到底擁有多少財富，如何在不借助第三方的情況下，讓他們知道他們之間誰更有錢？在這個經典問題之下，誕生了「多方安全計算」(MultipartyComputation,MPC)這門密碼學分支。MPC技術能夠讓數據在不泄露的情況下聯合多方的數據進行聯合計算并得到明文計算結果，最終實現數據的所有權和數據使用權的分離。今天我們就來介紹一下MPC的出現背景和應用場景。在開始前，我們先來看看如今數據對于我們的意義。我們正生活在數據保護的時代

Cool Cats Group計劃于2023年和2024年發布三款Web3游戲:7月12日消息，基于Cool Cats品牌的Web3收藏品制造商Cool Cats Group表示已與三個游戲制造商nWay、iCandy和Sync Studios合作開發基于該品牌的新游戲，游戲預計將于2023年底和2024年初發布。三款游戲將分別為多人競技街機、跑酷和消除游戲。[2023/7/12 10:51:08]

個人隱私和數據隱私2018年5月25日正式生效的歐盟通用數據保護條例引起全球廣泛關注，這部被稱為「史上最嚴」的數據保護法案將對科技行業和個人生活產生深遠影響，因為它是人類歷史上第一個定義個人數據所有權的規則，它在法律上明確規定了個人數據是個人所有的數據資產。這項法律將保障人們對個人數據有更多的掌控權。舉例說明，社交網絡公司在使用你的數據前必須征得你的同意。此項法律對創Facebook等科技巨頭無疑影響很大，因為這些公司就指望著用戶數據賺錢。商業利益中的數據保護數據是現代商業與個人的核心價值與重要資產。數據正在重新塑造人類生活的方方面面，包括金融、廣告、零售、醫療、物流、能源和工業等。隨著人工智能時代的到來，數據在現代商業活動中也成為了最重要的競爭資源。巨頭公司利用數據壟斷的優勢建筑起了行業壁壘。例如，打車軟件公司擁有人們每天出行的數據，包括乘客的起點與終點，他們可以利用這些數據來優化自己的產品和業務，甚至是用這些數據來進行一些預測，比如一個房地產價格指數或者一個政府道路優化方案。數據的融合可提高其價值，數據的交叉使用可產生協同作用。但因為數據本身的可復制性和易傳播性，一經分享無法追蹤使用情況，數據資產的分享與協同開發受到嚴重制約。既然如此，那數據保護的價值又從何說起呢？被保護的數據如何產生價值?

美國向烏克蘭提供249億美元的納稅人資金:1月30日消息，Watcher.Guru發推特表示，自拜登政府成立以來，美國向烏克蘭提供了249億美元的納稅人資金。[2023/1/30 11:35:31]

雖然個人對隱私的保護、商業公司的數據保護，都是正當的利益訴求，但卻產生了一個個數據孤島。擁有數據源的中小型公司無法安全的將數據共享或變現。對于數據使用者，大數據公司、開發者和科學家僅能接觸到有限的數據集，并且費用高昂。與運營商等大數據源的合作需要開發人員現場部署模型于數據源的服務器上，模型算法存在泄露風險，且效率低下。一方面，數據需要得到保護和隔離；另一方面，數據對人類社會的價值在于聯合在一起的計算和分析。這是否是一個不可破解的矛盾？理想情況下，我們可以委托一個安全可信的第三方對數據進行計算。然而，現實中，要么數據太重要而沒有第三方，要么第三方會因為有了數據而擁有過多的權利，例如信用卡公司和電商公司，如果乙方能有對方的數據，會非常可怕。要解決這個問題，就回到了本文最初提到的「多方安全計算技術」。通過MPC，我們可以實現聯合多方的隱私數據，在沒有一個可信第三方的情況下，一起計算并得到分析的結果，而不擔心各自的數據被泄露。MPC是一套基于現代密碼學的協議組，這個工具組里面有很多組件組成。簡單的來說，這套工具組里面有零知識證明、概率加密、信息理論消息認證碼，各種分布式溝通協議和不經意的轉移，以及最重要的基礎技術：秘密共享和秘密分片計算是實現安全多方計算的基礎。特別是，在被動對手的情況下，Shamir的多項式秘密共享是多方計算的基石，而Chor、Goldwasser、Micali和Awerbuch的可驗證秘密共享在拜占庭對手問題中起著類似的作用。在過去35年中，MPC算法和工程設計得到了實質性的改進，并且已經達到性能上不需要考慮協議性能視為使用的主要障礙的程度。MPC社區采用了事實上的基準，即在兩個參與者之間執行AES加密，一個帶有加密消息，另一個帶有密鑰。AES包含各種算術和布爾運算符，因此非常適合直接在硬件和MPC中進行計算。在過去十年中，安全計算提高了4-5個數量級。出于比較目的和考慮摩爾定律的影響，下圖顯示了在相同時間段內本機AES計算的性能。通過MPC實現的性能提升接下來，我們再來通過一個例子，更清晰的理解MPC的實現原理。請看下圖：根據上圖所示，假設我們的目標是聯合計算所有各方秘密數據的總和，這可以通過秘密共享來實現。首先，每一方將其秘密號碼隨機分成三部分，并將其中兩部分別分享給其他部分。然后，每個方在本地對來自其他對等方及其自身的所有三個共享進為了公開最終結果，每個方的本地總和都會公開給同行。最后，任何一方都可以通過將所有三個公共本地總和相加來知道最終結果。秘密共享的關鍵點在于，通過了解秘密共享，一方不會獲知有關私有數據的信息。例如，在通過揭示秘密共享5的三方計算中，秘密數據可以是10、79、-11這樣的隨機數字。即使知道秘密共享，該方也可以猜測私人數據，而不是猜測隨機數。由于在整個過程中沒有顯示隱私數據，因此秘密共享計算可以保護隱私。對手方不能發現秘密信息。正式因為擁有這樣的特性，MPC在現實世界中受到越來越多的重視，也被更多領域所采用。比如以下3類場景。聯合征信MPC可賦能金融、保險企業對客戶的負債率等風險指標進行聯合分析。目前各家金融、保險、資產管理機構只掌握客戶部分數據，從而導致風險評估誤差。聯合分析不泄露各參與方數據，對客戶的風險有整體評估，在多頭借貸等場景下能有效降低違約風險。多維度健康分析MPC賦能醫療機構對病人在多家醫院的病歷和智能硬件生物數據進行分析，從而在病人、醫院和智能硬件廠商數據不泄露的情況下，對病人有更精準的診斷。同時，針對醫療機構的聯合數據分析可以讓藥品研究機構對某特定地區特定病種有更全面的了解。聯合精準營銷MPC賦能商戶對潛在客戶多維度信息進行分析，從而更精準的投放廣告。廣告投放機構可以從更多數據維度對客戶購買意向建模，且數據源不泄露個人隱私數據。MPC與現實世界以上是幾個例子過于簡單，現實世界的情況比這更復雜。例如，用于添加的MPC是容易的，因為可以在秘密共享上本地計算加法操作。但是，乘法更加困難，因為如果沒有其他工具幫助，它不能單獨在本地共享上計算。不過利用同態加密，有更復雜的MPC協議可以實現安全的乘法。好消息是任何函數都可以轉換為加法和乘法的組合，因此基于秘密共享的MPC能夠進行任何類型的通用計算，就像現代PC一樣。另一個例子是主動惡意節點。主動惡意被定義為節點將偏離協議，與被動惡意相反，其中節點試圖學習其他對等方秘密數據但始終遵循協議。在上述秘密共享示例中，雖然沒有節點可以學習其他私有數據，但是惡意節點可以發布錯誤的本地共享總和，從而使所有其他對等體學習錯誤的最終結果。有各種方法可以發現這種惡意行為，甚至可以防止這種行為的發生。最流行的一種稱為消息驗證代碼，其中每個操作都與一個數字相關聯，以驗證其正確性。一旦節點發出錯誤的消息，這個錯誤將很容易被其他節點驗證。而偽造一個能通過驗證的錯誤數據的難度將是極其困難，這個難度非常大以至于造假的成本大于數據的收益。MPC與其他實現技術的對比

幣安明日將對BNB信標鏈（BEP2）進行錢包維護:12月29日消息，幣安將于2022年12月30日07:30（UTC）對BNB信標鏈（BEP2）進行錢包維護，大約需要兩個小時。BNB信標鏈（BEP2）代幣交易在錢包維護期間不受影響。2022年12月30日07:25 (UTC)起暫停BNB Beacon Chain (BEP2)充提。[2022/12/29 22:14:20]

除了MPC之外，還有一些能夠實現類似功能的技術，包括同態加密、零知識證明、可信執行環境等。但這些技術與MPC相比，都有一定的不足，我們一個個的來看看。同態加密同態加密是一種加密形式，允許對密文進行計算，生成加密結果，加密后的結果與操作結果相匹配，就好像它們是在明文上執行一樣。使用這樣的工具，可以在不危及數據隱私的情況下外包存儲和/或計算。因為HE允許在保持加密的同時計算加密數據，所以它已被廣泛研究作為安全計算的候選者。然而，即使最前沿同態加密方案仍然不能提供計有效運算深度算術電路。首先，“bootstrapping”為已經非常繁重的過程增加了額外的成本。目前，HE的實際應用主要集中在評估函數的優化上，這通過限制電路倍增深度來避免昂貴的過程。此外，根據該方案和目標安全級別，使用HE方案將導致巨大的密文擴展。這是因為同態方案必須是概率性的，以確保語義安全性和特定的基礎數學結構。正如我們所看到的，SHE方案在HE變體中是最有希望的，它將在我們后面提到的安全計算程序中使用。零知識證明零知識證明是一種這樣的方法：一方可以向另一方證明她知道值x，而不傳達任何信息，除了她知道值x。最近很多的區塊鏈項目在嘗試利用ZKP作為可信的離線計算解決方案。在這些協議中，該運算模塊被編譯成電路并傳輸到第三方執行環境，在該環境中將使用該電路評估數據。不過，與FHE方案類似，ZKP無法證明在遠程環境中完成的實際工作量。除此之外，ZKP也無法保證計算是從惡意方的黑客手中獲得的。可信執行環境可信執行環境是一種在防分離內核上運行的防篡改處理環境。理想的TEE保證了執行代碼的真實性、運行時狀態、寄存器、內存和敏感I/O的完整性、以及存儲在持久內存中的代碼、數據和運行時狀態的機密性。此外，它應能夠提供遠程證明，證明其對第三方的可信賴性。硬件制造商渴望提出他們自己的可信硬件解決方案，但缺乏不同平臺的通用標準。最杰出的工藝單元設計人員已將其硬件安全模塊嵌入其產品中，ARMTrustZone，AMD安全加密虛擬化和NVIDIA可信小內核。然而，最近的一些黑客攻擊證明SGX還不能夠承載協議級別的數據安全保護。事實上，這種看似安全的協議并不安全。遠程鑒權不會阻止一個惡意云服務提供商首先忠實地響應遠程證明查詢，然后在enclave外部模仿遠程鑒定協議。換句話說，SGX不是為“通用組合”設計的協議，其中協議的真實行為和理想世界定義在計算上對于每個對手控制的環境都是無法區分的。簡單來說，使用TEE，可以信任硬件，但不能信任控制硬件的人。因此，SGX最好用于許可網絡，其中所有節點都經過預先批準，環境經過認證和信任。在對即同態加密、零知識證明和可信執行環境有了基本了解之后，我們可以得出這樣的結論：雖然某些技術具有計算效率等優勢，但它們無法提供無先驗網絡所需的安全性和功能。具體來說，一個好的技術解決方案，需要能夠驗證計算的安全性，正確性和隱私保護性：效率：計算的效率隱私保留：在這里指的是在不向任何節點透露細節的前提下，數據集上的函數計算能力。這是安全計算的核心。證明正確性：證明計算工作實際上是使用規定的函數。在無信任的網絡中，證明以正確的方式執行某個函數是非常重要的。安全性證明：證明計算實際上是在安全環境中進行的。那么從MPC與上述3中技術的對比中，我們可以得到如下結論：最后，MPC是一個龐大的密碼學領域，在密碼學和分布式系統中結合了許多概念和工具，它是一個不斷發展的活躍研究領域。

Arbitrum Nova 現已公開發布:金色財經消息，Arbitrum 開發團隊 Offchain Labs 表示，其基于 AnyTrust 技術的新鏈 Arbitrum Nova 現已上線并開放給所有用戶。Arbitrum One 一直將所有交易數據放在以太坊上，而 Nova 則利用了數據可用性委員會以實現成本節約，并且只有在委員會未能完成工作時才將數據放回鏈上，且 Nova 完全兼容 EVM。

此前報道，Offchain Labs 計劃于 8 月 31 日將 Arbitrum One 主網遷移至 Nitro。Reddit 也正在 Arbitrum Nova 上推出他們的社區積分系統。[2022/8/10 12:13:53]

區塊鏈安全公司 Forta 推出原生代幣 FORT:6月16日消息，區塊鏈安全公司 Forta 推出原生代幣 FORT，旨在增加安全研究人員監控區塊鏈網絡的動力。Forta 最初是區塊鏈網絡安全初創公司 OpenZeppelin 中的一個項目，但隨后與該公司剝離并正在探索 DAO 以變得更加去中心化。去年 9 月，Forta 從 Andreessen Horowitz、Coinbase Ventures、Blockchain Capital 等公司籌集了 2300 萬美元，許多主要的區塊鏈項目（如 Compound 、Polygon）已經在使用 Forta 來檢測 Ethereum、Avalanche 和各種側鏈上的活動。FORT 目前的總供應量為 10 億，FORT 的持有者將能夠使用該代幣對治理提案進行投票，團隊尚未公開分享代幣供應分配計劃。[2022/6/16 4:30:25]

Tags：MPCFORTORT區塊鏈gmpc幣上線交易所FORT幣forth幣值得投資嗎區塊鏈的未來發展前景視頻

BTC