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

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

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

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

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

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

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

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

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

數據：LINK超過SHIB成為以太坊鯨魚廣泛持有的代幣:4月15日消息，根據WhaleStats的數據顯示，LINK代幣已超過Shiba Inu（SHIB）成為以太坊鯨魚廣泛持有的代幣。數據顯示，標記為“Three Arrows”的錢包地址（0x530e0a6993ea99ffc96615af43f327225a5fe536）今日轉入135,989個LINK（約合1,872,577美元）。據悉，“Three Arrows”是排名第10的ETH鯨魚。[2022/4/15 14:27:18]

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

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

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

ZKSwap測試網激勵發放完成，Layer2轉賬成本為以太坊的1%:官方消息，基于ZK Rollup擴容技術的AMM去中心化交易所 ZKSwap （ZKS）表示，其測試網激勵的ZKS在ZKSwap的 Layer2 發放完成，在Layer2發送9000筆轉賬合計消耗的Gas成本（Layer2 到 Layer1 的上鏈費用）為1500美金。

對比而言，在以太坊主網完成9000筆轉賬需要消耗18萬美金的成本，ZKSwap上Layer2的轉賬成本只有以太坊的1%左右。官方預計，ZKSwap將在2月17日開啟代付Gas費用挖礦活動（Proof of Gas）和智能合約鎖倉挖礦活動。并在2月19日開啟流動性挖礦活動和交易即挖礦活動。[2021/2/16 19:52:20]

可看看這里的介紹 : )。

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

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

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

分析師：“波卡或成為以太坊殺手”尚有待觀察:Delphi Digital分析師Ashwath Balakrishnan表示，如果ETH 2.0發布，開發者將陷入兩難境地。他們將不得不選擇留在以太坊2.0或遷移到一個全新的協議——波卡（Polkadot）。Balakrishnan稱：“DOT的設計很優雅，很好地解決了可擴展性問題。但還有一些問題。首先，鏈上治理尚未經證實，經驗不足。Decred和Tezos推動鏈上治理有一段時間了，但并沒有像支持者想象的那樣成功。第二，波卡的應用層是以太坊的再創造。隨著以太坊通過L2和ETH 2.0實現了可擴展性改進，是否有真正的催化劑讓構建者完全遷移甚至在波卡上創建其協議的鏡像實例，這一點仍有待觀察。”（CryptoSlate）[2020/11/10 12:14:03]

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

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

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

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

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

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

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

Bitfly：應該建議為以太坊主網使用16GB的主存:Bitfly剛剛發布推文稱，在過去的1500個epoch中，Medalla始終還沒有達到最終狀態，同時節點使用的內存比在正常網絡中的還要多。8GB內存的用戶很難保持同步。我們應該建議為以太坊主網使用16GB的RAM（主存）。[2020/10/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：BSPNBS以太坊ALUbspt幣未來前景NBS價格怎么得到以太坊幣的錢Valuedefi vSWAP

火必交易所