零知識證明技術的應用_ROLL

什么是零知識證明

零知識證明（Zero-Knowledge Proof，ZKP）是現代密碼學的重要組成部分。它指的是證明者在不向驗證者提供任何有用信息的情況下，說服驗證者某個假設是正確的能力。

零知識證明本質上是一個涉及兩個或多個參與方的協議，即兩個或多個參與方需要完成一項任務的一系列步驟。證明者向驗證者證明并使驗證者相信他/她知道或擁有某個特定消息，但在證明過程中不會透露關于被證明消息的任何信息給驗證者。通俗來說，證明者不僅能夠證明自己想要證明的內容，而且同時向驗證者披露“零”信息。

關于零知識證明的更多概念，已經有很多中文資料進行了介紹，這里就不贅述了。

零知識證明在區塊鏈領域的主要應用

零知識證明技術的兩個重要特點是其在區塊鏈領域應用的主要因素：

零知識證明可以保護數據的隱私并證明其有效性，而不泄露數據信息。

零知識證明可以通過生成少量的證明來證明大量的數據，這在壓縮數據量和提高性能方面具有重要作用。

因此，零知識證明的兩個方向就是：隱私保護和區塊鏈的擴展。下面分別敘述：

數據：過去一周零知識區塊鏈上的交易量和投資者存款激增: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]

隱私保護

隱私保護一直是區塊鏈中一個極其重要的概念，代表了在分布式網絡中保護交易和參與者的能力。

區塊鏈一直倡導匿名性，參與者在大多數交易中無需使用真實姓名，而可以重復使用公鑰哈希值作為交易標識符來識別交易者。但是，這些交易只有偽名，而不是真正實現了匿名性。默認情況下，用戶的每筆交易都是公開的，一旦用戶的地址被鎖定，就可以用來審查資金來源、計算持倉位置，甚至分析用戶的鏈上活動。

零知識證明技術可以通過提交證明來確認交易的有效性，而不泄露任何信息，實現交易信息的完全匿名化。在強調隱私問題加密的發展階段，許多開發者致力于隱私公鏈的探索。零知識證明的隱私保護和數據壓縮能力是成為公鏈組件技術的主要原因。在此期間，像Zcash和Monero這樣的項目取得了異常出色的成果。以Zcash為例，Zcash最初采用了Pinocchio協議，于2019年切換到Groth16證明系統。

Aztec Network推出零知識證明語言Noir:10月8日消息，基于ZK Rollup的隱私和擴容解決方案Aztec Network宣布推出零知識證明語言Noir。Noir是一種基于Rust的領域特定語言（DSL），用于創建和驗證零知識證明。同時，Aztec Network還發布兩個新的Typescript庫，分別為NoirJS（可以在瀏覽器中編譯Noir電路）和Barretenberg.js（可以在瀏覽器中證明和驗證這些電路）。[2022/10/8 12:49:18]

Zcash錢包地址分為隱藏地址和透明地址。透明地址之間的交易與比特幣（BTC）交易沒有區別：發送方、接收方和交易金額都是公開可見的；隱藏地址之間的交易也會出現在公共區塊鏈上，但交易的地址、資金金額和備注字段是加密的，并且zk-SNARK將根據網絡共識規則證明交易的有效性；此外，還可以在隱藏地址和透明地址之間進行交易。

Zcash對審計和監管友好，同時保護交易隱私。隱藏地址交易的發送方和接收方可以向第三方披露交易詳細信息，以滿足見證、合規或審計需求。

可擴展性

 “不可能三角”是以太坊等L1區塊鏈面臨的永恒問題。不同的鏈始終在去中心化、安全性和可擴展性之間找到平衡。

兩位數學家因對零知識證明的研究獲得數學界大獎阿貝爾獎:據DeepTech深科技消息，近日，備受矚目的數學界大獎阿貝爾獎公布兩名獲獎者，一位是匈牙利數學家拉茲洛?洛瓦茲（László Lovász），一位是以色列計算機科學家阿維?威格森（Avi Wigderson）。兩位數學家因為對零知識證明的研究，而獲此殊榮。曾經讓純數學家看不起的零知識證明，卻獲得了數學界舉足輕重的阿貝爾獎。正如頒獎詞所說：“表彰其在理論計算機科學和離散數學方面做出的杰出貢獻，以及在將之塑造為現代數學中心領域中發揮的主導作用。”零知識證明比起其他復雜算法更為簡單，但這兩位數學家對于零知識證明的研究，不僅對現代數學核心計算有重大貢獻，還有巨大的現實意義：其一，零知識證明對數字貨幣的認證意義重大；其二，零知識證明還可以用于人的身份驗證，即在不透露密碼的前提下，驗證方通過一系列問題來讓對方提供 “我知道正確密碼”，或在信息安全領域，提供 “我就是本人” 的證明。[2021/5/2 21:16:57]

