比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > SAND > Info

為以太坊引入 KZG 承諾:工程師視角(下)_BSP

Author:

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

干貨 | 為以太坊引入 KZG 承諾:工程師視角(上)

(續前)什么是 KZG10 承諾?

注 3.6:如果啟動設置所計算的 [s],[s^2]…[s^d] 只計算到了指數 d,這一組值是不能用來生成任何階數大于 d 的多項式的承諾的。反之亦然。

因為在安全的曲線上,沒有辦法用兩個點相乘來得出第三個點,所以 [s^(d+k)] 是一個(永遠!)無法求出的值,因此可以說,任意的承諾 c(f) 都只能表示一個階數小于等于 d 的多項式。

注 3.7:使用 KZG10 承諾的證據基本上就是在證明 f(x) - 某些余數 的結果可以按特定的辦法來分解,但這就要有一種辦法可以 相乘 這些因數,并與原始的承諾相比較 C(f)=f([s])。

為此,我們需要 “配對方程”,就是一種能把曲線上的兩個點相乘并與另一個曲線點比較的乘法,因為我們無法直接讓這兩個曲線點直接相乘來得到合成的曲線點。

注 3.8:上述兩個屬性,可以進一步用來證明某個承諾 c(f) 所代表的多項式 f(x) 的階數 k 小于 d。

綜上,KZG10 承諾可以有很好的屬性:

驗證承諾的過程是:(由區塊生成者)提供底層多項式在任意點 r 上的值 y=f(r) ,以及除法多項式 q(x)=(f(x)-y)/(x-r) 在 [s] 點的值(即 q([s])),并用 配對方程 來對比之前所提供的承諾 f[s]。這就叫 開啟 在 r 點的承諾,而 q([s]) 就是證據。容易看出,q(s) 就是 p(s)-r 除以 s-r ,恰好就是我們用配對方程來檢查的東西,即檢查 (f([s])-[y]) * '= q([s]) * [s-r]' (譯者注:此處疑為 f(s)-r ,但原文就是 p(s)-r)。

ApeCoin新提案擬為以太坊社區提供100萬美元捐贈:4月16日消息,ApeCoin社區發起新提案AIP-230,旨在為以太坊社區提供100萬美元捐贈,其中包括向ETH Global捐贈30萬美元,以及向11場ApeCoin黑客松和至少5項公益活動贊助70萬美元。[2023/4/16 14:07:00]

在非交互且確定性的版本中, Fiat Shamir Heuristic 提供了一種辦法來獲得相對隨機的點 r:因為隨機性只跟我們嘗試證明的輸入有關,即,只要已經有了承諾 c=f([s]) ,r 就可以用哈希所有輸入(r=Hash(C,..))來獲得,而 承諾的提出者 要負責提供 開啟點 和 證據。

使用預先計算好的拉格朗日多項式,f([s]) 和 q([s]) 都可以在 求值形式 下直接計算。要計算 r 處的開啟值,就需要把 f(x) 轉為 f(x)=a0+ a1*x^1.... 的系數形式(也即抽取出 a0、a1、…)。可以通過 反向快速傅立葉變換 來實現,復雜度為 O(d log d),但甚至這里也有一種可用的替代算法,在 O(d) 的復雜度內完成計算,而無需使用反向快速傅立葉變換。

你可以使用單個開啟點和證據來證明 f(x) 的多個值,也就是多個索引值對應的數值, index1=>value1、index2=>value2 …

(用于計算證據的)除法多項式 q(x) 現在變成了 f(x) 除以零多項式 z(x) =(x-w^index1)*(x-w^index2)...(x-w^indexk) 的商

BitDAO社區發起新提案投票,擬為以太坊L2網絡Mantle規劃1年預算資金:2月14日消息,BitDAO社區發起BIP-19提案,該提案提議為此前推出的以太坊L2網絡Mantle規劃一年預算資金,包括1000萬枚BIT和1400萬枚USDC用于支付測試網6個月運營費用,以及1.45億枚BIT和3400萬枚USDC用于支付主網一年的運營支出等。

關于該提案的投票現已開啟,截止2月20日結束。[2023/2/14 12:06:11]

