LAYER:零知識證明+智能合約，Origo認為隱私是區塊鏈商用的關鍵之一_區塊鏈專業怎么樣

區塊鏈擁有防篡改與去中心化的特征，在存證和電子證據有著一定應用場景。然而，由于性能和隱私等方面的限制，導致企業們無法接受在以太坊等區塊鏈上運行自身業務。比如，KYC、簽合同等場景，雖然需要防篡改和存證，但是用戶并不希望泄露自身信息。先假設一個金融行業中非常典型的KYC場景，理財或者保險等金融機構，在給客戶提供服務之前，往往需要了解用戶是否符合特定要求，用戶需要給金融機構提供大量的個人信息以證明自身“合格”。簽訂合同之后，有可能會發生糾紛，比如客戶出險，保險公司表示查證發現客戶此前提供的信息與現今不一致，保單失效；客戶卻表示當時提供的就是與現今一樣的情況。該場景存在兩個痛點：1、隱私。KYC往往是大量條款，機構無須知道用戶具體資料，只需要知道用戶是否合格即可。若有一個可信的第三方可以幫機構判斷并返回結果，用戶不須透露隱私。2、存證。雙方簽署合同之后，出現糾紛時雙方可能需要“自證清白”。為了防止任一方篡改合同，同樣需要有一個可信的第三方作為“公證人”，持有未被改動的合同。3.強制執行。除存證以外，可信的第三方還可以根據合同和條件，強制履行合約條款。目前的公有鏈能滿足第二個和第三個，卻無法滿足第一個。以太坊等公鏈上的智能合約在代碼、輸入和輸出完全公開透明，可是在大多數的商業場景，都無需要使用到這種程度的公開透明。顯然，區塊鏈想要真正落地，還需要其他技術手段解決隱私問題。Odaily星球日報最近接觸的智能合約平臺Origo希望構建一個支持隱私合約+零知識證明區塊鏈網絡，滿足以上場景。Origo的方案包括Layer1和Layer2。Layer1負責存證和驗證執行，Layer2負責執行計算。據創始團隊成員張逸嘉介紹，合同雙方需要把智能合約涉及到的信息的哈希值放到鏈上；輸入數據的哈希值存到鏈上后，根據場景主鏈或雙方會將加密數據發給鏈下執行者；執行者完成計算后將結果和在鏈下生成的零知識證明，提交給鏈上驗證，以證明自身正確執行了運算以及得到結果。其中哈希上鏈主要是為了后續常出現合同糾紛，防止數據輸入方篡改數據。零知識證明可以理解為“我不告訴泄露任何有效信息的情況下證明某件事”。張逸嘉解釋，零知識證明就例如在不告訴其他人密碼的時候，通過能夠打開門來證明知道密碼這件事情。理論上只要是多項式時間能夠驗證的問題，它就能證明。據公開資料，零知識證明在1985年被首次提出；2010年，Groth實現了首個基于橢圓曲線雙線性映射的通用式零知識證明協議；2013年，一個叫做Pinocchio的協議實現了分鐘級別證明、毫秒級別驗證，證明大小不到300字節，將零知識證明從理論帶到了應用。Zcash使用的SNARKs就是基于Pinocchio改進。張逸嘉也表示，零知識證明等密碼學方案都是公開的，這樣的方案才可被證明有效。Origo團隊主要專注于工程上的優化以及制作開發工具，包括生成零知識證明的編譯器，原來零知識證明系統需要讓程序員自己寫電路以及優化電路，Origo編譯器可將高級語言轉換成密碼學電路，優化開發流程。Origo的Layer1目前還在開發當中，計劃使用混合共識機制，先通過POW/POS篩選合格節點，然后入圍節點采用PBFT快速達成共識。未來也會考慮使用分片等技術提高處理速度。在已有以太坊等成熟公鏈的基礎下，Origo為什么再開發一條鏈呢？張逸嘉解釋，主要是出于兩個考慮：1、以太坊不適用于驗證零知識證明。目前以太坊上計算資源很有限，沒有對零知識證明相關的運算定義合理的gas消耗，如果在以太坊現有設置上做ZKP的驗證，需要消耗約半個區塊，也就是需要耗費大量的gas。2、以太坊在短期內不支持匿名交易，這意味著雙方合同涉及的金額是公開的。目前支持PrivateTransaction的包括達世幣、門羅幣和Zcash等，其中Zcash用的加密技術也是零知識證明。Origo會在支持匿名交易，優化性能同時支持智能合約。至于Layer2，Origo希望用戶能自行選定執行環境，因為是否保護隱私，以及選擇怎樣的執行環境應該由參與方決定。目前可以選擇執行者就是合同參與方，這樣可以最大程度保證參與方數據安全。加之公鏈開發需要一定時間，Origo采取的策略是先輸出解決方案，幫助企業用戶將聯盟鏈和公鏈打通，企業用戶在公鏈上存證數據哈希，而數據源可以來自聯盟鏈，企業在鏈下執行運算。即數據提供者和執行者合一。本質上，這種方案主要起到“電子證據”的作用，要實現絕對隱私，張逸嘉表示，有三種方式可考慮：同態加密、安全多方計算和未被破解的SGX。Odaily星球日報曾報道過的OasisLabs、TRIAS、Taxa等都選擇了用可信硬件構建可信執行環境這條技術路徑，鏈下隱私計算網絡Enigma、ARPA和Points則選擇了安全多方計算的方式。同態加密是一種加密形式，它允許人們對密文進行特定的代數運算得到仍然是加密的結果，將其解密所得到的結果與對明文進行同樣的運算結果一樣。TEE和MPC我們分別在之前的報道中做過介紹。張逸嘉認為，同態加密面臨的挑戰是性能和多公鑰全同態；MPC面臨的最大挑戰之一是output無法保持隱私，其他挑戰包括隨節點增長通信復雜度增加且速度變慢，以及對于正確執行的驗證；TEE面臨的挑戰是安全性以及其驗證簽名只能是證明在指定硬件環境內運算的，不能從數學上證明正確執行，相當于需要完全信任Intel等某一制造商，近期SGX頻發的安全問題背景下，Oasis的DawnSong也在Crypto2018上表示將不再依賴于TEE而用純軟件的方式來實現隱私。各種方案都需要考慮與區塊鏈結合時面臨的驗證問題，張逸嘉表示團隊可能會選擇MPC+ZKP的方式，同時配合一些經濟學的方案做一些簡化。我是Odaily星球日報編輯盧曉明，探索真實區塊鏈，爆料、交流請加lohiuming，煩請備注姓名、單位、職務和事由。參考文章：Zcash交易剖析為什么幾乎沒人使用Zcash的匿名功能？終極隱私貨幣比較零知識證明的江湖零知識證明：一個略微嚴肅的科普Zcash協議分析(2).什么是零知識證明完全同態加密隱私保護和數據安全：安全多方計算安全多方計算的關鍵技術分析

