為以太坊引入 KZG 承諾：工程師視角（上）_BSP

（譯者注：本文所介紹的技術在密碼學社區里一般稱為 “KZG10 承諾”，得名于論文三位作者的姓氏首字母。但在介紹到以太坊生態中時，被簡化成了 “Kate 承諾”，甚至連核心開發者也是這么稱呼的。這是對另外兩位作者的不尊重，不應該繼續下去。在本譯文中，凡原作者使用 “Kate commitment” 的地方，都一律譯為 “KZG10 承諾”。）

免責聲明 ：本文僅僅是匯集、鏈接了許多已經公開的成果，對應的榮譽（包括本文所鏈接的圖片）應歸屬于相應的 作者/開發者。

P.S. ：特別感謝 Ethereum R & D discord 頻道（尤為感謝 @vbuterin 和 @piper）幫助我理解 KZG10 承諾的某些方面。此外，還要感謝 @vbuterin 幫忙審校本文。

PPS ：本文是出于 lodestar 團隊的利益而撰寫的；lodestar 是一個很棒的 ETH PoS 客戶端，基于 typescript，可以讓以太坊的服務 無處不在，也開啟了作者對以太坊生態和創新的理解。

我希望本文也能對全世界的其他 開發者/技術人員 有所幫助。本文遵循 CC0 自由創作公約，作者已放棄所有權利。

作為一個有益的指南，幫助讀者熟悉、總結以太坊背景下 KZG10 承諾的提議用法，并提供深入理解的指南。

本文的目的更多是總結，而非嚴謹，不過，您可以點擊文中所附的鏈接，它們會有更詳細的解釋。

注-1：哈希值就是一個對被哈希的原像的承諾，用于檢驗被哈希的數據的完整性。（譯者注：這話其實不是很嚴謹。因為哈希函數往往難以滿足 “承諾方案” 所需的性質。）

數據：當前已有82.7%的節點為以太坊Altair硬分叉完成同步:數據顯示，當前已有82.7%的節點為太坊2.0信標鏈主網的Altair硬分叉完成同步。據悉，Altair硬分叉將于北京時間今日19時左右開始進行。（Nodewatch）[2021/10/27 21:02:09]

舉個例子，假設 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) 點，擬合出了一個多項式。

為以太坊礦工提供套利工具的項目Archer治理代幣上線Uniswap:匿名團隊開發的以太坊礦工可提取價值（MEV）套利產品Archer的治理代幣ARCH已上線Uniswap，項目方提供的初始流動性為370個ETH和100萬個ARCH，官方稱這部分流動性將會被鎖定至少6個月。ARCH代幣總量為1億枚，以初始流動性的價格計算，該項目的總市值超過2000萬美元。

注：Archer通過使用鏈上激勵機制來為礦工增加收入來源，包括通過DEX套利和貸款清算等零風險或風險較低的方式為開采出來的區塊增加價值。Archer表示自己有助于提升以太坊用戶體驗，包括降低抵押率、使各個DEX的現貨價格趨于一致、更可靠的激勵機制、減少不友好的搶先交易頻率以及通過私有渠道提交交易。[2020/11/23 21:48:13]

為了簡便計算，并確保多項式與數據映射的一一匹配，我們不使用索引值來作為 f(x) 的 x，用的是 w^index，也就是 f(w^index)=value，其中 w 是 d 次單位根（即 w^d = 1 且 w 是一個復數），而 d 是該多項式的次數（也是我們能夠包含的索引值的個數上限）。因此，我們可以使用快速傅立葉變換來實現高效的多項式計算，比如乘法和除法，在求值形式下其計算復雜度會是 O(d)，而且可以在 O(d*log(d)) 的復雜度內轉化回系數形式。所以保持 d 數值較小還是很有好處的。

Messari前主管：智能合約平臺推出非美元穩定幣將有機會成為以太坊殺手:Messari前主管、股票及加密貨幣交易員Qiao Wang發推稱，智能合約平臺通過推出非美元穩定幣將有機會成為真正的以太坊殺手，由此而產生的網絡效應將是殺死ETH的唯一方法，這也是目前以太坊生態系統拼圖中明顯缺失的一塊。

王啟奧認為，推出非美元穩定幣的項目第一步可與大型交易所合作，上架以該穩定幣計價的交易對，而投機是分發新加密產品的最佳方法，一旦分布廣泛，DeFi、匯款和國際付款之類的事情就會自然發生。[2020/7/6]

注-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（復雜度）不會有太大改變。

