買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > ETH > Info

PRO:一文詳解多項式承諾:如何重塑整個區塊鏈?_TREE

Author:

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

不同多項式承諾方案列表

上表中,FRI是Starkware采用的多項式承諾方案,可以實現量子級別的安全,但證明的數據量卻是最大;IPA是Bulletproof和Halo2零知識算法默認的多項式承諾方案,驗證時間相對較長,采用的項目有門羅幣,zcash等,前兩者是不需要初始可信設置的。由上圖可以看出在證明大小與驗證時間上,KZG多項式承諾的優勢比較大,KZG承諾也是目前應用最廣的一種多項式承諾方式。但KZG是基于橢圓曲線,配對函數,需要初始可信設置的。ETH升級路線與多項式承諾的關聯

在ETH相關生態及其未來升級路線中,都可以看到多項式承諾的蹤影。

TheMerge:

現時的以太坊主鏈和BeaconChain將會合并,原本的PoW(工作量證明)共識將會轉變成PoS(權益證明)。TheSurge:

加密索賠和交易平臺OPNX宣布推出做市商計劃:4月8日消息,三箭資本創始人Su Zhu等人創辦的破產索賠交易所Open Exchange(OPNX)官方宣布推出做市商計劃(Maket Maker Program),旨在對做市商提供流動性激勵,激勵方式主要有兩種:一是最多200個VIP做市商每月可獲得5000美元補貼,二是按照交易額比例每月將支持5-50萬美元范圍的激勵。[2023/4/8 13:51:52]

添加DAS,極大的提高ETH的擴展性,通過Danksharding增強rollup性能。TheVerge:

引入Verkle樹(VerkleTrees)的設計來優化以太坊上的數據存儲。ThePurge:

通過剔除歷史數據和消除技術債務,驗證者不再需要使用大量硬盤空間去進行驗證工作。TheSplurge:

四個不同部分升級后的協調,旨在減少錯誤(Bugs)的出現和確保網絡能暢順運作,還有就是EVM改進和添加賬號抽象模型等。其中TheSurge升級將借鑒多項式承諾技術實現數據可抽樣性功能,TheVerge升級將利用多項式承諾來優化其數據結構,ETHL2的zkrollup也都采用了多項式承諾來實現其零知識證明帶來的性能拓展。什么是KZG多項式承諾

此文這里只介紹較好理解的KZG多項式承諾,KZG多項式承諾也被稱為卡特多項式承諾方案,是Kate,Zaverucha和Goldberg一起發表的。在一個多項式方案中,證明者計算一個多項式的承諾,并可以在多項式的任意一點進行打開,該承諾方案能證明多項式在特定位置的值與指定的值一致。之所以被稱為承諾,是因為當一個承諾值發送給某對象(驗證者)時,證明者不可以改變當前計算的多項式。他們只能夠對一個多項式提供有效的證明;當試圖作弊時,它們要不無法提供證明,要不證明被驗證者拒絕。KZG數學原理

長江商學院推出Global Unicorn Programs將為入選者提供Web3.0、區塊鏈等技術支持:金色財經報道,長江商學院正在推出的全球獨角獸項目(Global Unicorn Programs)在與阿聯酋世界政府峰會、迪拜行政委員會、新加坡黃埔集團(Whampoa Group)、首爾市政府和 Maekyung Media Group 的合作下,將先后在迪拜(2 月 15 日)、新加坡(5 月 16-19 日)與韓國首爾(9 月 12-15 日)落地。

據悉,Global Unicorn Programs 是一個高管教育項目,專注于歐亞大陸創造獨角獸和具有社會責任與全球視野的企業家生態系統。該項目將為入選者提供 Web3.0、區塊鏈、智能制造和人工智能等技術支持。[2023/1/16 11:14:27]

詳細可參考QiZhou博士在DappLearning講解的關于KZG視頻。在理解KZG之前,可以先了解一下多項式、群、環、域、橢圓曲線、生成元、配對公式、朗格朗日插值等數學定義。

具有可信設置的多項式承諾

外媒:FTX服務條款中明確禁止使用客戶資金進行交易:11月13日消息,據axios披露,FTX.com的服務條款明確表示禁止使用客戶資金進行交易。根據FTX服務條款第8.2節顯示:“你控制自己賬戶中持有的數字資產,你的數字資產所有權應始終歸你所有,不得轉讓給FTX Trading。你賬戶中的任何數字資產都不是FTX Trading的財產,也不應或可能借給 FTX Trading,FTX Trading不代表、也不應將用戶賬戶中的數字資產視為屬于FTX Trading的數字資產。”[2022/11/13 12:59:30]