零知識證明公司RISC Zero與L2協議Layer N聯合推出零知識欺詐證明系統:5月24日消息，零知識證明初創公司RISC Zero宣布與模塊化L2協議Layer N聯合推出零知識欺詐證明系統。該系統通過將Layer N的執行環境移植到RISC Zero的zk虛擬機上，以實現提升區塊鏈性能的同時，保證區塊鏈的可靠性和安全性。未來，zkVM還將實現與其他執行層的兼容，如EVM、SVM和WASM等。

此前報道，去年8月，零知識證明初創公司RISC Zero宣布完成1200萬美元種子輪融資，Bain Capital Crypto領投。[2023/5/24 22:15:02]

數據：過去一周零知識區塊鏈上的交易量和投資者存款激增:5月24日消息，DeFi用戶正涌向使用“零知識證明”的基于以太坊的區塊鏈，DefiLlama數據顯示，zkSync Era、Starknet和Polygon zkEVM的活動在過去一周大幅飆升，這些鏈上去中心化交易所交易量過去一周分別增長了88%、48%和230%，總鎖定價值(Total Value Locked，簡稱TVL) 過去一周增長分別增長了13%、16%和219%。[2023/5/24 15:22:47]

波卡聯合創始人：財政部很快將為零知識擴展和網絡基礎設施發展提供巨額資金:1月23日消息，波卡聯合創始人Robert Habermeier發推表示，Polkadot財政部可能很快就會為進一步發展零知識擴展和網絡基礎設施提供巨額資金。Exit-to-DAO作為一種商業模式將是2022年及以后的決定性變化。[2022/1/23 9:08:17]

波卡生態零知識證明項目Starks Network與KILT Protocol達成合作:據官方消息，2020年12月18日，波卡生態零知識證明項目Starks Network與來自德國柏林的KILT Protocol項目達成戰略合作協議。雙方將在中歐Web3數字身份實驗室的合作框架下，圍繞“自主權數據”與“自證明計算”的主題，并通過波卡區塊鏈的跨鏈功能進行功能交互與應用組合，在去中心化數字身份、可驗證數字憑證、零知識證明與數據隱私保護等方面展開全面合作。[2020/12/19 15:46:29]

金色沙龍 | 燕麗：零知識證明對于協調區塊鏈底層擴容也有很大幫助:在今日舉行的《隱私計算——區塊鏈信息安全守護者》為主題的金色沙龍中，算力智庫創始人燕麗表示，2020年1月1日，中國首部《中華人民共和國密碼法》將正式開始實施，而在這之前一直只有一部 2007年4月23日公布的《商用密碼產品使用管理規定》和《境外組織和個人在華使用密碼產品管理辦法》。很多人把這次《密碼法》和2019年“1024”中央把區塊鏈技術作為國家戰略聯系在一起。區塊鏈技術是完全基于密碼學技術，所以按照這個邏輯，如果政府要完全掌控未來區塊鏈技術的發展，首先就要完全掌控密碼學技術，而這個其中的核心是國家主權范圍之間在所有的通信安全和商業行為之間軍備競賽的升級。區塊鏈有大量擴容壓力，而為了達到這個操作，必然要犧牲系統處理效能和部分隱私。但矛盾的是，區塊鏈前期的應用場景如虛擬貨幣，數字金融等，都需要有更好的隱私保護和不容易被惡意攻擊的防護。所以若想讓區塊鏈技術落地生根，那么提高區塊鏈底層技術來滿足對于高安全性(含高完整性和高保密性)、高性能、高廣義效率的要求，也許是個穩妥做法。所以隱私計算中的零知識證明等對于協調區塊鏈底層擴容也有很大幫助。[2020/4/15]

Tags：區塊鏈LAYEROrigoORI區塊鏈專業怎么樣Pepe Slayerboring幣最新消息

MATIC