隱私計算,最開始萌芽于 Zcash、Dash、Monera 等匿名幣,在近兩年開始逐漸開始有了自己的聲量。數十條主打隱私交易的公鏈項目陸續出現,涉及諸多數學與密碼學算法的加密隱私技術開始被不斷提出并實踐,在 a16z、紅杉資本等主流風投的看好下,這一賽道已然成為目前 Web3 最受關注的賽道之一。
事實上,隱私賽道的火熱也不僅僅來源于資本的助推,不可否認的是,隨著當前 DeFi 應用屢次由于隱私缺失出現安全問題的頻率上升,如何在鏈上交易中保護自己的交易策略不被他人知道,已經成為 DeFi 開發者與使用者最關心的議題之一。
目前,Web3 的隱私賽道定義較廣,包括匿名幣、Layer1 的隱私公鏈、Layer2 的隱私協議/應用等等,限于文章篇幅,本文將主要帶讀者入門 Layer1 的隱私公鏈與主流的隱私計算技術,Layer2 隱私協議與零知識證明也值得“另起爐灶”了。
Layer1 對應六層模型中的數據層、網絡層、共識層、激勵層,為了更好區分,Layer1 通常指的是公鏈。
目前 Layer1 的隱私公鏈主要包括 Aleo、IronFish、Anoma、Secret Network、Manta Network、Oasis Network、Espresso Systems、Aleph Zero 等等 。
事實上,雖然隱私 Layer2 方案中的以太坊的二層網絡 ZK rollup 風頭更勁,但 Layer1 公鏈顯然被人們賦予了更大的期望。因為作為獨立公鏈,它們既可以直接在主鏈上開發隱私智能合約,又可以作為側鏈或平行鏈為其他公鏈提供隱私計算。
慢霧:遠程命令執行漏洞CVE-2023-37582在互聯網上公開,已出現攻擊案例:金色財經報道,據慢霧消息,7.12日Apache RocketMQ發布嚴重安全提醒,披露遠程命令執行漏洞(CVE-2023-37582)目前PoC在互聯網上公開,已出現攻擊案例。Apache RocketMQ是一款開源的分布式消息和流處理平臺,提供高效、可靠、可擴展的低延遲消息和流數據處理能力,廣泛用于異步通信、應用解耦、系統集等場景。加密貨幣行業有大量平臺采用此產品用來處理消息服務,注意風險。漏洞描述:當RocketMQ的NameServer組件暴露在外網時,并且缺乏有效的身份認證機制時,攻擊者可以利用更新配置功能,以RocketMQ運行的系統用戶身份執行命令。[2023/7/14 10:54:22]
Carbin VC 在研報中將隱私公鏈的核心競爭點歸整于:隱私,效率,通用性,易用性四大點,如何各自理解?
隱私性
隱私公鏈定位于 Layer1 層,提供可編程級的隱私,以使任何開發人員或組織都能構建和擴展真正私有的應用程序。例如,ALEO、Iron Fish 強調了成為通用隱私層的構想,旨在提供全棧解決方案。
高性能
隱私公鏈往往通過以零知識證明為主的隱私技術組合,通常使用模塊化分層、鏈下計算等方式減少計算時間,隱私公鏈在性能及可拓展性上往往高于以太坊。
Gemini:對Signature銀行沒有風險敞口:3月13日消息,加密貨幣交易所Gemini發推稱,Signature銀行沒有Gemini的客戶資金,也沒有Gemini USD(GUSD)的儲備資金。
所有Gemini客戶的美元都存放在摩根大通、高盛和道富銀行,所有GUSD儲備資金均存放在道富銀行、高盛和富達。[2023/3/13 13:01:08]
通用性
通用性是隱私公鏈的有力競爭點之一,隱私公鏈可滿足在不同的鏈上組合與互操作、不同鏈上的智能合約能夠相互調用和并行,實現充分的數據交換和協同計算,以應對多種場景中的問題。
以 Secret Network 為例,用戶可以通過 Secret Network 的原生跨鏈橋轉移資產,基于其資產創造隱私版本(Secret Token,如 sETH),Secret Token 可以像 ERC-20 代幣一樣編程,并在應用程序中使用。目前 Secret Network 的跨鏈橋已支持以太坊和幣安鏈的資產轉移。
易用性
隱私公鏈提供生態中的開發工具及服務,支持隱私保護應用程序的開發、部署和可持續性。例如,隱私公鏈 ALEO 為隱私應用開發提供了開發基礎設施和生態環境,以及 LEO 編程語言,降低開發者開發隱私智能合約的技術門檻。
發展至今,基于區塊鏈網絡的隱私計算主要技術手段包括:多方安全計算(MPC)、零知識證明(ZKP)以及基于硬件設計的可信執行環境(TEE)。
CNBC:硅谷銀行正在進行自我出售的談判:金色財經報道,硅谷銀行(SIVB.O)籌集資金的嘗試已經失敗,正在進行自我出售的談判。剛剛硅谷銀行(SIVB.O)盤前停牌,等待刊發消息。停牌前一度從跌 60% 拉升至漲 50%。此前美國白宮經濟顧問 Ramamurti 稱,財政部正在非常仔細地監控硅谷銀行。[2023/3/10 12:54:52]
最早由圖靈獎獲得者——中國科學院院士姚期智于 1982 年提出。其技術邏輯是:在一個分布式網絡中,有 N 個互不信任的節點,每個節點持有數據 x,并協同執行函數 f(x),最終得到各自的結果 y,若各節點的 y 值相等,則可輸出為計算的結果。MPC 的最大優點是做到了數據的百分百匿名,并且計算的結果也可以做到相對精確;挑戰點則是對帶寬的要求極高,當協同參與者較多時通訊水平將是一大考驗。
在區塊鏈領域,MPC 的使用范圍主要為公鏈 PlatON、錢包 Firelocks、ZenGo。如 PlatON 是隱私 AI 計算網絡,通過疊加同態加密和安全多方計算,實現隱私計算,保證輸入數據以及計算邏輯本身的隱私。
ZenGo 使用 MPC 和其他復雜的加密工具(如零知識證明和閾值加密技術),在一組不信任的實體之間共享對特定加密貨幣地址的簽名責任。
TEE 是通過硬件的方式保護參與計算數據的隱私性,但基于 TEE 的隱私計算并不是建立在參與方間完全無信任環境下的,實際上會有一個各參與方都認可的可信根,一般而言,這個可信根是 TEE 的制造廠商。
Polkadot推出開源、免費和鏈上資助的字體Unbounded:9月5日消息,Polkadot推出開源、免費和鏈上資助的字體Unbounded,提供從淺到黑的六種顯示粗細,以及一種可變字體。[2022/9/5 13:09:45]
在區塊鏈領域,有 Secret Network、Oasis Network、 Phala Network 使用的隱私技術即主要為 TEE。Secret Network 是基于 Cosmos 的隱私公鏈,于 2020 年 9 月啟動主網,是最早默認支持具有隱私的可編程智能合約的區塊鏈之一。
Secret Network 通過可信執行環境(TEE)確保交易數據在執行期間保持安全和私密,能夠隱藏代幣及合約的交易歷史和狀態變化。區塊瀏覽器對外僅顯示交易時間,無法獲知具體交易內容與持有資產(原生 SCRT 除外)。
Oasis Network 將共識和計算分離為共識層和計算層,其中計算層采用 TEE 可信執行環境運行智能合約,這種架構能夠支持密集計算,同時提高網絡隱私性。
最早由 1980 年代由麻省理工學院學者 Shafi Goldwasser、Silvio Micali 和Charles Rackoff 開發的一種加密技術,在其原始論文中對于零知識證明這樣定義:除了所討論命題的正確性之外,沒有傳達任何額外的信息。換句話說,零知識證明允許一方在不需要透露任何額外信息的前提下,向另一方進行真實性證明。因此可以用來保護隱私,在隱藏所有細節的情況下證實交易的有效性。
國信證券:美國經濟將“溫和”放緩 美聯儲有充足時間調整政策:7月2日消息,國信證券認為,很多經濟指標表現出美國經濟是較為健康的,不會因經濟放緩產生較嚴重的危機。雖然近期美國房地產銷售數據明顯走弱,但住房剛需和美國居民良好的負債率將支撐美國房地產市場溫和降溫。目前美股市盈率已處于歷史上較低水平,表現當前美股“泡沫”不大。經濟放緩會使一部分企業破產,但美國企業盈利增速尚可,并且企業部門杠桿率在大幅下降,美國因經濟放緩出現企業大面積違約的可能性不高。就業缺口或將成為失業率上升的“緩沖墊”,較高的勞動力缺口預計將減緩失業率的快速上升,給美聯儲充足的時間進行政策調整。(金十)[2022/7/2 1:46:29]
零知識證明可實現靈活的數據計算交互和交叉驗證,但實現難度仍然較高,因為需要通過反復舉例驗證才能證明答案為真,這對算力要求非常高。目前能夠生成證明的效率在 7 秒左右,需要大量的算力來提高計算速率。
目前,隨著零知識證明技術的逐漸成熟,且這一技術在隱私數據保護、計算壓縮與區塊鏈擴容、身份認證、信用記錄等方面都十分適用的功能,目前已經被許多區塊鏈項目視為最好的隱私保護方案之一,以 ZKP 為基礎的 zk Rollup 技術(Layer2 )被包括Vitalik在內的加密領袖一致看好的擴容路線。
2021 年 Vitalik 曾在一篇文章中講:Perhaps the most powerful cryptographic technology to come out of the last decade is general purpose succinct zero knowledge proofs, usually called zkSNARKs.(也許過去十年中最強大的密碼技術是通用的簡潔零知識證明zk-SNARKs。)
由于使用該技術的公鏈隊伍壯大,則干脆成為了 Web3 的單獨分支,有了一些 ZK 賽道、ZK 系公鏈諸如此類的稱呼。但由于零知識證明開發難度也較高,目前以零知識證明為主要技術實現途徑的隱私 Layer1 公鏈都處于測試與開發階段。
零知識證明機制轉化成計算機程序語言后應用最廣泛的技術有兩個—— zk-SNARK 和 zk-STARK。
zk-SNARK
zk-SNARK 的核心是依靠橢圓曲線算法來保證安全。除了基于橢圓曲線算法之外,zk-SNARK 還依賴初始可信設置。對可信設置的依賴一直是 zk-SNARK 支持者與批評者之間存在分歧的關鍵原因之一。關于 zk-SNARK 的另一個主要問題是它們不具有量子抗性。有分析認為如果量子計算變得廣泛可用,支撐 zk-SNARK 的隱私技術將大打折扣。
盡管可信設置存在挑戰,但由于各種原因,zk-SNARK 的接受速度比 zk-STARK快得多。在 zk-STARK被發現之前的幾年,zk-SNARK 就被發現了,這讓該技術在接受方面有了巨大的領先優勢。此外,Zcash 也是最早使用zk-SNARK的匿名幣,也進一步促進了區塊鏈開發人員對 zk-SNARK 的使用。
zk-STARK
zk-STARK 的核心機制基于哈希函數,而非橢圓曲線算法,相比于后者,該函數具備量子抗性;此外,zk-STARK 也并不依賴可信設置。
但與此同時,zk-STARKs 的成本更高,需要的證明數據比 zk-SNARKs 大得多,這意味著確認 zk-STARKs 比 zk-SNARKs 需要更長的時間并且需要更多的 gas。
Aleo 是首個使用零知識證明解決隱私問題、同時保證可編程特性的 Layer1 公鏈項目。Aleo 創立于 2019 年,通過零知識證明保護用戶信息隱私,具有隱藏參與者、金額、智能合約等交互細節的功能,同時用戶可選擇對隱私性進行設置。
2021年4月,Aleo 獲 2800 萬美元A輪融資,a16z 領投、Galaxy Digital 等參投; 2022 年 2 月,Aleo 以 14.5 億美元的估值完成 2 億美元 B 輪融資,軟銀愿景基金二期和 Kora Management 共同領投,創下了零知識證明領域的最大一輪融資。 2021 年 11 月,Aleo 啟動激勵性測試網。
Manta Network 是波卡生態中的隱私保護網絡,以波卡平行鏈的方式提供隱私保護。基于零知識證明,Manta 創立了新資產類型 zkAssets,支持 ERC20 等同質化代幣,ERC721、ERC1155 等非同質化代幣,靈魂綁定代幣,以及波卡平行鏈資產間的隱私交易。可將現有的代幣、NFT,通過 Manta 轉換為隱私資產,進行操作。
Manta 還創立了一種隱私地址類型,用于隱私資產 zkAssets 之間的轉賬。2021年12月,Manta 發布測試網 Dolphin Testnet。2022年2月15日,Manta Network 獲得Binance Labs的戰略投資。
Mina 是一個輕量級的區塊鏈,采用 zk-SNARK 技術,以遞歸零知識證明,來實現區塊的大小恒定。獲得了 Coinbase Ventures、MetaStable、Polychain Capital、Three Arrows Capital、HashKey Capital、Fenbushi Capital 等頂級機構的投資,在四輪融資中,累計募集了約 4815 萬美金。
TinTinLand
個人專欄
閱讀更多
金色早8點
比推 Bitpush News
Foresight News
PANews
Delphi Digital
區塊鏈騎士
深潮TechFlow
鏈捕手
區塊律動BlockBeats
比推BitpushNews
DeFi之道
特區政府在上月底發表了《有關虛擬資產在港發展的政策宣言》,闡明了我們對虛擬資產行業、相關創新技術與應用,和其生態系統發展的愿景和方針.
1900/1/1 0:00:002022 年對 Crypto 來說是慘淡的一年,穩定幣、對沖基金、貸款機構和交易所都以可怕的方式內爆。該領域的大部分都崩潰了,但在大屠殺中仍有一些增長點.
1900/1/1 0:00:002022年10月19日,據Beosin EagleEye Web3安全預警與監控平臺監測顯示,Celo生態上的Moola協議遭受攻擊,黑客獲利約840萬美元.
1900/1/1 0:00:00前有加密熊市悄然而至,后有 Luna 暴雷大廈崩塌,現在全球第二大的 FTX 交易所短短幾天就從行業翹楚變跌落神壇,每個消息都不斷挑動著加密市場的神經,NFT 市場也不例外.
1900/1/1 0:00:00對話者 Suji Yan Mask Network Founder tim .
1900/1/1 0:00:00一個 FTX 員工的自述截圖在社區傳播,我們確認了它大部分的真實性,文章經過編譯。全文如下:我是接近 FTX 情況的消息來源。SBF 毀了他許多現任和前任雇員的生活.
1900/1/1 0:00:00