原文作者:VitalikButerin
當前的數據可用性抽樣計劃使用KZGcommitments完成。KZG承諾的優點是它們非常易于使用,并且具有一些非常好的代數性質:
一個評估證明具有恒定的大小,并且可以在恒定的時間內進行驗證。
這里存在一種算法來計算所有證明,這些證明在O(N?log(N))時間內在N個單位根的每一個都會評估deg
您可以線性組合承諾以獲得這個線性組合的承諾:com(P)com(Q)=com(PQ)
您可以線性組合證明:Proof(P,x)Proof(Q,x)Proof(PQ,x)
第一點是良好的效率保證。第二點確保生成可以進行DA采樣的blob很容易:如果生成所有證明需要O(N2)這么長的時間,則需要高度中心化的參與者或復雜的分布式算法才能使其準備好DAS。
V神:Uniswap是好項目:以太坊聯合創始人V神今日在FTX CEO評價SushiSwap事件推文中留言表示,(DeFi領域中)Uniswap創始人是好的參與者,Uniswap團隊做了幾年的努力,做出了正直的決定,當其他人都在盡可能快地ICO的時候(過去兩周,它們因此被攻擊),Uniswap平臺的推出并不發幣,我看到Uniswap自推出以來一直在發展,說Uniswap對社區不負責任不符合事實。[2020/9/6]
第三點和第四點對于2D采樣非常有價值,并且可以實現分布式區塊生產者和高效的自我修復:
區塊生產者只需要知道原始的M承諾即可使用一種按照曲線的FFT來“擴展列”并生成在同一deg
您不僅可以進行每行重建,還可以進行每列重建:如果列上的某些值和證明丟失,您可以執行FFT來恢復丟失的值和證明。
V神:更多的慈善機構應該接受以太坊捐款:V神在推特表示,更多的慈善機構應該接受以太坊捐款。對于國際交易來說這是一條合法又高效的渠道,最近穩定幣的發展表明有越來越多的方法減少波動性。[2020/9/1]
然而,KZG有一個弱點:它依賴于復雜的配對密碼學和受信任的設置。配對密碼學已經被研究使用了20多年,受信任的設置是N中的1個信任假設,N是數百名參與者,因此實踐中的風險很高,作者認為繼續使用KZG是完全可以接受的。但是,值得提出一個問題:如果我們不想支付KZG的成本,我們可以使用內積參數來代替嗎?
有關IPA的解釋,請參閱這篇文章的前半部分。
IPA具有以下特性:
評估證明具有對數大小,可以在線性時間內驗證
沒有已知的有效的多重證明生成算法。
V神:現階段與其提出新的創新 不如實現現有創意:V神發推稱:“以太坊生態系統(甚至整個加密貨幣生態系統)正處于這樣一個階段:實現現有想法要比提出新的、更好的想法更為重要。三年前可不是這樣的。”[2020/5/10]
承諾是橢圓曲線點,您可以像KZG承諾一樣將它們線性組合
沒有已知的線性組合證明的方法。
因此,我們保留了一些屬性,也丟失了一些屬性。事實上,我們失去的足夠多,以至于我們生成、分發和自我修復證明的“當前方法”不再可能。這篇文章描述了一種替代方法,雖然有點笨拙,但仍然可以實現目標。
一種替代方法
首先,我們生成一棵證明樹,而不是為deg
我們以評估形式解釋數據,將其視為一個向量:
,其中多項式
聲音 | V神:對以太坊治理的具體成果滿意:據bitcoinexchangeguide報道,以太坊聯合創始人V神(Vitalik Buterin)近日在播客節目中表示,以太坊治理實際上被低估了,就以太坊治理取得的具體成果而言,已經做得非常好。此外,困擾V神的一件事是以太坊區塊鏈的當前規模,他認為這將是一個嚴重的瓶頸。他為此提供了兩種解決方案,要么改變智能合約的存在方式,要么開始收取智能合約租金。[2019/3/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?(7912)=56個曲線點加上chunk的512字節。今天256字節或512字節chunk擁有48字節證明。
生成證明總共需要2?8192?(3?27)次曲線乘法,或總共~212992次乘法。因此,這需要一臺功能強大的計算機快速完成,或者需要一個分布式過程,其中不同的節點專注于為不同的chunk。
驗證證明很容易,因為可以批量驗證證明,并且只完成一個橢圓曲線乘法。因此,它不應該比使用KZG證明慢很多。
自我修復
無法逐列有效地進行自我修復。但是我們能否避免要求單個修復擁有所有數據?
假設單行完全丟失。很容易使用任何列來重建該列中缺失行中的值。但是如何證明呢?
最簡單的技術是加密經濟學:任何人都可以簡單地發布一個聲明一個值的債券,然后有人可以將該聲明與證明不同值的分支證明一起使用,以削減該驗證者。只要有足夠的合法聲明可用,該行子網上的某個人就可以將聲明組合在一起并重建承諾和證明。甚至可能要求驗證者針對分配給他們的樣本索引發布此類聲明。
一種沒有加密經濟學但在技術上更復雜且速度更慢的替代方案是傳遞沿該列的值的M分支證明,以及證明正確驗證的?Halo式證明。
無論要進入《雪崩》的元宇宙、科幻電影《頭號玩家》的虛擬游戲世界“綠洲”、《環界》的人工生命計劃“環”、《三體》中模擬地外文明的游戲“三體”.
1900/1/1 0:00:00尊敬的XT.COM用戶:XT.COM合約交易現已升級完畢,平臺已恢復永續合約、全幣種合約交易。用戶可前往APP首頁點擊更新提示完成即可使用,WEB端登入官網,點擊合約入口即可正常操作.
1900/1/1 0:00:00關於Gate.ioStartup免費空投計劃爲回饋平臺用戶,Gate.io上線“免費空投計劃”,在Startup區不定期進行區塊鏈項目的免費空投計劃.
1900/1/1 0:00:00隨著5G的商用和普及,萬物互聯正逐步走近現實。同時,隨著終端連接、數據存儲、利用規模的擴大,個人信息安全和隱私問題也越來越凸顯出來.
1900/1/1 0:00:00原文標題:《RollingUpforChainExploration》原文作者:Mycelia原文編譯:iambabywhale.eth,ForesightNews如果你認真體驗過以太坊的主網.
1900/1/1 0:00:00isaspecialeventthatwillbeheldeveryMondayfromMarch8.
1900/1/1 0:00:00