ZKP的起源和發展歷程：自1980年代至今_BSP

作者：Preethi Kasireddy，DappCamp創始人；翻譯：金色財經cryptonaitive

ZKP（零知識證明）在加密貨幣大爆發后受到歡迎，但它們的悠久歷史可以追溯到 1980 年代。本文探討 ZKP 這些年來的起源和發展。

ZKP的基本前提是，一方（prover）可以向另一方（verifier）證明他們了解特定信息，而無需實際透露該信息是什么。通過這樣做，Prover可以證明他們對特定事實或數據的了解，而無需透露任何其他信息。

現在，讓我們開始探索ZKP的歷史和發展。

ZKP 在加密貨幣爆發后獲得了關注，因為它們允許在兩方之間進行無需信任和匿名的交換，但這個概念本身并不新鮮。ZKP 的歷史其實可以追溯到 20 世紀 80 年代后期，當時 Shafi Goldwasser、Silvio Micali 和 Charles Rackoff 在一篇題為“The Knowledge Complexity of Interactive Proof-Systems”（交互式證明系統的知識復雜性）的論文中引入這個概念。

作者描述的初始概念涉及稱為“交互式協議”的東西，其中prover和verifier將來回通信（反復交互）以使verifier相信prover知道正確的信息。這種方法雖然有其自身突破，但被證明是耗時且資源密集型的，尤其是在涉及大量數據時。為了使ZKP具有可擴展性，它們需要是非交互式的。

Mina開發團隊向Optimism基金會提交的ZKP相關任務響應已被采納:7月21日消息，Mina開發團隊O(1) Labs發推稱，其向Optimism基金會提交的關于為OP系區塊鏈實施零知識證明（ZKP）的RFP（基金會任務）已被采納。

此前消息，Optimism基金會發布了新一季RFP，希望為OP系區塊鏈引入零知識證明，從而保證在L1和L2之間，以及在各個OP系區塊鏈之間實現安全、低延遲的跨鏈通信。[2023/7/21 15:50:07]

Peggy（證明者）和 Victor（驗證者）

1986 年，Fiat 和 Shamir 發明了 Fiat-Shamir heuristic（Fiat-Shamir 啟發式，一種采用交互式知識證明并據此創建數字簽名的技術），成功地將交互式零知識證明轉變為非交互式零知識證明。現在，這使得 ZKP 成為非交互式的，并為 ZKP 的廣泛、可擴展使用奠定了基礎。

交互式與非交互式ZKP

ZKP 的下一次重大推動發生在 2011 年，Nir Bitansky、Ran Canetti和Alessandro Chiesa在密碼學理論國際研討會上發表了一篇名為“From Extractable Collision Resistance to SNARKs and Back Again" （從可提取的抗碰撞性到 SNARKs，然后再反向操作 ）的論文。

ZK初創公司Polyhedra Network完成1000萬美元融資:金色財經報道，ZK 基礎設施初創公司 Polyhedra Network 完成 1000 萬美元融資，Binance Labs 和 Polychain Capital 領投，Animoca Brands 和 Dao5 等參投。

Polyhedra 使用零知識（ZK）證明技術開發了多種基礎設施產品，包括用于在 Web2 和 Web3 系統之間發送資產的 ZK 橋 (zkBridge) 解決方案、ZK 去中心化身份解決方案（zkDID）和擴容解決方案。Polyhedra 計劃與更多區塊鏈集成，并通過 API 和 SDK 工具讓開發人員更容易訪問。[2023/2/21 12:20:25]

zkSNARK如何工作？

這篇論文表明，我們可以使用一種稱為可提取抗碰撞 (ECR) 哈希函數的東西來創建 SNARKS（簡潔的非交互式知識論證）。SNARKS 基本上是“簡潔”的 ZKP，這意味著它們體積小，可以在幾秒鐘內得到驗證。

ZKP、NIZKP 和 zkSNARK 的比較

從這里開始，ZKP 的進程加快了，并促成了 2013 年Pinocchio的誕生。

Pinocchio是零知識簡潔非交互式知識論證 (zk-SNARK) 證明系統的第一個概念驗證實現之一，被認為是該領域的突破。它在幾年前一直被使用，但隨后被更新、更高效版本的zk-SNARKs所取代。

BitDAO新提案提議創建zkSync生態加速器并提供2億美元資金:1月7日消息，BitDAO與Matter Labs聯合發起關于“zkDAO Endowment”的新提案，提議創建并資助社區擁有的zkSync生態系統加速器，并提供2億美元，幫助啟動zkSync生態系統，賦能構建者，并助力BitDAO和所有DAO增長。初始資金配置安排如下：grants 7.5%，安全/審計7.5%，戰略資本70%，研發5%，教育5%，運營5%。[2022/1/7 8:31:25]

