📢 Gate廣場 #MBG任务挑战# 發帖贏大獎活動火熱開啓!
想要瓜分1,000枚MBG?現在就來參與,展示你的洞察與實操,成爲MBG推廣達人!
💰️ 本期將評選出20位優質發帖用戶,每人可輕鬆獲得50枚MBG!
如何參與:
1️⃣ 調研MBG項目
對MBG的基本面、社區治理、發展目標、代幣經濟模型等方面進行研究,分享你對項目的深度研究。
2️⃣ 參與並分享真實體驗
參與MBG相關活動(包括CandyDrop、Launchpool或現貨交易),並曬出你的參與截圖、收益圖或實用教程。可以是收益展示、簡明易懂的新手攻略、小竅門,也可以是現貨行情點位分析,內容詳實優先。
3️⃣ 鼓勵帶新互動
如果你的帖子吸引到他人參與活動,或者有好友評論“已參與/已交易”,將大幅提升你的獲獎概率!
MBG熱門活動(帖文需附下列活動連結):
Gate第287期Launchpool:MBG — 質押ETH、MBG即可免費瓜分112,500 MBG,每小時領取獎勵!參與攻略見公告:https://www.gate.com/announcements/article/46230
Gate CandyDrop第55期:CandyDrop x MBG — 通過首次交易、交易MBG、邀請好友註冊交易即可分187,500 MBG!參與攻略見公告:https://www.gate.com/announcements
零知識證明:從理論到實踐的技術革新與應用展望
零知識證明的發展歷程與應用
零知識證明的歷史沿革
現代零知識證明體系源於1985年Goldwasser、Micali和Rackoff合著的論文。該論文探討了在交互系統中,通過有限輪次交互來證明一個陳述正確性所需交換的知識量。如果可以做到零知識交換,就稱爲零知識證明。這種交互式系統只能達到概率意義上的正確性,而非數學上的完全可證。
爲克服這一缺陷,非交互式系統應運而生,它具有完備性,成爲零知識證明系統的理想選擇。早期零知識證明系統在效率和實用性方面存在不足,主要停留在理論層面。近十年來,隨着密碼學在加密貨幣領域的興起,零知識證明逐漸成爲關鍵研究方向。
零知識證明的重大突破是Groth在2010年提出的短配對非交互零知識論證,爲zk-SNARK奠定了理論基礎。2015年,Zcash率先將零知識證明應用於交易隱私保護,開創了zk-SNARK與智能合約結合的先河,大大拓寬了應用場景。
其他重要學術成果包括:2013年的Pinocchio協議,2016年的Groth16算法,2017年的Bulletproofs,以及2018年提出的zk-STARKs等。這些進展極大地推動了零知識證明從理論到實踐的發展。
零知識證明的主要應用
零知識證明目前最廣泛的兩大應用是隱私保護和擴容。早期隱私交易受到廣泛關注,代表項目有Zcash和Monero等。隨着以太坊轉向以rollup爲中心的擴容路線,基於零知識證明的擴容方案再次成爲業界焦點。
隱私交易
隱私交易已有多個落地項目,如使用SNARK的Zcash和Tornado,使用Bulletproof的Monero等。以Zcash爲例,其zk-SNARKs交易流程包括系統設置、密鑰生成、鑄幣、轉帳、驗證和接收等環節,實現了交易金額和地址的隱私保護。
然而,Zcash等項目仍存在一些局限性。如Zcash基於UTXO模型,部分交易信息只是被屏蔽而非完全隱藏。此外,其使用率較低,說明隱私交易的實際需求可能不及預期。相比之下,Tornado採用的單一大混幣池設計更具通用性,且基於以太坊網路,具有更好的擴展性。
擴容應用
零知識證明在擴容方面的應用主要體現爲zk-rollup。zk-rollup包含Sequencer和Aggregator兩類角色。Sequencer負責打包交易,Aggregator將大量交易合並並生成零知識證明,用於更新主鏈狀態。
zk-rollup的優勢在於低費用、快速最終性和隱私保護等,但也存在計算量大、可能需要可信設置等缺點。目前市場上主要的zk-rollup項目包括StarkNet、zkSync、Aztec Connect、Polygon Hermez等,它們在技術路線和EVM兼容性等方面各有側重。
EVM兼容性一直是零知識系統面臨的難題。目前業界主要有兩種方案:完全兼容Solidity操作碼,或設計新的ZK友好虛擬機並兼容Solidity。近年來技術快速迭代,EVM兼容性有了顯著提升,這將對零知識證明的開發生態和競爭格局產生重大影響。
zk-SNARK實現原理概述
zk-SNARK(零知識簡潔非交互式知識論證)是目前應用最廣泛的零知識證明方案之一。它具有零知識、簡潔、非交互、可靠和知識性等特點。
Groth16的zk-SNARK證明流程主要包括以下步驟:
零知識證明技術正在快速發展,未來有望在更多領域發揮重要作用。隨着EVM兼容性的提升和新算法的出現,我們可以期待零知識證明在區塊鏈及其他領域帶來更多創新應用。