以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

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

Author:

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

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

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

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

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

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

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

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

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

MyEtherWallet為以太坊2.0推出應用內質押服務:金色財經報道,通過與節點托管服務Staked合作,MyEtherWallet現在為其瀏覽器和移動錢包用戶提供了將ETH質押到以太坊2.0信標鏈存款合約中的服務。MyEtherWallet用戶需要投入32 ETH才能參與,Staked將為他們運行一個驗證器節點。[2020/12/9 14:38:02]

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

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

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

可看看這里的介紹 : )。

現場丨InfStones合伙人Rudy Lu:流動性解決方案為以太坊2.0提供了新思路,但尚未看到真正去中心化方案:金色財經現場報道,11月20日,由金色財經主辦,Blocklike,鯨交所,四塊科技,DSFS-LABS協辦的金色沙龍第57期在杭州舉辦,InfStones合伙人Rudy Lu表示門檻高、鎖倉時間長、質押風險不確定是以太坊2.0存在的問題與難點,但流動性解決方案可以提供新的思路。目前市場已經出現了拼份、提供流動性映射代幣xETH等方案,可以解決32ETH門檻高、鎖倉時間長等問題,但受制于以太坊2.0的開發進度,目前不存在真正去中心化的方案,直到以太坊2.0真正支持智能合約的時候才可能出現。當前以太坊2.0質押年化收益率20%很有吸引力,但依然會隨市場總質押量的變化而有降低的風險,而流動性解決方案可通過發行xETH讓投資者能夠在質押同時享受DeFi的收益,以這種Staking延伸的流動性代幣會構筑起新的DeFi大廈。[2020/11/20 21:29:17]

注-2:數據映射與一個多項式的對應關系

indexes => values 這樣的數據映射可以表示為一個多項式 f(x),并且 f(index)=value(由拉格朗日插值法可知滿足這個條件的多項式必定存在)。“ f(index)=value ”通常被稱為 求值形式,而 “ f(x)=a0+ a1.x + a2.x^2... ” 則是其 系數形式。直觀來說,我們其實是根據映射中所有的 (index,value) 點,擬合出了一個多項式。

Bitfly:應該建議為以太坊主網使用16GB的主存:Bitfly剛剛發布推文稱,在過去的1500個epoch中,Medalla始終還沒有達到最終狀態,同時節點使用的內存比在正常網絡中的還要多。8GB內存的用戶很難保持同步。我們應該建議為以太坊主網使用16GB的RAM(主存)。[2020/10/20]

為了簡便計算,并確保多項式與數據映射的一一匹配,我們不使用索引值來作為 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 狀態、區塊事務及事務收據,也許還有最近的合約代碼)的承諾。此種承諾方式可以:

Zoom市值突破500億美元,約為以太坊市值的兩倍:Zoom市值在周五飆升至500億美元上方,創歷史新高。Zoom市值是比特幣市值的28%左右,是以太坊市值(260億美元)的近兩倍。Decrypt文章稱,區塊鏈和遠程工作都可以使經濟去中心化。(Decrypt)[2020/5/31]

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

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

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

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

在下列情況下,問題還會變得更加嚴重(因為見證數據的規模):

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

V神與經濟研究員合作嘗試為以太坊用戶提供一種新的投票方式:據coindesk,隨著社區對一些建議的各種利弊進行辯論,V神已經開始與經濟研究員Glen Weyl博士合作,嘗試為以太坊用戶提供一種新的投票方式。在5月21日宣布合作的博客文章中,V神描述了來自Weyl的新書《激進市場》的觀點可以幫助解決這些治理挑戰,并協調解決有爭議的問題。曾在普林斯頓大學獲得經濟學博士學位、現在是微軟研究員的Weyl在接受CoinDesk采訪時解釋說,二次投票的目的是讓選民關注他們熱衷的問題,并接受教育。用戶可以購買額外的選票,在某些問題上有更大的發言權,而不是在參與者之間平均分配選票。[2018/5/23]

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

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

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

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

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

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

在無狀態以太坊項目的一個實驗中,出現了 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以太坊ALUNBS幣BSPAY幣以太坊價格走勢intervalue幣怎么買

比特幣價格實時行情
CHA:聯合國發文:加密貨幣是可持續解決方案還是氣候災難?

最近這段時間,媒體廣泛報道了比特幣等加密貨幣會對環境產生負面影響,高波動性也令人感到擔憂。盡管如此,聯合國認為,作為加密貨幣背后的技術,區塊鏈可能對應對氣候危機大有裨益,甚至有助于實現更可持續的.

1900/1/1 0:00:00
BIT:加拿大礦企Bitfarms將于6月21日在納斯達克開始交易

加拿大上市礦企Bitfarms發布公告稱,該公司已獲得 DTC 資格,其普通股預計將于 6 月 21 日星期一開始在納斯達克上市,交易代碼為“BITF”.

1900/1/1 0:00:00
RAD:下周鮑威爾的證詞將如何影響加密市場 BTC會再次崩潰嗎?

比特幣又經歷了一次下跌,這支按市值計算第一的加密貨幣失去了在35,000美元以上的支持位,目前還努力維持在中部區間。在撰寫本文時,比特幣的價格為36,120美元,全線虧損.

1900/1/1 0:00:00
GAM:虛擬貨幣詐騙經典案例剖析

網傳“央行微播稱三部委舉行虛擬貨幣整治會議”為假消息:今日有網傳圖片顯示,“央行微播”發微博稱,部、央行、工信部三部委今日下午舉行虛擬貨幣會議。經查詢,“央行微播”官微并未發布此消息.

1900/1/1 0:00:00
EFI:金色DeFi日報 | 近一周以太坊上DeFi協議總鎖倉量上漲6.33%

DeFi數據 1.DeFi總市值:846.66億美元 市值前十幣種排名數據來源DeFiboxDeFi總市值數據來源:Coingecko2.過去24小時去中心化交易所的交易量:35.

1900/1/1 0:00:00
COI:中幣行情看點:PayMeInBitcoin在推特熱搜榜排名第一

熱點摘要: 1.薩爾瓦多總統:比特幣將于9月7日成為法定貨幣;2.CNBC主持人:巴拉圭宣布旨在使比特幣成為法幣的法案;3.比特幣礦工迎來重大利好.

1900/1/1 0:00:00
ads