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

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

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

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

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

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

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

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

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

V神：ZK-Rollups或成為以太坊主要Layer 2解決方案:8月8日消息，以太坊聯合創始人Vitalik Buterin在ETHSeoul演講時預測，ZK-Rollups將在以太坊Layer2擴容之戰中擊敗Optimistic Rollups，比如用戶不需要7天的等待期。Vitalik Buterin指出，ZK-Rollups在將資金移入和移出主網時速度更快，這可能會導致更廣泛地采用。從現在起的10多年甚至更久，我預計Rollups基本上都將會是ZK。ZK-Rollups的EVM兼容性正在開發當中，Vitalik Buterin補充道，我們實際上已經能看到zk-EVM幾乎準備好實現與以太坊交易一起進行擴容，這太棒了。（the block）[2022/8/9 12:10:54]

舉個例子，假設 h1 = H(t1, t2, t3..)，然后把 h1 交給驗證者（比如，把它放在區塊頭內），然后給出一個偽造的區塊 (t1,t2',t3...)，對方快速計算這個偽造區塊的哈希值之后，發現兩者對不上，就可以合理地拒絕你的偽造區塊。

類似的，一棵默克爾樹的根節點，就是對按特定索引（路徑）組織起來的所有葉子節點的承諾。或者簡單來說，是對 indexes => values（從索引值到數值）的映射的承諾。

而這里的 “證明” 就是一個葉子的 默克爾分支（merkle branch） 以及（這個分支在每一層上的） 兄弟哈希值（sibling hashes），憑借這些數據，可以逐級向上哈希，并通過最終的哈希值是否與根節點一致來判斷該葉子是否與這棵默克爾樹一致（存在于這棵默克爾樹上）。

Unstoppable Domains 宣布為以太坊和 Polygon 推出基于 NFT 的登錄服務:1月11日消息，區塊鏈域名項目Unstoppable Domains 宣布為以太坊和 Polygon 推出基于域名 NFT 的登錄服務，用戶可以將電子郵件地址、信用評分、KYC數據等，通過將單點登錄協議綁定到 NFT 域名，進而允許應用程序查找有關自己的信息。該登陸方式類似于 Google 登錄，但沒有隱私窺探并且具有更大的靈活性。[2022/1/11 8:41:58]

可看看這里的介紹 : )。

注-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 數值較小還是很有好處的。

V神：Rollups預計在短期和中長期成為以太坊擴容的基石:以太坊創始人V神發布《不完全的Rollups指南》一文，其中介紹了Rollups技術、原理及其發展。他在最后說道：Rollups是強大的二層擴容范例，預計在短期和中期(也可能是長期)將成為以太坊擴容的基石。

Rollups已經看到了以太坊社區的巨大熱情，因為與之前的二層擴容嘗試不同，Rollups可以支持通用EVM代碼，允許現有的應用程序輕松遷移。為了做到這一點，Rollups做出了一個關鍵的妥協:不嘗試完全脫離鏈，而是把每個交易的少量數據留在鏈上。有很多類型的Rollup，在設計空間中也有很多選擇。

他指出Rollups仍處于發展早期，開發仍在快速進行中，但確實有效，其中一些(特別是Loopring、ZKSync和DeversiFi)已經運行了幾個月。在未來的幾年里，Rollup領域將會出現更多令人興奮的工作。[2021/1/5 16:27:16]

注-2.1：以太坊的狀態是一個從地址到賬戶狀態（addresses => (version,balance,nonce,codeHash,storageRoot)）的映射。

以太坊當前使用默克爾樹（更具體一些是 “帕特里夏默克爾樹”）作為 EVM 數據（EVM 狀態、區塊事務及事務收據，也許還有最近的合約代碼）的承諾。此種承諾方式可以：

逐個區塊地 插入/更新 數據，以增量的方式產生新的根哈希（即承諾）

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

驗證者可以逐個區塊（甚至逐筆事務）地校驗和證明

前綴樹結構在這里提供了這種逐塊更新的特性。

給定一個 d 叉的、有 N 個葉子的前綴樹，任意更改一個葉子節點，都需要更新 O(log-d(N)) 個節點（也就是該葉子與根節點相連路徑上的節點數量）以計算反映新狀態的新根值；而這需要額外的 (d-1)*O(log-d(N)) 個 兄弟節點哈希值/承諾 來用作時間和空間（假設要服務于輕節點）的見證數據（witness）。一個區塊可視為一個需要更改 m 個隨機葉子的批量更新，且 m<<N。因為預計只有一小部分的節點可以共享 witness 和計算，所以，每次更新的 Order（復雜度）不會有太大改變。

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

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

專家：Cardano或成為以太坊的主要競爭對手 未來兩者將共存:加密貨幣評級機構韋氏評級（Weiss Crypto Ratings）的專家Juan M. Villaverde稱，Cardano（ADA）可能會成為以太坊的主要競爭對手。他表示，Cardano目前在加密領域是一個了不起的玩家，IOHK也在該領域產生了突出的影響。此外，Villaverde預測，Cardano和以太坊很可能在未來協調共存，雙方中的任何一個都不會消失。（News Logical）[2020/7/20]

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

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

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

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

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

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

在無狀態以太坊項目的一個實驗中，出現了 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：NBSBSP以太坊ROLLNBS幣BSPT價格以太坊幣最新價格美元走勢BenjiRolls

UNI