當時 zkSNARKS 的兩個主要缺點是：

● 可信設置的要求

zkSNARKs 需要prover和verifier之間的“可信設置”。此設置階段用于創建一組初始參數，然后用于生成和驗證 zk 證明。

生成這些參數需要一些秘密信息。一群人通常生成這些秘密，然后使用這些秘密來生成參數。一旦生成參數，秘密就被丟棄。然而，由于秘密輸入需要由一組人生成，因此需要我們“信任”這些人。

在區塊鏈中，我們希望最小化信任，這就是為什么“可信設置”通常不受青睞的原因。

zk-SNARK 證明依賴于prover和verifier之間的初始“可信設置”，這意味著需要一組公共參數來構建零知識證明，從而構建隱私交易。這些參數幾乎就像游戲規則一樣，它們被編碼到協議中，是證明交易有效的必要因素之一。這會產生潛在的中心化問題，因為參數通常由非常小的團隊制定。

多參與者可信設置的工作流程 來源

● 非后量子安全

zkSNARKS 不是后量子安全的，因為它們依賴于公鑰加密。公鑰密碼學依賴于解決特定數組的離散對數問題的難度。但隨著量子計算機的誕生，公鑰密碼學面臨風險，因為計算機可以將大數分解為素數，這意味著解決離散對數問題不再困難。

ZKSwap加入DeFi Alliance聯盟加速器計劃:官方消息，二層交易協議ZKSwap （ZKS）宣布正式加入DeFi Alliance 聯盟加速器計劃，同期加入加速器計劃的項目還包括Sushiswap協議和Bancor協議等。未來，ZKSwap 將與聯盟其他成員共同推進 DeFi 相關技術的采用和發展，壯大 ZKSwap Layer2 生態，共建透明、低成本且可信任的分布式金融系統。

ZKSwap 預計將于6月底正式上線 ZKSwap V2 版本，并計劃在7月份于以太坊主網上線二層網絡的 NFT 協議。[2021/5/31 22:59:05]

ZK行業正在努力構建解決這兩個問題的協議。

接下來是Groth。Groth 于 2016 年推出，是使 zkSnarks 高效且極其實用的首批協議之一。這是一個巨大的突破，并立即得到采用。事實上，由于它的性能和簡單性，它今天仍在許多協議中使用，并且圍繞它構建了許多工具。

ZKP的下一個重要里程碑是 2017 年 Bulletproofs 的推出。我記得 Bulletproofs 在 2017 年大肆宣傳。Bulletproofs 是簡短的非交互式零知識證明，可以證明某個加密值在給定的“范圍內”不透露任何有關數據的信息（例如，我可以在不透露金額的情況下向你證明交易價值在一定范圍內）。這些“范圍證明”可以聚合成一個簡短的證明。Bulletproof協議變得如此流行的原因是因為它們使比特幣的機密交易不僅成為可能，而且變得高效。Bulletproof技術最大的區別在于它不需要可信設置。這在區塊鏈行業非常重要，因為我們專注于構建無需信任的網絡，正如你可以想象的那樣，行業很快就采用了Bulletproof技術。

ZKSwap與比原鏈達成戰略合作 雙方將在技術生態領域攜手前行:官方消息，二層交易協議ZKSwap與比原鏈達成深度戰略合作，將共同推進更多主流資產在比原鏈與 ETH layer2 之間低手續費、實時的自由跨鏈流通，并探索打通交易所/BTM鏈/ETH鏈之間的代幣流通以及支持跨鏈資產抵押借貸等方向的應用落地。

ZKSwap 將為比原鏈提供 Layer2 擴容方案的技術支持，未來 ZKSwap 將打造 Layer2 可擴展性基礎設施，為更多生態項目提供二層擴容解決方案。雙方將合作推進 Defi 領域的生態發展，共同實現 Defi 產品的創新拓展，致力于打造一個用戶友好，產品豐富，繁榮開放的 Defi 生態。目前，ZKSwap 也已上線 mBTM/ZKS 交易對。[2021/4/28 21:06:01]

SNARKs、STARKs 和 Bulletproofs 的Runtime比較

2018 年，STARKS（Zero-Knowledge Scalable Transparent ARguments of Knowledge——零知識可擴展透明知識論證——的縮寫）通過緩解 zkSNARKS 的兩個缺點在業界引起了轟動：

