📢 #Gate广场征文活动第二期# 正式啓動!
分享你對 $ERA 項目的獨特觀點,推廣ERA上線活動, 700 $ERA 等你來贏!
💰 獎勵:
一等獎(1名): 100枚 $ERA
二等獎(5名): 每人 60 枚 $ERA
三等獎(10名): 每人 30 枚 $ERA
👉 參與方式:
1.在 Gate廣場發布你對 ERA 項目的獨到見解貼文
2.在貼文中添加標籤: #Gate广场征文活动第二期# ,貼文字數不低於300字
3.將你的文章或觀點同步到X,加上標籤:Gate Square 和 ERA
4.徵文內容涵蓋但不限於以下創作方向:
ERA 項目亮點:作爲區塊鏈基礎設施公司,ERA 擁有哪些核心優勢?
ERA 代幣經濟模型:如何保障代幣的長期價值及生態可持續發展?
參與並推廣 Gate x Caldera (ERA) 生態周活動。點擊查看活動詳情:https://www.gate.com/announcements/article/46169。
歡迎圍繞上述主題,或從其他獨特視角提出您的見解與建議。
⚠️ 活動要求:
原創內容,至少 300 字, 重復或抄襲內容將被淘汰。
不得使用 #Gate广场征文活动第二期# 和 #ERA# 以外的任何標籤。
每篇文章必須獲得 至少3個互動,否則無法獲得獎勵
鼓勵圖文並茂、深度分析,觀點獨到。
⏰ 活動時間:2025年7月20日 17
零知識證明:從歷史演進到zk-rollup熱潮
零知識證明的發展歷程與應用
零知識證明的歷史演進
現代零知識證明體系源於1985年Goldwasser、Micali和Rackoff提出的交互式證明系統理論。該理論探討了在交互過程中需要交換多少知識才能證明一個陳述的正確性,並提出了零知識證明的概念。
早期的零知識證明系統在效率和實用性方面存在不足,主要停留在理論層面。直到近十年,隨着密碼學在加密貨幣領域的興起,零知識證明才逐漸成爲一個重要研究方向。其中,開發通用、非交互式、證明規模有限的零知識證明協議成爲關鍵探索方向之一。
零知識證明的重大突破出現在2010年,Groth提出的短配對非交互式零知識論證奠定了zk-SNARK的理論基礎。2015年,零知識證明首次在Zcash項目中得到應用,用於保護交易隱私。此後,zk-SNARK與智能合約的結合進一步拓寬了其應用場景。
在這一過程中,一些重要的學術成果包括:
此外,PLONK、Halo2等新興方案也對zk-SNARK做出了重要改進。
零知識證明的主要應用
零知識證明在隱私保護和擴容兩個領域有廣泛應用。
在隱私保護方面,早期的Zcash和Monero等隱私交易項目引起了廣泛關注。然而,隱私交易的必要性並未如業界預期那般突出,相關項目逐漸退居二線。
在擴容方面,隨着以太坊2.0轉向以rollup爲中心的路線,基於零知識證明的擴容方案重新成爲焦點。主要包括:
zk-rollup主要涉及兩類角色:Sequencer負責打包交易,Aggregator負責合並交易並生成零知識證明。這種方案具有費用低、最終性快等優勢,但也面臨計算量大、潛在安全風險等挑戰。
目前市場上主要的zk-rollup項目包括StarkNet、zkSync、Aztec Connect、Polygon Hermez/Miden、Loopring、Scroll等。這些項目在技術路線上主要在SNARK(及其改進版)和STARK之間選擇,以及是否支持EVM兼容。
EVM兼容性一直是業界關注的焦點。早期項目往往需要在零知識證明效率和EVM兼容性之間取舍。近年來技術快速迭代,使得在保證零知識證明效率的同時實現較好的EVM兼容成爲可能,這將對零知識證明的開發生態和競爭格局產生重要影響。
zk-SNARK的基本原理
zk-SNARK(零知識簡潔非交互式知識論證)是目前應用最廣泛的零知識證明系統之一。其核心思想是將復雜的計算問題轉化爲簡單的多項式問題,然後通過密碼學手段進行證明和驗證。
zk-SNARK的實現過程主要包括以下步驟:
這一過程既保證了證明的零知識性,又實現了簡潔性和非交互性,爲零知識證明在區塊鏈領域的廣泛應用奠定了基礎。