買以太坊 買以太坊
Ctrl+D 買以太坊
ads

ARK:HashKey Capital深度解讀ZK(一):歷史原理與行業_xmark幣最新消息

Author:

Time:1900/1/1 0:00:00

原文來源:HashKeyCapital?

當前區塊鏈行業里零知識證明項目增速驚人,特別是ZKP在擴容和隱私保護兩個層面應用的崛起,令我們接觸到了各種花樣繁多的零知識證明項目。由于ZKP極富數學性的特質,對于加密愛好者來說,想要深度了解ZK的難度大幅提升。因此我們也希望從頭梳理ZKP理論和應用層面的一些變化,與讀者一起探索對于crypto行業的影響和價值——通過幾篇報告的形式共同學習,也作為HashKeyCapital研究團隊的思考總結。本篇是該系列的第一篇,主要介紹ZKP的發展歷史、應用和一些基本原理。

一、零知識證明的歷史

現代零知識證明體系最早來源于Goldwasser、Micali和?Rackoff合作發表的論文:TheKnowledgeComplexityofInteractiveProofSystems,該論文提出于1985年,發表于1989年。這篇論文主要闡釋的是在一個交互系統中,經過K輪交互,需要多少知識被交換,從而證明一個證言是正確的。如果可以讓交換的知識為零,則被稱之為零知識證明。這里面會假設證明者具有無限資源,而驗證者只具有有限資源。而交互式系統的問題在于證明不完全是數學上可證的,而是概率意義上正確的,雖然概率很小(1/2^n)。

所以交互式系統并不完美,只有近似完備性,以此為基礎誕生的非交互式系統系統則具有完備性,成為零知識證明系統的完美所選。

早年的零知識證明系統在效率以及可用性方面都有所欠缺,所以一直都停留在理論層面,直到最近10年才開始蓬勃發展,伴隨著密碼學在crypto成為顯學,零知識證明走向臺前,成為至關重要的一個方向。特別是發展出一個通用的、非交互的、證明大小有限的零知識證明協議,是其中最關鍵的探索方向之一。

SPACE ID:“.arb”域名預注冊Phase 2已啟動上線:2月20日消息,去中心化域名協議SPACE ID宣布“.arb”域名預注冊Phase 2已啟動上線,預注冊截止時間為UTC時間2月25日14點。此前拍賣獲勝者現在可以注冊贏得的域名,其他人則可以注冊剩下的域名。SPACE ID還表示,SPACE ID 2.0現在已對所有人開放。[2023/2/21 12:18:20]

基本上零知識證明就是要在證明的速度、驗證的速度和證明體積的大小之間做取舍,理想的協議是證明快、驗證快、證明體積小。

零知識證明最重要的突破是Groth在2010年的論文ShortPairing-basedNon-interactiveZero-KnowledgeArguments,也是ZKP里面最重要的一組zk-SNARK的理論先驅。

零知識證明在應用上最重要的進展就是2015年Z-cash使用的零知識證明系統,實現了對交易及金額隱私的保護,后來發展到zk-SNARK和智能合約相結合,zk-SNARK進入了更為廣泛的應用場景。

在此期間,一些重要的學術成果包括:

2013年的?Pinocchio(PGHR13):Pinocchio:NearlyPracticalVerifiableComputation,將證明和驗證時間壓縮到適用范圍,也是Zcash使用的基礎協議。

2016年的Groth16:OntheSizeofPairing-basedNon-interactiveArguments,精簡了證明的大小,并提升了驗證效率,是目前應用最多的ZK基礎算法。

動態 | Mphasis與QEDIT簽署協議 以提供基于區塊鏈的增強隱私技術解決方案:信息技術解決方案提供商Mphasis周四宣布與QEDIT建立合作伙伴關系,為企業提供基于區塊鏈的隱私增強技術解決方案。(Moneycontrol)[2020/1/23]

2017年的?Bulletproofs(BBBPWM17)Bulletproofs:ShortProofsforConfidentialTransactionsandMore,提出了Bulletproof算法,非常短的非交互式零知識證明,不需要可信的設置,6個月以后應用于Monero,是非常快的理論到應用的結合。

2018年的zk-STARKs(BBHR18)Scalable,transparent,andpost-quantumsecurecomputationalintegrity,提出了不需要可信設置的ZK-STARK算法協議,這也是目前ZK發展另一個讓人矚目的方向,也以此為基礎誕生了StarkWare這個最重量級的ZK項目。

其他的發展包括PLONK、Halo2等也是極為重要的進展,也對zk-SNARK做出了某些層面上的改進。

二、零知識證明的應用簡述