● STARKS 是“后量子安全”的，這意味著它們依賴于哈希函數而不是橢圓曲線作為證明機制。

● STARKS 不需要可信設置。相反，zk-STARKS 使用可公開驗證的隨機源作為初始參數。

zkSTARKS 的最大缺點是它們的證明很大。這使得它不適合區塊鏈，因為鏈上存儲需要花錢。然而，STARKS 超過 SNARKS 脫穎而出，并讓行業擺脫可信設置。

zkSNARKs 和 zkSTARKs 在各種參數上的比較

2019 年對 zkSNARKS 來說是重要的一年，該領域有 3 項重大創新：

● SONIC

Sonic 做出的最大貢獻是支持“通用”且可不斷升級的參考字符串。這意味著你不需要進行可信設置來為每個程序生成初始參數。相反，你只需執行一次可信設置，然后對所有程序使用相同的參數。雖然這并不能完全減輕可信設置的缺點，但它確實使它變得更好了。

Sonic 還具有恒定的證明大小（這很好，因為證明大小不會隨著程序的復雜性而增加）并引入了批量驗證，從而減少了驗證時間。但是，當你不進行批處理時，驗證時間非常長。

● MARLIN

Marlin 是 Sonic 的顯著改進版本，證明時間減少了 10 倍。它還提供了更快的驗證而無需批處理，并將驗證時間縮短了 3 倍。

● PLONK

PLONK 是“Permutations over Lagrange-bases for Oecumenical Non Interactive Arguments of Knowledge ”（普遍用途的非交互式知識論證的拉格朗日基排列）的縮寫，是 SONIC 的另一個改進版本，它的一個特性是，它的證明時間減少了 5 倍。這里的重大創新是 PLONK 允許自定義門（gate）而不是通常的加法/乘法，這意味著你可以為更復雜的程序構建 zk 證明。

PlonK 和 Marlin 都用通用設置替換了 Groth16 中電路特定的可信設置。隨著 PLONK 的推出，加密社區也意識到他們甚至可以構建“zkEVM”，這將使我們能夠在以太坊上獲取任何智能合約代碼并將其轉換為零知識證明。Vitalik 曾經寫過一篇精彩文章，解釋了它背后的數學原理。

這標志著ZKP亂戰的結束，但也僅僅只是個開始！

各協議證明大小和安全假設圖，來源

HALO2

2020 年，Zcash 團隊推出了 HALO 2（HALO 的繼后繼者），它結合了 PLONK 和 Bulletproofs 的優點，然后允許在沒有可信設置的情況下進行快速驗證。

HALO vs HALO 2，來源

快進到 2022 年，我們開始再次看到新協議開發的加速。

HYPERPLONK 

HYPERPLONK 于 2022 年推出，是一種 zkp系統，證明是完全線性時間的并支持高度和查找自定義門。它試圖提高 PLONK 的靈活性，提高其速度并提供更多好處。

雖然 PLONK 本身非常強大，但它有一定的局限性，尤其是在證明大型聲明或嘗試使用高度并行的硬件時。在證明諸如rollup和 zkEVM 等大型復雜命令時，這些限制尤為重要。HyperPlonk 旨在解決這個問題。

PLONKY2

最近，Polygon 于 2022 年 1 月發布的 Plonky2 是 ZKP 世界中最新的。它是一種遞歸 SNARK，比現有其他方案快 100 倍。它結合了 PLONK 和 FRI，以獲得最好的 STARK（即快速證明和無可信設置）和最好的 SNARK（即支持遞歸和以太坊上的低驗證成本）。

這將我們帶到了今天。這就是 ZKP生態今天的樣子：

ZKP生態

雖然沒有哪個“協議”被認為是最好的，但了解所有這些協議、它們的優點和局限性有助于我們為特定用例和設置選擇最好的一個。我的團隊收集了我今天介紹的所有協議的信息，并在此處為你總結：

各ZKP特性全匯總

ZKP 有著悠久而豐富的歷史，每個協議都在突破極限，提高速度并擴展這項技術的限制。從需要prover和verifier來回交換信息的第一次迭代，我們已經走了很長一段路。

在我看來，我們才剛剛開始。你認為 ZKP 領域的下一個重大創新是什么？

Beosin

金色薦讀

曼昆區塊鏈法律

探索貓

Block unicorn

白澤研究院

veDAO研究院

深潮TechFlow

Biteye

Tags：BSPNBSARKZKSBSPTNBS價格STARK價格zks幣創始人

USDT