以太坊爱好者2021-06-17 17:55:04
(譯者注:本文所介紹的技術在密碼學社區裏一般稱為 “KZG10 承諾”,得名於論文三位作者的姓氏首字母。但在介紹到以太坊生態中時,被簡化成了 “Kate 承諾”,甚至連核心開發者也是這麼稱呼的。這是對另外兩位作者的不尊重,不應該繼續下去。在本譯文中,凡原作者使用 “Kate commitment” 的地方,都一律譯為 “KZG10 承諾”。)
免責聲明:本文僅僅是彙集、鏈接了許多已經公開的成果,對應的榮譽(包括本文所鏈接的圖片)應歸屬於相應的 作者/開發者。
P.S.:特別感謝 Ethereum R & D discord 頻道(尤為感謝@vbuterin 和 @piper)幫助我理解 KZG10 承諾的某些方麵。此外,還要感謝@vbuterin 幫忙審校本文。
PPS:本文是出於 lodestar 團隊的利益而撰寫的;lodestar 是一個很棒的 ETH PoS 客戶端,基於 typescript,可以讓以太坊的服務無處不在,也開啟了作者對以太坊生態和創新的理解。
我希望本文也能對全世界的其他 開發者/技術人員 有所幫助。本文遵循 CC0 自由創作公約,作者已放棄所有權利。
動機作為一個有益的指南,幫助讀者熟悉、總結以太坊背景下KZG10 承諾的提議用法,並提供深入理解的指南。
本文的目的更多是總結,而非嚴謹,不過,您可以點擊文中所附的鏈接,它們會有更詳細的解釋。
基礎原理注-1:哈希值就是一個對被哈希的原像的承諾,用於檢驗被哈希的數據的完整性。(譯者注:這話其實不是很嚴謹。因為哈希函數往往難以滿足 “承諾方案” 所需的性質。)
舉個例子,假設h1 = H(t1, t2, t3..),然後把 h1 交給驗證者(比如,把它放在區塊頭內),然後給出一個偽造的區塊(t1,t2',t3...),對方快速計算這個偽造區塊的哈希值之後,發現兩者對不上,就可以合理地拒絕你的偽造區塊。
類似的,一棵默克爾樹的根節點,就是對按特定索引(路徑)組織起來的所有葉子節點的承諾。或者簡單來說,是對indexes => values(從索引值到數值)的映射的承諾。
而這裏的 “證明” 就是一個葉子的默克爾分支(merkle branch)以及(這個分支在每一層上的)兄弟哈希值(sibling hashes),憑借這些數據,可以逐級向上哈希,並通過最終的哈希值是否與根節點一致來判斷該葉子是否與這棵默克爾樹一致(存在於這棵默克爾樹上)。
可看看這裏的介紹: )。
注-2:數據映射與一個多項式的對應關係
indexes => values這樣的數據映射可以表示為一個多項式f(x),並且f(index)=value(由拉格朗日插值法可知滿足這個條件的多項式必定存在)。“ f(index)=value ”通常被稱為求值形式,而 “ f(x)=a0+ a1.x + a2.x^2... ” 則是其係數形式。直觀來說,我們其實是根據映射中所有的(index,value)點,擬合出了一個多項式。
為了簡便計算,並確保多項式與數據映射的一一匹配,我們不使用索引值來作為 f(x) 的 x,用的是w^index,也就是f(w^index)=value,其中 w 是 d 次單位根(即w^d = 1且 w 是一個複數),而 d 是該多項式的次數(也是我們能夠包含的索引值的個數上限)。因此,我們可以使用快速傅立葉變換來實現高效的多項式計算,比如乘法和除法,在求值形式下其計算複雜度會是O(d),而且可以在O(d*log(d))的複雜度內轉化回係數形式。所以保持d數值較小還是很有好處的。
注-2.1:以太坊的狀態是一個從地址到賬戶狀態(addresses => (version,balance,nonce,codeHash,storageRoot))的映射。
背景知識以太坊當前使用默克爾樹(更具體一些是 “帕特裏夏默克爾樹”)作為 EVM 數據(EVM 狀態、區塊事務及事務收據,也許還有最近的合約代碼)的承諾。此種承諾方式可以:
逐個區塊地 插入/更新 數據,以增量的方式產生新的根哈希(即承諾)
驗證者可以逐個區塊(甚至逐筆事務)地校驗和證明
前綴樹結構在這裏提供了這種逐塊更新的特性。
給定一個d叉的、有N個葉子的前綴樹,任意更改一個葉子節點,都需要更新O(log-d(N))個節點(也就是該葉子與根節點相連路徑上的節點數量)以計算反映新狀態的新根值;而這需要額外的(d-1)*O(log-d(N))個 兄弟節點哈希值/承諾 來用作時間和空間(假設要服務於輕節點)的見證數據(witness)。一個區塊可視為一個需要更改m個隨機葉子的批量更新,且m<<N。因為預計隻有一小部分的節點可以共享 witness 和計算,所以,每次更新的Order(複雜度)不會有太大改變。
在下列情況下,問題還會變得更加嚴重(因為見證數據的規模):
部分采用快速同步的協議,比如beam sync(光子同步),會下載並快速驗證區塊頭來追上最新的主鏈頂端並參與網絡的共識,注意,它不會先行構建好完整的狀態再參與共識,而是(在共識中)通過獲取 錯過的/未加載的 狀態的見證數據,來逐步構建出完整的狀態
為輕節點服務的時候,他們隻關心自己,隻想獲得區塊鏈狀態的特定部分
網絡走向完全無狀態時,所有的事務和合約操作,都要附帶相關的見證數據,來證明數據輸入和輸出的正確性(譯者注:粗體為譯者所加)
在驗證者會被混洗到不同分片的區塊鏈分片模型中,要讓驗證者每到一個分片就構建完整狀態是不現實的
代碼默克爾化,訪問代碼時需要附帶這些代碼塊的見證數據
在狀態保質期協議中,訪問過期的賬戶需要重新附帶狀態見證數據,以便重建該賬戶的狀態
(譯者注:需要解釋的是,在當前的以太坊網絡中,事務和區塊不會附帶上文所述的見證數據。即,網絡所傳播的見證數據規模與 事務/區塊 的規模無恒定的關係。前兩種情形恰好是在當前以太坊協議下為數不多的、需要傳播見證數據的情形。我們關心狀態數據的規模,完全是出於一種協議改進方向 —— “無狀態性” 的需要。後麵四種情形都跟無狀態性有關,當然都比理論上要傳播的數量更多。但是,以上述的理論計算來作為基準點去比較,本身是不合適的 —— 連代碼默克爾化這種在無狀態下節省狀態數據的方案,也會被歸為讓情況更嚴重的方案。)
在無狀態以太坊項目的一個實驗中,出現了1 MB的區塊證據(其中大部分都是默克爾證據),在發生攻擊的時候還會膨脹好幾倍。
其中一種解決辦法是轉為使用 “二進製默克爾樹”,也就是把d降下來,這樣雖然樹的深度(高度)會增加,但仍然是O(log(N))的規模。
為什麼要使用 KZG10 承諾?對於要放在區塊頭內承諾數據的承諾方案來說,以下特點是理想屬性:
證據的數據量較小,可以塞進區塊頭裏,且仍具有很強的安全保證
易於證明某個承諾是使用分組化數據(chunkified data)的一個子集生成出來的
足夠小,最好證據的數據量是恒定的
為了跟蹤數據,承諾應當易於以增量的形式變更
基於KZG10 承諾的方案就是大家一番搜尋的結果。
譯者注:可以看到,作者有三個
什麼是 KZG10 承諾?KZG10 承諾可以視為另一種哈希方案,隻不過它哈希的不是 “字節”(數據),而是多項式。
實際上,它就是計算(evaluation)多項式f(x)在秘密的定點s上的值,隻不過 它們都是表示在一條橢圓曲線上的,也即[f(s)]=f([s])。這需要一個受信任的啟動設置(跟 zcash 區塊鏈的創世活動一樣),來生成[s]、[s^2]、…[s^d](以便在多項式需要x^i的地方插入),而d就是多項式的最大階數。
這裏的[t]表示點 t 處的橢圓曲線值,也就是t[1],是橢圓曲線加法群的生成點([1])相加 t 次(等同於對 Fp 求模,modulo Fp)。橢圓曲線上的所有計算都是對 Fp 求模,Fp 給曲線施加了一定的範圍(譯者注:Fp 是一個由 p 個元素組成的有限域,限製了該橢圓曲線值的範圍)。
注 3.0:在indexes=>values的映射中,所有的 值 都要表示為一條橢圓曲線上的元素,即 [value],以便計算承諾(後文有詳述)。這就使得 value 的大小有了限製(為了要成為modulo Fp的值)。在 BLS 曲線上,大概在 31~32 字節之間。為了簡便,value 的大小就限製在 31 字節,任意更大的 值 都要分塊化,並用其索引值來恰當地表示(或者截斷)。
注 3.1:[t] 可以被視為 t 的哈希值,因為從 [t] 找回 t 是個離散對數問題(discrete log problem),對於安全的曲線來說,是很難做到的。
注 3.2:s 是一個秘密的數值,永遠不應泄漏給 任何人/所有人,但橢圓曲線點[s],[s^2]…[s^d]及其在另一條橢圓曲線上的值[s]'(其生成點為[1]'且隻需知道[s]')則應生成並公開出來,讓所有人知道。這就是啟動設置要做的事。
這些係統參數定義了整個係統的安全性,因為s暴露會使得攻擊者可以構建任意內容的證據。因此,一個有 N 個參與者共同參與的啟動設置儀式中,他們要通過協議把本地的 s 結合起來,這樣隻要有 1 個參與者是誠實的、在參與之後就銷毀掉了自己提供的 s,這個係統就會是安全的。即,信任模型是 1/N 模型,N 越高,風險就越低。
注 3-3:[]是一個線性的操作,即[x]+[y]=[x+y],而且a[x]=[ax]。
如果上所述,我們將數據映射(索引值 => 數值)表示為f(w^index)=value,即一個多項式的求值形式,也可說,我們用這些(w^index,value)點擬合出了一條曲線(多項式)。
所以,一個多項式 f(x) 的 KZG10 承諾c(f)是一個橢圓曲線點f([s]),這個點可以靠在 f(x) 的展開式中插入[s],[s^2]… 計算得出。
注 3-4:f(s) 是無法計算的,因為 s 是個秘密值。但是C(f)=[f(s)]=f([s])是可以計算的。
注 3-5:f(x)的承諾C(f)=[f(s)]也是一個線性的運算符,即,C(f+g)=C(f)+C(g)。
Rollup/聚合器可以使用這一屬性來更新承諾。在求值形式下,更新一個求值點將導致 f(x) 完全改變,但因為有這個屬性,其承諾 c(f) 仍然是易於更新的。
(未完)
以太坊Layer 2必知必会2023-04-26 15:03:27
浅析NFT未来:仅少数项目上涨 出圈项目会成赢家2023-04-26 14:15:26
E-CNY时代来临:当你的工资成为数字人民币2023-04-26 12:43:48
浅谈为什么MEV搜索者矿池并不可行?2023-04-26 12:08:40
"庄家"互撕 曝出加密巨头拉的那些"帮派"2023-04-26 11:59:08
怎样到达Web3世界:使用Web3技术的公司及集成到业务的步骤2023-04-26 11:53:15
稳定币项目 HAI、Starknet 2023 路线图2023-04-26 11:46:35
ChatGPT类产品安全隐患解决?英伟达发布开源工具包2023-04-26 11:26:24
蚂蚁集团发布HOU、AntChainBridge、Web3开放联盟链等多个Web3产品2023-04-26 11:24:46
ChatGPT背后的算力博弈 中国企业亟待打破美国桎梏2023-04-26 10:59:28
简析DWF Labs:出手频繁 颇具争议的加密做市商2023-04-26 10:48:45
NFT 交易平台生存现状研究:后版税战争时代下的龙头之争2023-04-26 09:20:51
以太坊提款功能开启后的带宽使用情况2023-04-26 08:30:24
上海升级提款效应:数据揭示 LSD 项目们的表现2023-04-26 07:28:37
3分钟读懂基于LayerZero的多链抗MEV DEX聚合器Cashmere2023-04-25 20:05:34
对话去中心化流动性质押协议Rocket Pool:如何促进以太坊Staking民主化?2023-04-25 19:02:21
Bankless:欧美都想监管稳定币 他们怎么做?2023-04-25 17:43:44
Coinbase起诉SEC全文:请在合理时间内回应加密规则请愿书2023-04-25 16:43:34
慢雾:Web3 假钱包第三方源调查分析2023-04-25 15:43:36
Binance Sensei介绍:您的Web3 AI导师2023-04-25 13:20:55