不同多項式承諾方案列表
上表中,FRI是Starkware采用的多項式承諾方案,可以實現量子級別的安全,但證明的數據量卻是最大;IPA是Bulletproof和Halo2零知識算法默認的多項式承諾方案,驗證時間相對較長,采用的項目有門羅幣,zcash等,前兩者是不需要初始可信設置的。
由上圖可以看出在證明大小與驗證時間上,KZG多項式承諾的優勢比較大,KZG承諾也是目前應用最廣的一種多項式承諾方式。但KZG是基于橢圓曲線,配對函數,需要初始可信設置的。
ETH升級路線與多項式承諾的關聯
在ETH相關生態及其未來升級路線中,都可以看到多項式承諾的蹤影。
TheMerge:
現時的以太坊主鏈和BeaconChain將會合并,原本的PoW(工作量證明)共識將會轉變成PoS(權益證明)。
TheSurge:
添加DAS,極大的提高ETH的擴展性,通過Danksharding增強rollup性能。
TheVerge:
引入Verkle樹(VerkleTrees)的設計來優化以太坊上的數據存儲。
CNBC:有大型金融機構正在考慮收購硅谷銀行的可能性:金色財經報道,據CNBC,有大型金融機構正在考慮收購硅谷銀行(SIVB.O)的可能性。硅谷銀行盤前再度跌超50%,停牌前一度漲超50%。[2023/3/10 12:54:52]
ThePurge:
通過剔除歷史數據和消除技術債務,驗證者不再需要使用大量硬盤空間去進行驗證工作。
TheSplurge:
四個不同部分升級后的協調,旨在減少錯誤(Bugs)的出現和確保網絡能暢順運作,還有就是EVM改進和添加賬號抽象模型等。
其中TheSurge升級將借鑒多項式承諾技術實現數據可抽樣性功能,TheVerge升級將利用多項式承諾來優化其數據結構,ETHL2的zkrollup也都采用了多項式承諾來實現其零知識證明帶來的性能拓展。
什么是KZG多項式承諾
此文這里只介紹較好理解的KZG多項式承諾,KZG多項式承諾也被稱為卡特多項式承諾方案,是Kate,Zaverucha和Goldberg一起發表的。在一個多項式方案中,證明者計算一個多項式的承諾,并可以在多項式的任意一點進行打開,該承諾方案能證明多項式在特定位置的值與指定的值一致。
之所以被稱為承諾,是因為當一個承諾值發送給某對象(驗證者)時,證明者不可以改變當前計算的多項式。他們只能夠對一個多項式提供有效的證明;當試圖作弊時,它們要不無法提供證明,要不證明被驗證者拒絕。
芝加哥期權交易所CBOE波動率指數創2023年內高點:金色財經報道,芝加哥期權交易所的CBOE波動率指數 (VIX,通常被稱為華爾街的恐懼指標) 在過去三天從18躍升至23,達到2023年的高點。相比之下,衡量未來30天隱含或預期波動率的比特幣波動率指數 (BVIN) 最近趨于平穩,接近三個月區間60至100的下限,隱含波動率通常代表市場不確定性或焦慮程度。與此同時,衡量美國國債波動性的MOVE指數已躍升至一個月高點120,結束了四個月的下跌趨勢。比特幣價格在2020年3月出現大幅下降后才演變為一種宏觀資產,此后BVIN通常密切跟蹤VIX的走勢,分析認為比特幣在2023年取得突破的條件已經成熟。(coindesk)[2023/2/22 12:23:19]
KZG數學原理
詳細可參考QiZhou博士在DappLearning講解的關于?KZG視頻。
在理解KZG之前,可以先了解一下多項式、群、環、域、橢圓曲線、生成元、配對公式、朗格朗日插值等數學定義。
具有可信設置的多項式承諾
單個證明
卡特證明單個數據的公式推衍如下,由于橢圓曲線群只支持加法同態,無法支持多項式之間的乘法,這是就需要通過配對函數解決,
加密銀行SEBA Bank AG聘請前摩根大通高管擔任亞太地區CEO:金色財經報道,瑞士寶盛集團(Julius Baer Group Ltd.)支持的加密貨幣銀行SEBA Bank AG聘請了前摩根大通高管Amy Yu擔任其亞太地區首席執行官。此前Amy Yu曾幫助摩根大通建立了亞太市場的大宗服務部門。她于2018年加入加密行業,最初在BitMex負責全球機構銷售業務。她隨后加入了Genesis,該公司于今年早些時候申請破產。(彭博社)[2023/2/7 11:52:18]
由于橢圓曲線群并不支持運算多項式之間的乘法運算,所以此時得采用配對函數去解決。
由于橢圓曲線群并不支持運算多項式之間的乘法運算,所以此時得采用配對函數去解決。
批量證明
具體應用場景
多項式承諾應用方向總結起來可以分為3大類
數據可用性數據結構優化零知識證明系統1.數據可用性
“大空頭”Michael Burry:我們將看到另一個通貨膨脹高峰:金色財經報道,對沖基金經理、電影《大空頭》原型Michael Burry發布推文表示,美國通貨膨脹達到頂峰,但這不是這個周期的最后一個高峰。他在推文中警告道,我們很可能會看到CPI走低,2023年下半年可能為負值,而且無論從哪個定義來看,美國都將陷入衰退。美聯儲將降息,政府將刺激。我們將有另一個通貨膨脹高峰,這并不難。
美聯儲將于2023年 1 月 4 日發布其聯邦公開市場委員會 (FOMC) 會議紀要,為未來的政策提供指導。[2023/1/3 22:21:13]
DAS
核心目的:數據缺失則無法通過大多數節點抽查
盡力做到:占用帶寬小,抽樣過程所需計算量小
糾刪碼
糾刪碼會增加額外數據塊,這種情況很容易通過抽樣調查發現,從而提升安全性。
以上圖為例,有4個數據,一次只能抽樣一個,假設一個數據有問題,每個用戶抽樣發現錯誤的概率是1/4,但是加入兩數據塊后,還是一個數據有問題,用戶抽樣發現的概率可以高達1/2。這樣就能大幅提升安全性。
KZG也可實現糾刪碼,利用拉格朗日公式:
比如把(0,3),(1,6)帶入公式可得,y=3x+3
區塊鏈協會在Grayscale的比特幣ETF上訴中提交了支持性簡報:金色財經報道,區塊鏈協會提交了一份簡報,進一步說明 Grayscale與證券交易委員會因未能批準現貨比特幣交易所交易基金而發生的法律對峙。今天在 Grayscale訴訟中提交了一份法庭之友簡報。法庭之友簡報允許經法院批準的外部當事人提供額外的信息或見解,盡管它們不能引入新的事實。區塊鏈協會的簡報支持 Grayscale 的論點,即SEC拒絕其將其旗艦基金轉換為ETF的申請違反了其程序。它在收到拒絕后不久就開始了上訴程序。[2022/10/19 17:36:55]
y1,y2?可以理解為要保存的數據,
對應點(3,12)等等,其中?y?值可以作為糾刪碼數據,其中任意兩個點都可以推出原多項式公式系數。
不同數據可用性項目組成
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個,即1MiB
3.Blob以KZGCommitmentHash作為Hash,用于數據驗證,作用和Merkle類似
4.節點同步鏈上的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來驗證Block
PortalNetwork
對StateTree的PoI有更高的性能要求
2.回顧DataAvailability里的?KZGcommitment
a.每個leaf都是polynomial上的點
b.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未來也可以切換成其他多項式承諾方案。
總的來說,多項式承諾正在重塑整個區塊鏈的架構,不論是在鏈的數據結構優化上,模塊化區塊鏈的數據可用性上,還是零知識證明系統上都將大有作為。其他地方是否還存在應用場景也是非常值得探索與跟進的。
一、入口的發展歷史 當前Web3.0行業整體暫時處于發展的早期,和傳統的Web2.0行業相比,流量的攫取還暫時處于較為原始的階段,通常以一種較為粗獷的方式進行.
1900/1/1 0:00:00過去的48小時對加密貨幣來說是瘋狂的。FTX是世界第三大加密貨幣交易所。現在,據說它資不抵債,并且正在被幣安收購.
1900/1/1 0:00:00Aptos的空投造富效應引發了一大批公鏈空投熱,各種Airdrop賬號和預測也都來了,這張是比較火的網傳圖,來源?@WagameEth?,今天主要說一說zkSync的背景、空投、交互這些事.
1900/1/1 0:00:001/我花了一些時間研究哪些NFT項目受到FTX破產的影響。這些發現既令人鼓舞又令人難過。以下是我目前發現的情況:2/好消息:許多頂級的NFT收藏團隊表示,他們沒有受到FTX的實質性影響.
1900/1/1 0:00:00本周四?,比特幣(BTC)的價格跌至15,625美元。這是自2020年11月以來最大的加密貨幣首次跌破16,000美元。BTC價格當天下跌14%,是近五個月以來的最大跌幅.
1900/1/1 0:00:00來源|?零壹財經?排版?|王紀瓏琰10月31日,香港財庫局正式發布《有關香港虛擬資產發展的政策宣言》,闡明政府在虛擬資產行業和生態圈的政策立場和方針.
1900/1/1 0:00:00