從頭梳理ZKP理論和應用層面的一些變化。
撰文:HashKeyCapital
當前區塊鏈行業里零知識證明項目增速驚人,特別是ZKP在擴容和隱私保護兩個層面應用的崛起,令我們接觸到了各種花樣繁多的零知識證明項目。由于ZKP極富數學性的特質,對于加密愛好者來說,想要深度了解ZK的難度大幅提升。因此我們也希望從頭梳理ZKP理論和應用層面的一些變化,與讀者一起探索對于crypto行業的影響和價值——通過幾篇報告的形式共同學習,也作為HashKeyCapital研究團隊的思考總結。本篇是該系列的第一篇,主要介紹ZKP的發展歷史、應用和一些基本原理。
一、零知識證明的歷史
現代零知識證明體系最早來源于Goldwasser、Micali和Rackoff合作發表的論文:TheKnowledgeComplexityofInteractiveProofSystems,該論文提出于1985年,發表于1989年。這篇論文主要闡釋的是在一個交互系統中,經過K輪交互,需要多少知識被交換,從而證明一個證言是正確的。如果可以讓交換的知識為零,則被稱之為零知識證明。這里面會假設證明者具有無限資源,而驗證者只具有有限資源。而交互式系統的問題在于證明不完全是數學上可證的,而是概率意義上正確的,雖然概率很小(1/2^n)。
所以交互式系統并不完美,只有近似完備性,以此為基礎誕生的非交互式系統系統則具有完備性,成為零知識證明系統的完美所選。
早年的零知識證明系統在效率以及可用性方面都有所欠缺,所以一直都停留在理論層面,直到最近10年才開始蓬勃發展,伴隨著密碼學在crypto成為顯學,零知識證明走向臺前,成為至關重要的一個方向。特別是發展出一個通用的、非交互的、證明大小有限的零知識證明協議,是其中最關鍵的探索方向之一。
多鏈Web3生態Hacker資助計劃Dora Grant DAO首輪零知識投票環節結束:11月14日消息,社區驅動的多鏈Web3生態開源極客資助計劃Dora Grant DAO已于北京時間11月13日23:59在開發者激勵平臺DoraHacks.io關閉首輪投票通道。投票最終結果和零知識證明文件將于14日晚八時公布。首期20萬美金Grant獎金將會根據投票結果的排序進行發放。
Dora Grant DAO計劃旨在持續支持在以下三個領域的多鏈Web3開源極客團隊:多鏈Web3核心基礎設施和工具,加密原生應用,加密-前沿科技交叉領域。[2022/11/14 13:01:29]
基本上零知識證明就是要在證明的速度、驗證的速度和證明體積的大小之間做取舍,理想的協議是證明快、驗證快、證明體積小。
零知識證明最重要的突破是Groth在2010年的論文ShortPairing-basedNon-interactiveZero-KnowledgeArguments,也是ZKP里面最重要的一組zk-SNARK的理論先驅。
零知識證明在應用上最重要的進展就是2015年Z-cash使用的零知識證明系統,實現了對交易及金額隱私的保護,后來發展到zk-SNARK和智能合約相結合,zk-SNARK進入了更為廣泛的應用場景。
在此期間,一些重要的學術成果包括:
2013年的Pinocchio(PGHR13):Pinocchio:NearlyPracticalVerifiableComputation,將證明和驗證時間壓縮到適用范圍,也是Zcash使用的基礎協議。
DoraHacks平臺開始支持基于零知識證明的隱私二次方資助:據官方消息,DoraHacks開發者激勵平臺HackerLink已經完成整合Dora Factory隱私投票模塊MACI,并開始支持基于零知識證明的二次方投票和二次方資助輪次。
MACI(最小化抗共謀基礎設施)是Dora Factory以太坊工廠的核心模塊之一,通過對投票進行加密以及對結果提供零知識證明,實現隱私投票,將鏈上和鏈下治理的投票過程轉化為非合作博弈,以達到抗共謀的目的。
DoraHacks對MACI代碼中的安全性和效率問題進行了系統性優化。ETH Denver 2022將于2月20日與DoraHacks共同推出第一個中等規模的MACI二次方資助輪次,超過2,000名開發者和10,000名參會者將通過DoraHacks平臺進行零知識二次方投票,這是MACI和鏈上隱私投票的第一次中等規模應用。[2022/1/28 9:19:46]
2016年的Groth16:OntheSizeofPairing-basedNon-interactiveArguments,精簡了證明的大小,并提升了驗證效率,是目前應用最多的ZK基礎算法。
2017年的Bulletproofs(BBBPWM17)Bulletproofs:ShortProofsforConfidentialTransactionsandMore,提出了Bulletproof算法,非常短的非交互式零知識證明,不需要可信的設置,6個月以后應用于Monero,是非常快的理論到應用的結合。
2018年的zk-STARKs(BBHR18)Scalable,transparent,andpost-quantumsecurecomputationalintegrity,提出了不需要可信設置的ZK-STARK算法協議,這也是目前ZK發展另一個讓人矚目的方向,也以此為基礎誕生了StarkWare這個最重量級的ZK項目。
兩位數學家因對零知識證明的研究獲得數學界大獎阿貝爾獎:據DeepTech深科技消息,近日,備受矚目的數學界大獎阿貝爾獎公布兩名獲獎者,一位是匈牙利數學家拉茲洛?洛瓦茲(László Lovász),一位是以色列計算機科學家阿維?威格森(Avi Wigderson)。兩位數學家因為對零知識證明的研究,而獲此殊榮。曾經讓純數學家看不起的零知識證明,卻獲得了數學界舉足輕重的阿貝爾獎。正如頒獎詞所說:“表彰其在理論計算機科學和離散數學方面做出的杰出貢獻,以及在將之塑造為現代數學中心領域中發揮的主導作用。”零知識證明比起其他復雜算法更為簡單,但這兩位數學家對于零知識證明的研究,不僅對現代數學核心計算有重大貢獻,還有巨大的現實意義:其一,零知識證明對數字貨幣的認證意義重大;其二,零知識證明還可以用于人的身份驗證,即在不透露密碼的前提下,驗證方通過一系列問題來讓對方提供 “我知道正確密碼”,或在信息安全領域,提供 “我就是本人” 的證明。[2021/5/2 21:16:57]
其他的發展包括PLONK、Halo2等也是極為重要的進展,也對zk-SNARK做出了某些層面上的改進。
二、零知識證明的應用簡述
零知識證明最廣泛的兩個應用就是隱私保護和擴容。早期隨著隱私交易和幾個有名的項目Zcash和Monero等推出,隱私交易一度成為非常重要的門類,但由于隱私交易的必要性并沒有業界希望的那樣突出,因此這一類代表性項目開始慢慢進入二三線的陣營。而應用層面,擴容的必要性提升到無以復加,隨著以太坊2.0在2020年轉變為以rollup為中心的路線,ZK系列正式又回歸業界的視線,成為焦點。
聲音 | V神:零知識證明技術對Layer 2更有幫助:在萬向區塊鏈實驗室主辦的第五屆區塊鏈全球峰會上,當被問及最新進展時,V神表示目前正在關注零知識證明,該技術經過十幾年的發展仍然有創新,Zk-SNARKs就取得了一些進步。V神還表示,零知識證明對Layer 2 也許并沒有太大幫助,但對Layer 2也許會有幫助。[2019/9/18]
隱私交易:隱私交易有很多已經實現的項目,包括使用SNARK的Zcash,Tornado,使用bulletproof的Monero,以及Dash。Dash嚴格意義上用的不是ZKP,而是一種簡單粗暴的混幣系統,只可以隱藏地址而不能隱藏金額,在此略過不表。
Zcash應用的zk-SNARKs交易步驟如下:
Source:DemystifyingtheRoleofzk-SNARKsinZcash
Systemsetup階段生成證明秘鑰和驗證秘鑰,借助KeyGenfunction
CPA階段ECIES加密方法用來生成公鑰和私鑰
MintingCoins階段,生成新幣的數量。公共地址和幣的commitment
Pouring階段,生成zk-SNARK證明,證明被加到了pour交易賬本中
Verification階段,驗證者驗證Mint和Pour的交易量是否正確
動態 | 以色列理工學院教授違反知識產權規定建立零知識證明技術公司:據Bitcoin.com報道,以色列理工學院教授Eli Ben-Sasson因違反了該學校知識產權規定而被起訴。據報道,Ben-Sasson利用在為該機構工作時開發的知識產權建立了一家零知識證明技術公司。Ben-Sasson是區塊鏈技術初創公司Starkware的聯合創始人兼首席科學家,以色列理工學院在法庭提出要求Ben-Sasson轉讓其在該公司的50%股份。[2019/4/23]
Receiving階段,receiver接收幣。如果想使用收到的幣,則繼續調用Pouring,形成zk-SNARK驗證,重復上述4-6的步驟,完成交易。
Zcash使用零知識還是有局限性的,就是其基于UTXO,所以部分交易信息只是被shield了,而不是真正的掩蓋。因為其基于比特幣的設計的單獨網絡,所以難以擴展。真正使用shielding的使用率只有不到10%,說明隱私交易并沒有很成功的擴展。
Tornado使用的單一大混幣池更加通用,而且基于以太坊這樣“久經考驗”的網絡。Torndao本質上就是一個用了zk-SNARK的混幣池,可信設置基于Groth16的論文。TornadoCash可以提供的特性包括:
只有被存進去的coin可以被提取
沒有幣可以被提取兩次
證明過程和幣的廢止通知是綁定的,相同證明但不同Nullifier的哈希不會允許提幣
安全性有126-bit的安全,不會因為composition而降級
Vitalik提到過,和擴容相比,隱私相對比較容易實現,如果一些擴容的protocol都可以成立的話,隱私基本上不會成為問題。
擴容:ZK的擴容可以在一層網絡上做,如Mina,也可以在二層網絡上做,即zk-rollup.ZKrollup的思路可能最早來自于Vitalik于2018的post,On-chainscalingtopotentially~500tx/secthroughmasstxvalidation。
ZK-rollup有兩類角色,一類是Sequencer,還有一個是Aggregator。Sequencer負責打包交易,Aggregator負責將大量的交易合并并創造一個rollup,并形成一個SNARK證明,這個證明會和Layer1以前的狀態進行比較,進而更新以太坊的Merkle樹,計算新的狀態樹。
Source:Polygon
ZKrollup的優缺點:
優點:費用低,不像OP會被經濟攻擊,不需要延遲交易,可以保護隱私,快速達成最終性
缺點:形成ZK證明需要大計算量,安全問題,不抗量子攻擊,交易順序可能被改變
Source:以太坊research
根據數據可用性以及證明的方法,Starkware對L2有一張經典的分類圖:
Source:Starkware
目前市場上最有競爭力的ZKrollup項目有:Starkware的StarkNet,Matterlabs的zkSync和Aztec的Aztecconnect,Polygon的Hermez和Miden,Loopring,Scroll等。
基本上技術路線就在于SNARK(及其改進版本)和STARK的選擇,以及對EVM的支持。
Aztec開發了通用化的SNARK協議-Plonk協議,運行中的Aztec3可能會支持EVM,但是隱私優先于EVM兼容
Starnet用的是zk-STARK,一種不需要可信設置的zkp,但是目前不支持EVM,有自己的編譯器和開發語言
zkSync也是用的plonk,支持EVM。zkSync2.0是EVM兼容的,有自己的zkEVM
Scroll,一種EVM兼容的ZKrollup,團隊也是以太坊基金會zkEVM項目的重要貢獻者
簡要討論下EVM兼容性問題:
ZK系統和EVM的兼容一直令人頭疼,一般項目會在兩者間取舍。強調ZK的可能會在自己的系統里做一個虛擬機,并有自己的ZK語言以及編譯器,但會加重開發者的學習難度,而且因為基本上不開源,會變成一個黑箱子。一般業界目前是兩種選擇,一是和Solidity的操作碼完全兼容,另一種是設計一種新的虛擬機同時ZK友好并兼容Solidity。業界一開始也沒有想到可以這么快的融合,但是近一兩年技術的快速迭代,讓EVM的兼容提升到一個新高度,開發者可以做到一定程度的無縫遷移,是振奮人心的進展,這將影響ZK的開發生態和競爭格局。我們會在之后的報告中仔細討論這個問題。
三、ZKSNARK實現的基本原理
Goldwasser、Micali和Rackoff提出了零知識證明有三個性質:
完整性:每一個擁有合理見證的聲明,都是可以被驗證者驗證的
可靠性:每一個只擁有不合理見證的聲明,都不應該被驗證者驗證
零知識:驗證過程是零知識的
所以為了了解ZKP,我們從zk-SNARK開始,因為很多目前的區塊鏈應用都是從SNARK開始。首先,我們先了解一下zk-SNARK。
zk-SNARK的意思是:零知識證明是zero-knowledgeSuccintNon-interactiveARgumentsofKnowledge。
ZeroKnowledge:證明過程零知識,不會暴露多余信息
Succinct:驗證體積小
Non-interactive:非交互過程
ARguments:計算具備可靠性,即有限計算能力的證明者不能偽造證明,無限計算能力的證明者可以偽造證明
ofKnowledge:證明者無法在不知道有效信息的情況下構建出一個參數和證明
對于證明者來說,在不知道證據的情況下,構造出一組參數和證明是不可能的。
Groth16的zk-SNARK的證明原理和如下:
Source:https://learnblockchain.cn/article/3220
步驟是:
將問題轉換為電路
將電路拍平成R1CS的形式.
R1CS轉換成QAP形式
建立trustedsetup,生成隨機參數,包括PK(provingkey),VK(verifyingkey)
zk-SNARK的證明生成和驗證
下一篇我們將開始研究zk-SNARK的原理、應用,通過幾個案例來透視ZK-SNARK的發展,并探索它與zk-STARK的關系等。
NFT這種數字資產在金融領域的價值亟待開采,首當其沖的便是NFT流動性不足的問題。目前市面上有幾種解決方案,本文將介紹使用sudoAMM的Sudoswap.
1900/1/1 0:00:00頭條 ▌美參議院擬將比特幣和以太坊視為商品由CFTC監管8月3日消息,美國參議院擬議的立法將比特幣和以太坊視為商品并由美國商品期貨交易委員會監管.
1900/1/1 0:00:00當加密貨幣交易所FTX于2021年6月宣布與領先的電子競技俱樂部TeamSoloMid(TSM)達成10年2.1億美元的贊助和冠名權協議時,這一巨大的條款在加密貨幣和電子競技世界引發了沖擊波.
1900/1/1 0:00:00日前,國家網信辦根據《區塊鏈信息服務管理規定》,公布了348個備案編號,其中包括近百家數字藏品相關企業,超過150個數字藏品相關服務.
1900/1/1 0:00:00譚紅朝:我們知道Web3的概念非常火,而且越來越多的人開始了探索Web3,為了幫助大家更好的了解Web3世界,金色財經聯合騰訊科技推出了Web3究竟離我們有多遠AMA活動.
1900/1/1 0:00:00作者:十四君 引發無數媒體轉發的二舅幣,可以由鏈上數據證明,并沒有卷款130W跑路,甚至整個項目可能都值不了130萬,實際轉走的1.3B只是1.3個BNB而已,好家伙.
1900/1/1 0:00:00