比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads

NBS:為以太坊引入 KZG 承諾:工程師視角(上)_nbs幣發行量

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

BitDAO社區發起新提案投票,擬為以太坊L2網絡Mantle規劃1年預算資金:2月14日消息,BitDAO社區發起BIP-19提案,該提案提議為此前推出的以太坊L2網絡Mantle規劃一年預算資金,包括1000萬枚BIT和1400萬枚USDC用于支付測試網6個月運營費用,以及1.45億枚BIT和3400萬枚USDC用于支付主網一年的運營支出等。

關于該提案的投票現已開啟,截止2月20日結束。[2023/2/14 12:06:11]

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

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

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

CoinShares:Solana已成為以太坊有力的競爭對手:8月24日消息,歐洲數字資產投資平臺CoinShares最近發布的數字資產資金流向報告中提到,Solana相關的投資產品上周吸引機構投資者投入710萬美元資金,而與以太坊相關的投資產品只有320萬美元資金流入。CoinShares強調,Solana已成為以太坊有力的競爭對手,相較于以太坊提供了更為靈活的基礎設施和更快的交易結算。(Financemagnates)[2021/8/24 22:34:15]

可看看這里的介紹 : )。

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

近六成以太坊客戶端已為以太坊倫敦硬分叉做好準備:金色財經報道,Ethernodes.org數據顯示,目前已有57.9%的節點為以太坊倫敦硬分叉(包含EIP1559升級)做好準備。據悉,倫敦硬分叉將在區塊高度12965000執行,預計發生于本周四。[2021/8/3 1:30:20]

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

Cardano創始人:不希望再被稱為以太坊聯合創始人,Cardano更讓我自豪:Cardano創始人、以太坊聯合創始人Charles Hoskinson發推稱:“總有一天,加密貨幣媒體將不再稱我為以太坊聯合創始人,而只會提到Cardano,那將是非常美好的一天。在我的整個人生中,沒有任何一個項目或努力比Cardano更讓我感到自豪。”(ZyCrypto)[2020/4/25]

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

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

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

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

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

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

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

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

兩家美國公司使用廢舊輪胎挖掘加密貨幣 為以太坊采礦業提供動力:標準美國礦業公司和PRTI公司,以不同的方式為以太坊挖礦業提供動力。他們不是使用電力或可再生能源,而是利用垃圾來挖掘加密貨幣。更具體地說,是大量收購廢舊輪胎,燃燒后用來驅動燃氣輪機進行發電。[2017/12/10]

在無狀態以太坊項目的一個實驗中,出現了 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以太坊VALnbs幣發行量BSPT價格以太坊幣今日價格行情查詢VAL價格

fil幣價格今日行情
區塊鏈:金色觀察丨一文讀懂波卡區塊鏈去中心化協議Parallel Finance_PARADOX NFT BSC

金色財經 區塊鏈6月18日訊  Parallel Finance是波卡和Kusama區塊鏈上的全新去中心化貨幣市場,該協議旨在為波卡/Kusama 生態系統帶來更多流動性.

1900/1/1 0:00:00
NFT:NFT搶包玩法模式探秘(wax鏈)_區塊鏈

大家好,我是佩佩,這期繼續更新一些近期看到的關于NFT游戲的模式玩法,依舊還是說的wax鏈上的.

1900/1/1 0:00:00
比特幣:加密市場結構對BTC主導地位的影響_DEFI

當人們談論加密貨幣行業的周期時,通常會從價格性質的一些周期性開始,其中最常描述的就是其他商品使用的S2F模型.

1900/1/1 0:00:00
比特幣:“死多頭”MicroStrategy再度買入 持比特幣超10萬枚 股價一度跌超10%_Crown Token

數字貨幣“死多頭”MicroStrategy又買比特幣了,這次的購買也讓該公司的比特幣總持有量超過了10萬枚.

1900/1/1 0:00:00
USHI:Sushiswap、AAVE這樣的生產性DeFi資產回報率會更高嗎?_sushi幣什么時候出來的

今天,DeFi 代幣主要有兩個分類:生產性和非生產性。非生產性 DeFi 代幣是我們都熟悉和喜愛的經典「無價值」治理代幣,像 UNI 和 COMP 這樣的代幣就是完美的例子,盡管它們自誕生以來,

1900/1/1 0:00:00
聯盟鏈:聯盟鏈發展現狀分析 將會帶來什么發展影響?_什么叫做區塊鏈技術

最近幾年來,國家對區塊鏈技術的關注度越來越高,對區塊鏈的重視也使得很多互聯網巨頭將重點放到區塊鏈之中,從而使得類似百度阿里騰訊這樣的公司也開發了相應的區塊鏈平臺BAAS.

1900/1/1 0:00:00
ads