以太坊更注重去中心化和安全性，因此必須面對可擴展性的限制。以太坊上的高燃氣費和長交易確認時間嚴重影響了用戶體驗。因此，其核心開發團隊和社區一直在探索各種可擴展性解決方案。

有兩種方法可以擴展區塊鏈：

擴展L1區塊鏈本身，方法包括增加區塊大小或分片。即將區塊鏈網絡中的節點劃分為幾個相對獨立的分片。

動態 | 全新零知識證明論文被IEEE學術會議收錄 或能抵抗量子計算機:由四位研究人員共同發表的論文透明多項式委托及其在零知識證明中的應用被第 41 屆電氣電子工程師學會安全隱私學術會議（IEEE S&P 2020）接受，其作者之一的Yupeng Zhang在推特上公開了該消息，他來自于德克薩斯州農工大學，另外三名作者來自于加州大學伯克利分校，分別是Jiaheng Zhang、Tiancheng Xie和Dawn Song （宋曉冬），宋曉冬教授也是區塊鏈隱私計算平臺Oasis Labs的創始人。據Yupeng Zhang介紹，該論文提出了一個全新且透明的零知識證明機制，可以提供非常快的驗證時間，也不需要可信設置（trusted setup）。論文中介紹到，該零知識證明機制僅使用了輕量級的加密算法比如抗碰撞的哈希函數，所以也可能是量子安全的。[2019/12/26]

單個分片的處理規模較小，甚至只存儲部分網絡狀態。但理論上，在多個分片并行處理交易的條件下，整個網絡的吞吐量將得到提高。然而，這種方法會犧牲去中心化。

將L1網絡上的交易轉移到L2層，L2收集交易，然后將其發送到L1網絡進行結算。這樣，每批交易只需支付一次燃氣費，而不是每筆交易都支付燃氣費。

因此，所有交易均平均分擔燃氣費用，有效降低了每筆交易的成本。這樣，L1成為L2上執行的所有交易的結算層。L2擴展解決方案可以解決L1的可擴展性問題，同時不犧牲去中心化和安全性。

動態 | 三星SDS采用零知識證明增強其企業區塊鏈隱私性:據coindesk消息，三星企業技術部門SDS (Samsung SDS)正在使用零知識證明(zero-knowledge proof, ZKPs)來增強其Nexledger區塊鏈的隱私保護。該公司周四表示，它已與總部位于以色列的QEDIT建立了合作關系，在不披露保密信息的情況下，在一個共享的賬簿上記錄和驗證資產轉移。此舉突顯出采用分布式賬本技術的公司面臨的挑戰之一，向網絡廣播交易，可能會暴露敏感的客戶數據，并向競爭對手泄露信息。[2019/11/14]

當然，L2擴展解決方案也經歷了從狀態通道到Plasma再到Rollup的演變。目前，Rollup是最主流和潛力巨大的L2解決方案。

Rollup是指首先在鏈下進行復雜的計算和狀態維護，然后通過使用更便宜的CALLDATA通過合約調用的方式將與狀態變化相關的數據進行鏈上保存，通過將大量交易總結和打包為一筆交易，最終在保證數據可用性的前提下提高TPS。

Rollup解決方案的共同點是強調鏈上數據的可用性。也就是說，任何人都可以根據鏈上保存的數據恢復全局狀態，從而消除由數據可用性問題引起的安全風險。

除了壓縮鏈上計算量之外，零知識證明發揮作用的另一個方面在于確保數據的正確性。

ZK Rollup解決方案始于2018年下半年。這種解決方案的關鍵在于ZK。每個ZK Rollup解決方案的狀態變化都需要由主鏈上的合約提供和驗證零知識證明。

只有通過驗證才能改變狀態。也就是說，ZK Rollup的狀態變化嚴格依賴于加密證明。（注：有關ZK Rollup原理的詳細解釋，請參考李華的《關于分層和跨鏈方法的清晰視角》）

當然，還有其他的Rollup解決方案，例如在2019年下半年形成的樂觀Rollup。它不需要對每個狀態變化進行嚴格的驗證。

它首先樂觀地假設每次變化都是正確的，然后在一定時間限制內對變化進行挑戰。如果挑戰成功，就證明之前的提交存在問題，提交者將受到懲罰，狀態將被回滾。

也就是說，樂觀Rollup的狀態變化依賴于經濟激勵和博弈。