余數為 r(x) ( r(x) 是一個最大階數為 k 的多項式,由 index1=>value1, index2=>value2 … indexk=valuek 插值而成)

檢查 ( f([s])-r([s]) )* ' = q([s]) * z([s]')

在 PoS 鏈的共同起步設置中,共享的數據塊會被表示為低階的多項式(并為了 糾刪碼 而使用同樣的 擬合 多項式擴展為兩倍大),KZG 承諾可以用來檢查任意 隨機 分塊并驗證和確保 數據可得性,而無需獲得 兄弟數據點。這就開啟了隨機取樣的可能性。

現在,對于一個最大可能包含 2^28 個賬戶鍵的狀態,你需要至少 2^28 階的多項式來構建 扁平的 承諾(flat commitment)(實際上的賬戶鍵總空間會大得多得多)。在更新和插入的時候,會有一些不便利。對任一賬戶的任意更改,都會觸發承諾(以及更麻煩的,見證數據/證據)的重新計算。

更新 KZG10 承諾

對任一 索引值 => 數值 點的任何更改,比如更改了 indexk,都需要使用相應的拉格朗日多項式來更新承諾。復雜度約為每次更新 O(1)。

報告:Polygon為以太坊帶來可擴展性方面的成功表明開發者必須接觸到主流消費者:金色財經報道,Bernstein在周三的一份研究報告中稱,Polygon區塊鏈在為以太坊帶來可擴展性方面的成功表明,開發者必須接觸到主流消費者,而不是僅僅在 \"加密貨幣崇拜 \"中運作。Polygon 擁有約 1.7 億個地址的龐大用戶群,其中約 30 萬個被歸類為活躍地址。它以每天 80,000 個新用戶的速度增長。Polygon的費用也較低,使交易平臺Uniswap和OpenSea等應用程序更容易滿足零售需求。[2022/9/29 6:01:31]

但是,因為 f(x) 本身也改變了,所以所有的見證 q_i([s]) ,也即所有對第 i 個鍵值對的見證,也需要更新。總復雜度約為 O(N)

如果我們沒有維護預先計算好的 q_i([s]) 見證,任何一條見證數據都要從頭開始計算,都需要 O(N)

一種復雜度為 sqrt(N) 的更新 KZG10 承諾的構造

因此,為了實現理想承諾方案的第四點,我們需要一個特殊的構造:Verkle trie。

需要表示的以太坊的狀態大約有 2^28 約等于 16^7 約等于 2.5 億 個鍵值對。如果我們只使用扁平的承諾(那么我們需要的階數就至少是 2^28)。雖然我們的證據永遠是 48 個字節的橢圓曲線元素,但任意的插入或更新,都需要 O(N) 次操作來更新所有預先計算好的見證數據(也就是所有點的 q_i(s) ,因為 f(x) 本身已經改變了);甚至于,如果沒有預先計算好的見證數據,則每條見證數據都需要花 O(N) 來重新計算。

因此,我們需要把扁平的結構換成叫做 Verkle 樹 的結構,跟默克爾樹一樣是樹結構。

以色列區塊鏈公司Kirobo為以太坊交易提供“撤銷”功能:以色列區塊鏈安全公司Kirobo此前推出的“可檢索轉賬”服務現在可用于以太坊網絡上。對于MetaMask的用戶和任何使用WalletConnect協議的錢包,可檢索的轉賬允許用戶通過生成由發送方輸入的密碼來回收發送到錯誤地址的資金。資金接收方還必須輸入匹配的密碼,否則發送方就會收回資金,從而撤銷交易。此外,該服務還旨在防止向不支持存款的智能合約發送資金,以及防止中間人攻擊。(Coindesk)[2020/11/12 14:08:46]

即,像默克爾樹一樣,構建出一棵承諾樹,這樣我們就可以保證階數 d 比較小(但也需要高達約 256 或者 1024)。

每個父節點都編碼對其子節點的承諾,子節點就是一個映射,其索引值都存在其父節點內

實際上,父節點的承諾編碼了哈希后的子節點,因為承諾的輸入是標準化的、32 字節的值(見上文的 注3.0)。

葉子節點編碼了對其所存儲的數據的 32 字節哈希值的承諾;或者直接跳轉到數據,假如其 32 字節的數據的用法與下一章提到的 狀態樹 提議用法一樣的話。