單個證明

卡特證明單個數據的公式推衍如下,由于橢圓曲線群只支持加法同態,無法支持多項式之間的乘法,這是就需要通過配對函數解決,

由于橢圓曲線群并不支持運算多項式之間的乘法運算,所以此時得采用配對函數去解決

批量證明

具體應用場景

多項式承諾應用方向總結起來可以分為3大類數據可用性數據結構優化零知識證明系統1.數據可用性

9900萬枚USDC從USDC Treasury轉移至Coinbase:金色財經報道,Whale Alert數據顯示,99,000,000 枚USDC (99,010,985 USD) 從USDC Treasury轉移至Coinbase。[2022/10/25 16:37:41]

DAS核心目的:數據缺失則無法通過大多數節點抽查盡力做到:占用帶寬小,抽樣過程所需計算量小糾刪碼

糾刪碼會增加額外數據塊,這種情況很容易通過抽樣調查發現,從而提升安全性。以上圖為例,有4個數據,一次只能抽樣一個,假設一個數據有問題,每個用戶抽樣發現錯誤的概率是1/4,但是加入兩數據塊后,還是一個數據有問題,用戶抽樣發現的概率可以高達1/2。這樣就能大幅提升安全性。KZG也可實現糾刪碼,利用拉格朗日公式:比如把(0,3),(1,6)帶入公式可得,y=3x+3y1,y2可以理解為要保存的數據,對應點(3,12)等等,其中y值可以作為糾刪碼數據,其中任意兩個點都可以推出原多項式公式系數。

Matrixport研究主管:當iPhone可以用作加密錢包時Web3大規模采用時代才可能到來:金色財經報道,數字資產服務平臺 Matrixport 的研究主管 Markus Thielen 表示,我們不應該對 Google在 Web3 領域的努力感到驚訝,因為許多商業銀行、Web2 和 Web3 公司“在后臺做了大量工作”,他認為盡管 Google 的努力受到歡迎,但只有“當 iPhone 可以用作加密錢包時”,Web3 大規模采用的時代才可能到來,他補充說:“如果發生這種情況(即iPhone 可以用作加密錢包),加密行業的發展速度將從每小時 100 英里加速到 250 英里。”(inferse)[2022/10/14 14:27:25]

不同數據可用性項目組成Celestia=Tendermint(cosmos)+2d糾刪碼+欺詐證明+Namespacemerkletree+IPFS基礎設施PolygonAvail=Substrate(Polkadot)+2d糾刪碼+KZG多項式承諾+IPFS基礎設施ETHprotoDankSharding=Blobs數據+2d糾刪碼+KZG多項式承諾+ETH基礎設施EIP-4844升級將在TheMerge之后的下一個以太坊分叉升級中引入“proto-danksharding”并添加blob交易類型,這有望將第2層Rollup的可擴展性提高,同時為實現完全分片鋪平道路。BlobTransaction增加一種新的交易類型,這種交易包含額外的存儲空間——BlobsBlob開始只有128KiB的存儲空間一個交易最多包含2個Blob,即256KiB一個Block最多包含16個,即2MiB;Target是8個,即1MiBBlob以KZGCommitmentHash作為Hash,用于數據驗證,作用和Merkle類似節點同步鏈上的BlobTransaction后,Blob部分會在一段時間后過期刪除

L2需要通過更新目前在L1的合約,以支持DankSharding。Celestia通過欺詐證明實現。當見證人發現數據沒有被正確采用刪碼技術,那么這個人就會將欺詐證明提交從而來提醒其他節點。但是這里需要最少誠實假設和同步假設。protoDanksharding后的以太坊和PolygonAvail則采用了KZG多項式承諾(KZGcommitments)的方法。KZG多項式承諾方案,理論上要優于欺詐證明方案,帶寬需求更小,抽樣所需計算量也更小,也免去了欺詐證明中的包括少數誠實假設和同步假設等的安全假設。未來ETH也有意引入抗后量子密碼學(參考stark,采用哈希,不在使用橢圓曲線作為基礎),避免量子計算機攻擊。2.數據結構優化VerkleTree