ZK Rollup的突出問題是難以實現可編程性，但這兩年的技術發展似乎要突破這個瓶頸，zkEVM的實現可以實現可編程性；樂觀Rollup最關注的問題似乎是當資金從Layer 2返回時，由于挑戰期的延遲問題，但中介機構可提供預付服務。

因此，樂觀Rollup解決方案的實施速度更快。但 zkEVM 可能更加具有潛力。

零知識證明的新星解決方案

在早期的零知識證明項目中，盡管Zcash和Monero在隱私保護方面表現出色，但它們只能作為價值存儲的手段，難以與其他應用程序合作。

正如前文所述，在許多開發人員的努力下，零知識證明已經可以用于通用計算，并與智能合約相結合，以探索零知識證明技術的更大潛力。下面主要介紹今年上線的兩個項目。

Aleo：通用隱私計算公鏈

Aleo項目于2019年正式成立，其成員包括來自Google、Amazon、Facebook等公司以及UC Berkeley、Johns Hopkins、NYU、Cornell等研究型大學的世界級密碼學家、工程師、設計師和運營人員。

Aleo構建了zkCloud系統，用于保護身份和交易，而受保護的身份可以直接相互交互（例如資產轉移）或通過智能合約進行編程。在典型的公共區塊鏈中，程序在由每個網絡節點運行的全局“虛擬機”（VM）上執行。因此，網絡上的每個節點都必須重新計算（并共同批準）給定程序的每一步，這是低效的，降低了速度，并增加了用戶的成本。zkCloud通過將應用程序的運行與區塊鏈的狀態維護（鏈上+鏈下）分離，并結合遞歸的零知識證明，解決了這些限制，使Aleo能夠實現完整的可編程性和隱私保護，并具有更高的交易吞吐量。

Aleo構建了一種名為Leo的編程語言，這種語言對于零知識證明應用程序開發人員來說更加友好，為他們提供了更好的環境。Leo是一種受Rust啟發的靜態類型編程語言，專為編寫私密應用程序而設計。

目前，Aleo網絡已經經過了三輪測試，目前正在積極引導生態的發展，通過積分激勵社區參與生態應用建設。Aleo是一條公鏈，其 Prover 是通過零知識證明參與網絡建設，在前期的 Test3 中，有大約40多萬張顯卡參與測試，作為一個測試網，這是非常大的規模了。Aleo原計劃今年三季度上線，按照目前的情況，預估可能在三季度末，或四季度上線。可持續關注。

Scroll：EVM的zk原生解決方案

Scroll Tech旨在構建一個與以太坊兼容的zk-Rollup，并建立一個強大的證明網絡。經過數月的探索，他們取得了重大的技術進展。

Scroll的目標包括：

構建完全與EVM兼容的zk-Rollup。通過驗證EVM執行過程中每個操作碼的一致性和完整性，支持對以太坊區塊的直接驗證。這樣，L1智能合約可以無縫遷移到Scroll上，而無需進行任何修改。

實現和標準化二層證明外包。Scroll設計了一個強大的外包機制，可以激勵驗證者為他們生成零知識證明。Scroll團隊計劃將此方案標準化，以適應更廣泛的離鏈計算領域。這將開啟一個新的證明市場。開發者可以在Scroll中部署復雜的合約，無需考慮Gas限制。許多新的應用可以通過離鏈方式實現，并將證明提交到鏈上。為此，團隊還構建了全球最快的GPU和ASIC證明器。長期目標是實現完全去中心化，并減少MEV的影響。

升級到一種新的證明系統。Scroll計劃采用一種新的分層零知識證明系統。第一層是高效的證明生成層，具備自定義電路優化和硬件高效證明算法。第二層是高效的驗證層，具備簡潔的證明和與EVM兼容的驗證算法。相較于現有解決方案，該系統有潛力支持比EVM更大的程序和更多的功能，例如隱私保護。

Scroll Tech的這些進展在zk-Rollup和二層擴展解決方案領域具有重要意義，展示了他們在兼容性、效率和去中心化方面的承諾。

Scroll 在其Alpha測試中，已經接入了大量的應用，實現了其EVM應用程序可以直接移植到Scroll的承諾。預計 Scroll 主網在3個月內上線。Scroll 主網上線后，將進一步實現去中心化的 Prover網絡，這樣給予大家更多的參與機會。

金色財經

SevenUp DAO

金色圖覽

LK Venture

金色薦讀

區塊律動BlockBeats

Tags：ROLLROL區塊鏈SCRTROLLER區塊鏈幣幣交易SCROH

狗狗幣最新價格