要提供對一個分支的證據(類似于默克爾分支證據)時,一個多值證明的承諾 D、E 可以圍繞使用 fiat shamir heruristic 產生一個相對隨機的點 t 來生成。

復雜度

這里是一份對 Verkle 多值證明的分析

更新/插入 葉子節點 index=>value 需要更新 log_d(N) 個承諾 ~ log_d(N)

以太坊聯合創始人:以太坊2.0將成為以太坊1.0上“最大和最復雜DeFi應用”:以太坊聯合創始人兼軟件公司ConsenSys創始人約瑟夫·魯賓(JosephLubin)在最近接受YouTube頻道BaselineProtocol采訪時表示,以太坊1.0將會永遠存在,原因是以太坊2.0只是從以太坊1.0自然過渡,以太坊1.0永遠不會消失,以太坊1.0正在演變為以太坊1.5,它將是無狀態的,并且容易被以太坊2.0吸收。以太坊2.0正在到來,現在正處于最終測試網的中間階段,不同團隊構建了許多以太坊2.0客戶端,因此需要在測試網上進行流暢操作測試。約瑟夫·魯賓還表示,以太坊2.0將成為以太坊1.0上的“最大和最復雜DeFi應用”。(Cointelegraph)[2020/9/12]

為生成證據,證明者需要

計算 f_i(X)/(X-z_i) 在 [s] 處的值,用于生成 D ,復雜度總計 O(d log_d N),但可以在 更新/插入 時調整以節約預計算,復雜度會變成O d log_d(N)

計算 m 個 ~ O( log_d(N) ) 個 f_i(t) 來計算 h(t),總計為 O (d log_d N)

計算 π, ρ ,需要對 m~ log_d N 個指數多項式的和做除法。需要約 O(d log_d N) 來獲得分子的求值形式,以計算除法

證明的規模(包括用于計算 E 的分支承諾)加上驗證的復雜度 ~ O( log_d(N) )

被提議的 ETH 狀態 Verkle 樹

單一的樹結構,存儲賬戶的 header 和 代碼分塊,還有 存儲項分塊,節點的承諾為階數 d=256 的多項式

把地址和 頭/存儲空檔 結合起來推導出一個 32 字節的 storageKey,本質上就是元組 (address,sub_key,leaf_key) 的一種表示

所推導的鍵的前 30 個字節用于構建普通的 verkle 樹節點 pivots

后 2 個字節是一個樹高為 2 的子樹,表示最多 65536 個 32 字節的分塊

對于基本的數據,這個樹高為 2 的子樹最多有 4 個葉子承諾,來覆蓋 haeader 和 code

因為一個分塊為 65536*32 字節的分塊表示為單個的字數,所以主樹上可能有許多子樹來存儲一個賬戶

Gas 定價方案

訪問類型 (address, sub_key, leaf_key) 的事件

每一個專門的訪問事件都收取 WITNESS_CHUNK_COST

每個專門的 address,sub_key 組合都收取額外的 WITNESS_BRANCH_COST

代碼默克爾化

代碼會自動成為 verkle 樹的一部分(作為統一的狀態樹的一部分)

一個區塊的 header-qobx 和 code 都作為一個樹高為 2 的承諾樹的一部分

單個分塊最多有 4 條見證數據,分別收取 WITNESS_CHUNK_COST,訪問賬戶需要收取一次 WITNESS_BRANCH_COST

ETH PoS 的目標之一是能夠提交約 1.5MB/s 的數據量(把這個吞吐量理解為狀態變更的吞吐量,因而是 L2 rollup 可以利用的交易吞吐量,最終是 L1 EVM 的吞吐量)。要實現這一點,許多并行的區塊提議要能發出并在給定的 12 秒內驗證;也就是要存在多條分片(約 64),每個分片在每個 slot 都要發布自己的數據塊。若有大于 2/3 的投票支持,信標鏈區塊將包含分片數據塊,分叉選擇規則也將根據信標鏈區塊內所有數據塊及其祖先的數據可得性確定它是否能成為主鏈區塊。

注 3:此時的分片不是鏈,任何隱含的順序都要由 L2 協議來解釋。

