當前的數據可用性抽樣計劃使用KZGcommitments完成。KZG承諾的優點是它們非常易于使用,并且具有一些非常好的代數性質:
一個評估證明具有恒定的大小,并且可以在恒定的時間內進行驗證。
這里存在一種算法來計算所有證明,這些證明在O(N?log(N))時間內在N個單位根的每一個都會評估deg<N
您可以線性組合承諾以獲得這個線性組合的承諾:com(P)+com(Q)=com(P+Q)
您可以線性組合證明:Proof(P,x)+Proof(Q,x)+Proof(P+Q,x)
第一點是良好的效率保證。第二點確保生成可以進行DA采樣的blob很容易:如果生成所有證明需要O(N2)這么長的時間,則需要高度中心化的參與者或復雜的分布式算法才能使其準備好DAS。
第三點和第四點對于2D采樣非常有價值,并且可以實現分布式區塊生產者和高效的自我修復:
V神:至少使用一個非MetaMask錢包測試Dapp,以確保符合以太坊標:金色財經報道,以太坊創始人Vitalik Buterin發推稱,您應該至少使用一個非MetaMask錢包(例如Brave,Status瀏覽器)測試您的Dapp。確保你的Dapp符合以太坊標準,而不僅僅是符合某個特定錢包的獨特屬性。[2022/6/1 3:54:57]
區塊生產者只需要知道原始的M承諾即可使用一種按照曲線的FFT來“擴展列”并生成在同一deg<M多項式上的2M承諾。
您不僅可以進行每行重建,還可以進行每列重建:如果列上的某些值和證明丟失,您可以執行FFT來恢復丟失的值和證明。
然而,KZG有一個弱點:它依賴于復雜的配對密碼學和受信任的設置。配對密碼學已經被研究使用了20多年,受信任的設置是N中的1個信任假設,N是數百名參與者,因此實踐中的風險很高,作者認為繼續使用KZG是完全可以接受的。但是,值得提出一個問題:如果我們不想支付KZG的成本,我們可以使用內積參數來代替嗎?
V神:對Hive.io的治理很感興趣:推特網友“TeraBlockchain”今日艾特Hive.io(Steem社區硬分叉后的新鏈Hive)并稱,VitalikButerin只是在等著嘲笑你,你真的認為他對你的統治感興趣嗎?對此V神回復稱,我為什么要嘲笑它。實際上,我對他們的治理很感興趣。[2020/3/22]
有關IPA的解釋,請參閱這篇文章的前半部分。
IPA具有以下特性:
評估證明具有對數大小,可以在線性時間內驗證
沒有已知的有效的多重證明生成算法。
承諾是橢圓曲線點,您可以像KZG承諾一樣將它們線性組合
沒有已知的線性組合證明的方法。
因此,我們保留了一些屬性,也丟失了一些屬性。事實上,我們失去的足夠多,以至于我們生成、分發和自我修復證明的“當前方法”不再可能。這篇文章描述了一種替代方法,雖然有點笨拙,但仍然可以實現目標。
聲音 | V神:聯盟鏈需要解決擴展性、隱私、合規等問題:今日,以太坊聯合創始人Vitalik Buterin在深圳大學的分享會中就聯盟鏈話題表達了看法。Vitalik Buterin表示,盡管聯盟鏈很久之前就已被提出,但是想要很好地實現我認為很困難,最終還是要從應用角度、價值信息的驗證開始入手。我對于聯盟鏈主要有三點問題:一是可擴展性問題,聯盟鏈短期內在可擴展性問題方面有比較明顯的優勢,現在的公有鏈性能支撐不了大多數應用,但是我認為五年后可以實現;第二點是隱私的問題,這一方面聯盟鏈和公有鏈沒有特別大的區別,特別對于一些企業和競爭對手而言聯盟鏈不能很好的解決隱私問題;第三個問題是合規問題,去中心化和中心化問題,聯盟鏈未必是最優解決方案,是否合規最終取決于應用本身,而不取決于是聯盟鏈還是公鏈。。[2019/9/23]
一種替代方法
首先,我們生成一棵證明樹,而不是為deg<N多項式生成2N獨立證明,這看起來如下:
聲音 | V神:包括以太坊在內的區塊鏈在未來需要解決的最大問題是可擴展性:V神在浙江大學發表演講稱,隨著比特幣價格的提升,挖礦會更傾向于集中化,效率也會降低。以太坊還有幾個月就要切換到PoS。以太坊應用中最常見的是加密貨幣支付、ENS(以太坊域名系統)、資產的數字化。包括以太坊在內的區塊鏈在未來需要解決的最大問題是可擴展性。以太坊2.0在解決可擴展性方面的方案有:sharding(分片)——以太坊2.0最推崇的方案;Plasma(layer2方案);Rollup(鏈下計算,鏈上存儲數據)。另外,以太坊2.0的 phase 0 將從明年年初開始。(巴比特)[2019/9/21]
我們以評估形式解釋數據,將其視為一個向量:
V神:以太坊團隊即便沒有我 也能做得更好:今日V神在王峰十問上回應了其本人的去留對以太坊發展的影響。2017年,一則V神去世的謠言曾一度導致以太坊市值大跌40億美元。V神稱,至于其死亡傳聞是不是造成以太坊價格下跌,現在還不是很清楚,因為當時市場本身就比較低迷,而且價格下跌已經發生了。非常堅信的是,DAO分叉這件事發生,社區內是有很多人支持的,當時有進行碳投票、各種社區民意調查等等,結果就是有80%的人支持分叉。V神認為,以太坊團隊即便沒有他,也絕對有能力完成Casper和分片路線圖,即使自己想要消失一段時間,也完全相信他們會做得很好。[2018/6/22]
,其中多項式
。
證明樹中的每個節點都是對該部分數據的承諾,以及該承諾實際上“在界限內”的證明。例如,
節點將包含承諾
。將有一個IPA證明,
實際上是這些點的線性組合,沒有其他點。
我們生成兩棵樹,第一棵用于
,第二棵用于
,對一條數據的“完整”承諾由C和C組成。為了證明一個特定的值xi,我們只需提供一個對列表,涵蓋整個范圍0...N?1或N....2N?1,不包括i,以及一個i不屬于的頂級承諾是正確構建的證明。例如,如果N=8且i=3,則這個證明將包含C、C2、C及其證明,以及一個C被正確構造的證明。該證明將通過驗證各個證明并檢查承諾加起來是否構成完整承諾來進行驗證。
藍色:chunk3,黃色:chunk3的證明。
注意,為了提高效率,每個chunk不需要是一個單獨的評估;相反,我們可以裁剪樹,例如一個chunk是一組16個評估。鑒于證明的組合大小無論如何都會比這大,像這樣使chunk變大,我們損失很少。
生成這些證明需要O(N?log(N))時間。驗證證明需要O(N)時間,但請注意,可以批量驗證許多證明:驗證IPA的O(N)步驟是橢圓曲線線性組合,我們可以使用隨機線性組合檢查其中的許多。每個證明仍然需要O(N)場域操作,但這只需要<1毫秒。
擴展:扇出出大于2
我們可以有一個更高的扇出,而不是每一步都有2扇出,例如8扇出。每個承諾我們將有7個證明,而不是每個承諾一個證明。例如,在底層,我們將有一個證明{1,2,3,4,5,6,7},{0,2,3,4,5,6,7},{0,1,3,4,5,6,7}等。這將總證明生成工作增加了
,但它將證明大小減少了3倍。
證明大小
假設我們正在處理大小為32的N=128chunk和一個(4x,4x,8x)的扇出。單個分支證明將包含3個IPA,總大小為2?(7+9+12)=56個曲線點加上chunk的512字節。今天256字節或512字節chunk擁有48字節證明。
生成證明總共需要2?8192?(3?2+7)次曲線乘法,或總共~212992次乘法。因此,這需要一臺功能強大的計算機快速完成,或者需要一個分布式過程,其中不同的節點專注于為不同的chunk。
驗證證明很容易,因為可以批量驗證證明,并且只完成一個橢圓曲線乘法。因此,它不應該比使用KZG證明慢很多。
自我修復
無法逐列有效地進行自我修復。但是我們能否避免要求單個修復擁有所有數據?
假設單行完全丟失。很容易使用任何列來重建該列中缺失行中的值。但是如何證明呢?
最簡單的技術是加密經濟學:任何人都可以簡單地發布一個聲明一個值的債券,然后有人可以將該聲明與證明不同值的分支證明一起使用,以削減該驗證者。只要有足夠的合法聲明可用,該行子網上的某個人就可以將聲明組合在一起并重建承諾和證明。甚至可能要求驗證者針對分配給他們的樣本索引發布此類聲明。
一種沒有加密經濟學但在技術上更復雜且速度更慢的替代方案是傳遞沿該列的值的M分支證明,以及證明正確驗證的Halo式證明。
北京時間4月8日凌晨01:43:36,CertiK安全技術團隊監測到收益聚合平臺Starstream因其合約中的一個執行函數漏洞被惡意利用,致使約1500萬美元的資產受到損失.
1900/1/1 0:00:00BitKeep錢包宣布與KuCoin社區鏈建立合作伙伴關系,BitKeep錢包現已支持KuCoin主鏈上線。在安裝BitKeep最新版本V7.0.1,用戶便可體驗KuCoin主鏈生態.
1900/1/1 0:00:00格林納達常駐世界貿易組織代表、特命全權大使、波場TRON創始人孫宇晨先生閣下受邀參與的紀錄片《AligningTheFuture》中英字幕完整版已正式上線.
1900/1/1 0:00:00l飛艇正在為撒哈拉以南非洲的兩個島嶼提供互聯網覆蓋。l空中信號與地面Wi-Fi連接,以提高帶寬速度。l該系統可以推廣到其他偏遠社區,幫助縮小高收入國家和低收入國家之間的數字鴻溝.
1900/1/1 0:00:00加密主流項目5-Uniswap 什么是Uniswap? Uniswap是構建在以太坊公鏈上的一個去中心化金融應用,允許人們以去中心化的方式進行代幣自動兌換交易.
1900/1/1 0:00:00“波卡知識圖譜”是我們針對波卡從零到一的入門級文章,我們嘗試從波卡最基礎的部分講起,為大家提供全方位了解波卡的內容,當然這是一項巨大的工程,也充滿了挑戰.
1900/1/1 0:00:00