零知識證明最廣泛的兩個應用就是隱私保護和擴容。早期隨著隱私交易和幾個有名的項目Zcash和Monero等推出,隱私交易一度成為非常重要的門類,但由于隱私交易的必要性并沒有業界希望的那樣突出,因此這一類代表性項目開始慢慢進入二三線的陣營。而應用層面,擴容的必要性提升到無以復加,隨著以太坊2.0在2020年轉變為以rollup為中心的路線,ZK系列正式又回歸業界的視線,成為焦點。

聲音 | 日本HashPort CEO:中國已形成完善的區塊鏈產業生態:日本區塊鏈業務咨詢公司HashPort CEO吉田世博在烏鎮區塊鏈峰會上表示,2019年是區塊鏈時代的開端。(科創板日報)[2019/11/9]

隱私交易:隱私交易有很多已經實現的項目,包括使用SNARK的Zcash,Tornado,使用bulletproof的Monero,以及Dash。Dash嚴格意義上用的不是ZKP,而是一種簡單粗暴的混幣系統,只可以隱藏地址而不能隱藏金額,在此略過不表。

Zcash應用的zk-SNARKs交易步驟如下:

System?setup階段生成證明秘鑰和驗證秘鑰,借助KeyGen?function

CPA階段ECIES加密方法用來生成公鑰和私鑰

MintingCoins階段,生成新幣的數量。公共地址和幣的commitment

Pouring階段,生成zk-SNARK證明,證明被加到了pour交易賬本中

Verification階段,驗證者驗證Mint和Pour的交易量是否正確

Receiving階段,receiver接收幣。如果想使用收到的幣,則繼續調用Pouring,形成zk-SNARK驗證,重復上述4-6的步驟,完成交易。

Zcash使用零知識還是有局限性的,就是其基于UTXO,所以部分交易信息只是被shield了,而不是真正的掩蓋。因為其基于比特幣的設計的單獨網絡,所以難以擴展。真正使用shielding的使用率只有不到10%,說明隱私交易并沒有很成功的擴展。

分析 | LongHash:波點錢包疑似套現行為可能影響TRX幣價:LongHash發文稱,波點錢包自稱為波點官方合作的錢包,依靠承諾的高額“定存利息”和拉人頭返現,錢包余額最高時曾達到12億枚TRX。2月中旬之后,波點錢包以主網升級為由停止了TRX充提現,錢包總余額一直維持在7.7億個TRX左右。但是從3月18日開始,波點錢包在未告知用戶的情況下,開始將所持有的TRX轉入到10個新建地址,原波點錢包地址TRX余額從6.85億個TRX下降到約2百萬個TRX,按當前TRX價格計算總計提現約1800萬美金。 3月23日,波點錢包將新建地址中的4000萬個TRX轉入幣安交易所,疑似砸盤套現。之后,波點錢包又進行了多次大額轉出,目的地均為幣安交易所。雖然TRX價格的下跌不一定由波點錢包的套現行為導致,但也是起到了推波助瀾的作用。當前波點錢包總共還有約5.14億枚TRX。[2019/4/12]

Tornado使用的單一大混幣池更加通用,而且基于以太坊這樣“久經考驗”的網絡。Torndao本質上就是一個用了zk-SNARK的混幣池,可信設置基于Groth?16的論文。TornadoCash可以提供的特性包括:

只有被存進去的coin可以被提取

沒有幣可以被提取兩次

證明過程和幣的廢止通知是綁定的,相同證明但不同Nullifier的哈希不會允許提幣

安全性有126-bit的安全,不會因為composition而降級

Vitalik提到過,和擴容相比,隱私相對比較容易實現,如果一些擴容的protocol都可以成立的話,隱私基本上不會成為問題。

獨家 |metahash出現同名涉嫌欺詐的山寨合約:第三方大數據評級機構RatingToken最新數據顯示,2018年8月5日全球共新增905個合約地址,其中193個為代幣型智能合約。RatingToken安全審計團隊發現,名為MetaHash Coin(MHC)的某山寨合約有疑似聚集資金的行為,智能合約檢測3.17分,存在7個中危漏洞。該合約與近期較為火熱的眾籌項目metahash同名,但與metahash官方核實后確認其并未創建MetaHashCoin(MHC)合約,此合約有欺詐嫌疑。另外,此山寨合約創建者還創建了多個同類型合約,代碼中均存在誘導用戶轉入ETH的行為。

昨日新增合約中還發現QQToken(QQ)和Bitcoin(BTC)等山寨合約,RatingToken安全審計團隊提示用戶,近期同名山寨合約增發頻繁,用戶需提高警惕,可登錄RatingToken官網,一鍵檢測合約質量。查看更多智能合約檢測結果,請點擊原文鏈接。[2018/8/6]

擴容:ZK的擴容可以在一層網絡上做,如Mina,也可以在二層網絡上做,即zk-rollup.ZKrollup的思路可能最早來自于Vitalik于2018的post,On-chainscalingtopotentially~500tx/secthroughmasstxvalidation。