KZG 承諾也可以用來構建數據有效性和可得性方案,客戶端無需訪問分片提議者發布的完整數據就可以校驗其可得性。

分片數據塊(不帶糾刪碼)是 16384 個樣本(每個 32 字節),約為 512 kb;還有數據頭,主要由這些樣本相應的最大 16384 階的多項式承諾組成

但多項式求值形式 D 卻有 2^16384 的規模,即,1,w^1,…w^,… w^32767,而 W 是 32768 的單元根(不是 16384 的)

我們可以為數據(f(w^i)=sample-i for i<16384)擬合出最大 16384 階的多項式,并擴展到 32768 作為糾刪碼樣本,即計算 f(w^16384) … f(w^32767)

對每個點的值的證明也同時計算并與樣本一起發布

32768 個樣本中獲得任意 16384 個都可以完全恢復出 f(x) 以及原始的樣本,即 f(1),f(w^1),f(w^2)… f(w^16383)

這糾刪編碼的 32768 個樣本分為 2048 個分塊,每個分塊包含 16 個樣本,即 512 字節的數據;由分片提議者水平地發布,即將第 i 個分塊以及相應地證據發給第 i 個垂直子網絡,外加全局公開完整數據的承諾

在被指定的 (shard, slot),每個驗證者都在 k~20 個垂直子網中下載和檢查這些分塊,并使用對應數據塊的承諾來驗證它們,以建立數據可得性保證

我們需要為每個 (shard, slot) 安排足夠多的驗證者,使得總體上一般(乃至更多的數據)都被獲取了;另外,還要滿足一些統計學上的要求,每個 (shard, slot) 約 128 個委員,需要有至少 70 個(也即 2/3 )委員的見證,使得該分片數據塊能成功打包到信標鏈上,

至少需要約 262144 個驗證者(32 個 slot,乘以 64 個分片,再乘上至少 128 個委員)

如我們在 POC verkle go 代碼庫中看到的,以狀態樹的規模構建完一次 verkle 之后,插入和更新都非常快:

插入/更新 的基準測試

證明生成驗證的基準測試

Tags:NBSBSP以太坊INDnbs幣官網BSP價格以太坊價格走勢圖WindSwap

SAND
在進入下一個加密牛市之前 你會遇到這6個坑_加密貨幣

加密風暴始于2010年比特幣首次推出時,10年后市場上有數千種加密貨幣,總價值約為1萬億美元。在上一次牛市中,價格飆升創造了數以萬計的加密貨幣百萬富翁.

1900/1/1 0:00:00
金色觀察 | 薩爾瓦多BTC舉措面面觀:宏觀經濟、金融和法律問題大討論_數字貨幣

6月9日,薩爾瓦多國會投票批準總統提交的比特幣作為法定貨幣的提案,薩爾瓦多成為全球首個承認比特幣為合法貨幣的國家。薩爾瓦多的比特幣舉措引發多方關注,比特幣相關法律、金融影響等問題也引發熱議.

1900/1/1 0:00:00
金色早報 | Kusama首個平行鏈插槽拍賣已啟動_NFT

頭條 ▌Kusama首個平行鏈插槽拍賣已啟動據 Kusama 官方表示,經投票通過,Kusama 首個平行鏈插槽拍賣已啟動.

1900/1/1 0:00:00
礦業強監管后:交易需求降至34個月以來最低點_POOL

根據劍橋大學新興金融研究中心(Alternative?Finance)計算的電力消費指數,截至6月21日,比特幣挖礦的全年預估能耗值約為91.04 TW/h.

1900/1/1 0:00:00
覓新|Bitso:拉美加密交易所巨頭_ITS

《覓新》是金色財經推出的一檔區塊鏈項目觀察類項目,覆蓋行業各領域項目發展情況,具體設計到項目概況、技術進展、募資情況等,力圖為您呈現熱門新潮的項目合輯.

1900/1/1 0:00:00
Kusama 平行鏈插槽競拍項目競拍策略分析_KUSA

“多個項目相繼發布了 Kusama 插槽競拍策略,未來可期。Kusama 平行鏈插槽競拍進入倒計時,很多項目已摩拳擦掌,準備參與插槽競拍.

1900/1/1 0:00:00
ads