VerkleTree的概念在2018年推出,作為ETH升級的一個重要部分,其相比于MerkleTree,在Proof的大小上,有著很大的提升;對于規模在十億級別的數據,MerkleTree的proof大約需要1kB,而對于VerkleTree,它將小于150Bytes。與MerkleTree一樣VerkleTree也能實現ProofofInclusion,而且只需KZGroot和Data就能驗證,不需要額外的Proof,更省帶寬。1.需求:StatelessClient節點不存完整的StateTree,只獲取需要的State來驗證BlockPortalNetwork對StateTree的PoI有更高的性能要求2.回顧DataAvailability里的KZGcommitment每個leaf都是polynomial上的點constantsizeproof,和leaf數量無關

3.VerkleTree

在不同樹結構中構建證明,更新證明,以及證明所需的復雜度:

Verkle方案不需要以太坊客戶端下載完整的狀態數據,使得ETH驗證者輕節點成為可能(甚至可支持手機運行),多項式承諾需要的證明空間復雜度大幅降低,帶寬量需求量也大幅減少。3.零知識證明系統

早期zk技術屬于線性PCP類。除要求可信設置外,主要缺點是如果需要為不同的計算提供證明,都需要一次新的設置。近期zk技術PIOP類支持通用初始設置和透明設置。新的zk證明系統通常可以描述為PIOP+PCS。前者可被視為是證明者用來說服驗證者的約定程序,而后者使用數學方法確保該程序不會遭到破壞。項目方可以按需修改PIOP,且可以在不同PCS中進行選擇。

由Amber文章里的圖可以看到zk系公鏈項目采用KZG方案的最多,有PloygonHermez,Scoll,Zksync2.0,Aztec,Aleo,Manta,以太坊基金會支持的PSE也采用的KZG方案。而Starknet,Risc0,PolygonMiden采用的是FRI方案,PloygonZkvm(Hermez)則是FRI與KZG的結合。值得一提是,一些新的零知識證明系統支持多項式承諾方案的切換,KZG未來也可以切換成其他多項式承諾方案。總的來說,多項式承諾正在重塑整個區塊鏈的架構,不論是在鏈的數據結構優化上,模塊化區塊鏈的數據可用性上,還是零知識證明系統上都將大有作為。其他地方是否還存在應用場景也是非常值得探索與跟進的。原地址

Tags:ERKPROETRTREEMeta MeerkatWolf Protocolmetro幣注冊tree幣紅豆杉

ETH
USD:The Block研究主管:12張圖回顧10月份的加密市場狀況_SAFEBTC

總體而言,10月是一個喜憂參半的月份,價格走勢積極但基本面卻顯得消極。調整后的鏈上總交易量下降35.1%至2370億美元: 調整后的穩定幣鏈上交易量下降24.2%至5804億美元,連續第3個月U.

1900/1/1 0:00:00
ONO:盤點入圍Cronos第5批生態捐贈的7個項目_NOS

本文來自Medium,Odaily星球日報譯者|MoniCronos是第一個基于CosmosSDK構建的EVM兼容Layer1,目前正在建設一個開放性生態系統.

1900/1/1 0:00:00
ESI:一文淺談如何更好地設計代幣分配周期_GENE

VC與創始人們都不應該在7年或以上的時間內獲得任何代幣。我們要感謝CMTDigital的CharlieSandor的貢獻和反饋。如果沒有他的意見,這篇文章將沒辦法寫出來.

1900/1/1 0:00:00
WEB3:「Web3.0元宇宙招聘會線上直播分享」即將上線_WEB

由微博,FaTPay聯合Odaily星球日報舉辦「Web3.0元宇宙招聘會線上直播分享」即將上線了!時間:10月29日直播地點:@星球日報Odaily IMF總裁與印度財政部長向多邊融資機構提議.

1900/1/1 0:00:00
QUO:a16z合伙人:最成功的應用是被包裝的游戲_SEC

在區塊鏈或者Web3的敘事中,最常見的一個思路是,用“Token”激勵行為,因此很多創業者的常見敘事是,“因為我給了激勵,所以自然而言就可以吸引用戶……”我對此類表達通常持懷疑態度.

1900/1/1 0:00:00
NFT:Binance研究院:全面解讀三季度五大關鍵賽道的市場表現_BIN

MarketPlus是BinanceResearch推出的加密市場狀態研究報告,三季度該報告涉及了加密市場概況、DeFi、NFT和GameFi幾個關鍵垂直領域,重點數據如下.

1900/1/1 0:00:00
ads