ZK-rollup有兩類角色,一類是Sequencer,還有一個是Aggregator。Sequencer負責打包交易,Aggregator負責將大量的交易合并并創造一個rollup,并形成一個SNARK證明,這個證明會和Layer1以前的狀態進行比較,進而更新以太坊的Merkle樹,計算新的狀態樹。

Source:Polygon

ZK?rollup的優缺點:

優點:費用低,不像OP會被經濟攻擊,不需要延遲交易,可以保護隱私,快速達成最終性

缺點:形成ZK證明需要大計算量,安全問題,不抗量子攻擊,交易順序可能被改變

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兼容的ZK?rollup,團隊也是以太坊基金會zkEVM項目的重要貢獻者

簡要討論下EVM兼容性問題:

ZK系統和EVM的兼容一直令人頭疼,一般項目會在兩者間取舍。強調ZK的可能會在自己的系統里做一個虛擬機,并有自己的ZK語言以及編譯器,但會加重開發者的學習難度,而且因為基本上不開源,會變成一個黑箱子。一般業界目前是兩種選擇,一是和Solidity的操作碼完全兼容,另一種是設計一種新的虛擬機同時ZK友好并兼容Solidity。業界一開始也沒有想到可以這么快的融合,但是近一兩年技術的快速迭代,讓EVM的兼容提升到一個新高度,開發者可以做到一定程度的無縫遷移,是振奮人心的進展,這將影響ZK的開發生態和競爭格局。我們會在之后的報告中仔細討論這個問題。

完整性:每一個擁有合理見證的聲明,都是可以被驗證者驗證的

可靠性:每一個只擁有不合理見證的聲明,都不應該被驗證者驗證

零知識:驗證過程是零知識的

所以為了了解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

步驟是:

1.?將問題轉換為電路

2.?將電路拍平成R1CS的形式.

3.?R1CS轉換成QAP形式

4.?建立trusted?setup,生成隨機參數,包括PK(provingkey),VK(verifyingkey)

5.?zk-SNARK的證明生成和驗證

下一篇我們將開始研究zk-SNARK的原理、應用,通過幾個案例來透視ZK-SNARK的發展,并探索它與zk-STARK的關系等。

Reference:

https://ethresear.ch/t/on-chain-scaling-to-potentially-500-tx-sec-through-mass-tx-validation/3477

https://blog.polygon.technology/zkverse-why-zero-knowledge-rollups-need-a-new-consensus-mechanism/

https://blog.decentriq.com/zk-snarks-primer-part-one/

https://vitalik.ca/general/2021/01/26/snarks.html

https://z.cash/technology/zksnarks/

Tags:ARKNARASHINGxmark幣最新消息MercenaryLilith Cash ShareRINGER

歐易okex官網
HIG:本月市值低于 2500 萬的三大元界加密貨幣值得關注潛力巨大_atlasprotocol

雖然熊市對所有加密資產都很艱難,但過去幾周特別看好比特幣、以太坊和元界加密貨幣。盡管市場條件不利,元界和NFT項目仍在繼續構建其生態系統并為市場提供真正的效用.

1900/1/1 0:00:00
THE:Gate.io WCTC2 Twitter Crews, $5 for 5 Best Posts Daily_Negative Tax

Oneofthemost-anticipatedfuturestournamentsof2022hasofficiallyopeneditstickets.

1900/1/1 0:00:00
AURORA:一文詳解如何預測合并TTD值_EAURIC

原文來源:notes.ethereum.org原文作者:MarioHavel 預測TTD值的策略 為了設定合并的終結總難度值,我們可以先預測給定日期的TTD值,然后根據算力的變動進行調整.

1900/1/1 0:00:00
AXI:Axie的新模式能給玩家帶來新的體驗嗎?能否就此重生?_FIN

曾經的區塊鏈游戲龍頭AxieInfinity不復此前風光,在過去的幾個月間,它接連陷入游戲通證暴跌、鏈上資產被盜等困境,日活躍用戶由高峰時期的百萬人降至數萬人。更多資訊微薄團團財經這里詳細了解.

1900/1/1 0:00:00
區塊鏈:北京市委書記蔡奇:元宇宙是一片新藍海,推動元宇宙產業聚集發展_元宇宙

8月10日消息,8月9日,北京市委書記蔡奇到通州區張家灣設計小鎮調查研究。據北京日報消息,蔡奇在調研時來到元宇宙應用創新中心,了解產業發展情況.

1900/1/1 0:00:00
TPS:XT.COM關於恢復XCH充提的公告_XT.com

尊敬的XT.COM用戶:XCH錢包升級維護已完成,XT.COM現已恢復XCH充提業務。給您帶來的不便,請您諒解!感謝您對XT.COM的支持與信任!XT.COM團隊2022年8月11日資金流協議S.

1900/1/1 0:00:00
ads