動態 | 安永為以太坊提供零知識證明技術:據coindesk報道，會計公司安永（EY）宣布了一項工具，此工具將把私密交易帶到以太坊。其EY Ops Chain公共版原型是第一個用于以太坊的零知識證明（ZKP）技術。ZKP是一種加密技術，它允許雙方證明一個私密信息是真實的，這通常是關于交易的數據。[2018/10/31]

在下列情況下，問題還會變得更加嚴重（因為見證數據的規模）：

部分采用快速同步的協議，比如 beam sync（光子同步），會下載并快速驗證區塊頭來追上最新的主鏈頂端并參與網絡的共識，注意，它不會先行構建好完整的狀態再參與共識，而是（在共識中）通過獲取 錯過的/未加載的 狀態的見證數據，來逐步構建出完整的狀態

為 輕節點 服務的時候，他們只關心自己，只想獲得區塊鏈狀態的特定部分

網絡走向完全無狀態時，所有的事務和合約操作，都要附帶相關的見證數據，來證明數據輸入和輸出的正確性（譯者注：粗體為譯者所加）

在驗證者會被混洗到不同分片的區塊鏈分片模型中，要讓驗證者每到一個分片就構建完整狀態是不現實的

代碼默克爾化，訪問代碼時需要附帶這些代碼塊的見證數據

在狀態保質期協議中，訪問過期的賬戶需要重新附帶狀態見證數據，以便重建該賬戶的狀態

（譯者注：需要解釋的是，在當前的以太坊網絡中，事務和區塊不會附帶上文所述的見證數據。即，網絡所傳播的見證數據規模與 事務/區塊 的規模無恒定的關系。前兩種情形恰好是在當前以太坊協議下為數不多的、需要傳播見證數據的情形。我們關心狀態數據的規模，完全是出于一種協議改進方向 —— “無狀態性” 的需要。后面四種情形都跟無狀態性有關，當然都比理論上要傳播的數量更多。但是，以上述的理論計算來作為基準點去比較，本身是不合適的 —— 連代碼默克爾化這種在無狀態下節省狀態數據的方案，也會被歸為讓情況更嚴重的方案。）

阿里參謀長：不認為以太坊已經成功:阿里巴巴集團參謀長曾鳴今日在“三點鐘無眠區塊鏈”群發表了自己對區塊鏈的看法。他表示，如果有一個新應用足夠大（比如達到千萬用戶），其不但會推出自己的交易所，而且會推自己的基礎設施平臺，甚至自己的幣，這是生態的標準打法；因此正是在這個意義上，判斷區塊鏈處于哪個發展階段是非常重要的。他認同比特幣是區塊鏈第一個成功應用，而且由于其貨幣屬性，可能會非常成功。然而他并不認為以太坊已經成功，因為其還不是真正的生態，只能算是一種平臺。如果一個大應用成功了，肯定會推出自己的智能合約平臺，如果這件事在未來三年左右發生，對以太坊的打擊可能是巨大的。基于這個判斷，他認為區塊鏈生態目前更類似上世紀的90年，而不是98年。[2018/2/25]

在無狀態以太坊項目的一個實驗中，出現了 1 MB 的區塊證據（其中大部分都是默克爾證據），在發生攻擊的時候還會膨脹好幾倍。

其中一種解決辦法是轉為使用 “二進制默克爾樹”，也就是把 d 降下來，這樣雖然樹的深度（高度）會增加，但仍然是 O(log(N)) 的規模。

對于要放在區塊頭內承諾數據的承諾方案來說，以下特點是理想屬性：

證據的數據量較小，可以塞進區塊頭里，且仍具有很強的安全保證

易于證明某個承諾是使用分組化數據（chunkified data）的一個子集生成出來的

足夠小，最好證據的數據量是恒定的

為了跟蹤數據，承諾應當易于以增量的形式變更

基于KZG10 承諾的方案就是大家一番搜尋的結果。

譯者注：可以看到，作者有三個 

KZG10 承諾可以視為另一種哈希方案，只不過它哈希的不是 “字節”（數據），而是多項式。

實際上，它就是 計算（evaluation） 多項式 f(x) 在秘密的定點 s 上的值，只不過 它們都是表示在一條橢圓曲線上的，也即 [f(s)]=f([s])。這需要一個受信任的啟動設置（跟 zcash 區塊鏈的創世活動一樣），來生成[s]、[s^2]、… [s^d]（以便在多項式需要 x^i 的地方插入），而 d 就是多項式的最大階數。

這里的 [t] 表示點 t 處的橢圓曲線值，也就是 t，是橢圓曲線加法群的生成點（）相加 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]' （其生成點為 ' 且只需知道 [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) 仍然是易于更新的。

（未完）

Tags：BSPNBS以太坊ALUBSPTnbs幣前景以太坊價格今日行情分析Valuables

TUSD