加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads

數據可用性問題將如何影響以太坊發展?_區塊鏈:以太坊交易所清算

Author:

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

本文來自Polygon,星球日報經授權轉載。在這篇文章中,我們深入研究了數據可用性問題的細節以及它如何影響以太坊的擴展。什么是數據可用性問題?

數據可用性問題:區塊鏈網絡中的節點如何確保新提議區塊的所有數據實際上是可用的?如果數據不可用,則該塊可能包含被塊生產者隱藏的惡意交易。舉個例子,假設Alice是ZK-Rollup(ZKR)的運營商。她在以太坊上提交了經過驗證的ZK證明。如果她沒有在以太坊上提交所有交易數據,盡管她的證據證明rollup中進行的所有狀態轉換都是有效的,但rollup的用戶仍然可能對其當前賬戶余額一無所知。由于提交的證明的零知識性質,提交的證明沒有說明當前狀態。OptimisticRollup(OPR)設置中有一個類似的例子,Alice在以太坊上提交了一個斷言,但OPR的任何參與者都不能挑戰它,因為交易數據不可用,因此他們無法重新計算或挑戰該斷言.為了應對上述情況,OPR和ZKR的設計都要求operator將以太坊上的所有交易細節作為“calldata”提交。雖然這使他們在短期內避免了DA問題,但隨著rollup內部交易數量的增長,需要提交的數據量也會增加,從而限制了這些rollup可以提供的擴展量。這對如今的區塊鏈有何影響?

裕信銀行:強勁的美國就業數據可能導致美元迅速走高:裕信銀行表示,如果美國9月非農就業數據超出預期,相對于G10貨幣和新興市場貨幣,美元需求可能會迅速增加。預測歐元兌美元EUR/USD將迅速跌破1.15,而1.1450代表下一個支撐位。周三美國9月ADP就業人數超預期增長,預計非農數據也將強勁。假如非農就業人數如預期增加50萬人,可能足以讓美聯儲按計劃在11月開始縮減資產購買規模。裕信銀行預計將增加60人。[2021/10/8 5:47:51]

為了回答這個問題,讓我們首先回顧一下類似以太坊的區塊鏈的一般區塊結構以及任何區塊鏈網絡上存在的客戶端類型。一個塊可以分為兩個主要部分:?區塊頭:一個小區塊頭包含與區塊中包含的交易相關的摘要和元數據。?塊體:它包含所有交易數據并占塊大小的大部分。在傳統的區塊鏈協議中,所有節點都被視為同步整個區塊并驗證所有狀態轉換的完整節點。所有節點花費大量資源來檢查交易有效性并存儲區塊。從好的方面來說,這些節點不會接受任何無效的交易。可能還有另一類節點沒有資源來驗證每筆交易。相反,他們主要對了解區塊鏈的當前狀態以及與他們相關的某些交易是否包含在鏈中感興趣。這些輕客戶端依靠全節點來檢查所有交易是否有效。因此,在安全性方面,它們依賴于可信的全節點。但是如果區塊生產者沒有透露區塊背后的全部數據呢?這可以防止全節點驗證所有交易。這反過來又阻止了輕節點絕對確定它所看到的由所有合法交易支持的區塊頭。為了解決這個問題,我們需要一種輕客戶端機制來驗證數據可用性。這將確保區塊生產者無法通過說服輕客戶端來隱藏數據。它還將迫使區塊生產者公開部分數據,使整個網絡以協作的方式訪問整個區塊。讓我們借助一個例子更深入地探討這個問題。假設區塊生產者Alice用交易tx1、tx2、……、txn構造了一個區塊B。讓我們假設tx1是惡意交易。如果tx1被廣播,任何完整節點都可以驗證它是惡意的,并將其發送給輕客戶端,輕客戶端會立即知道該塊是不可接受的。但是,如果Alice想隱藏tx1,她會顯示標頭和除tx1之外的所有交易數據。全節點無法驗證tx1的正確性。讓輕節點查詢任意一筆交易,均勻隨機。輕客戶端查詢tx1的概率為1n。因此,Alice能夠以壓倒性的可能性欺騙輕客戶端接受惡意交易。由于不可歸因的性質,全節點無法以任何方式證明tx1不可用。那么,我們該怎么辦呢?

黃奇帆:基于人工智能和區塊鏈技術建立數據可追溯系統:10月24日,復旦大學特聘教授、重慶市原市長黃奇帆在第三屆外灘金融峰會上表示,合理分配好數據的管轄權、交易權、所有權、使用權、財產分配權,能夠有效促進數據資源轉化為數據資產,有利于保護數據主體權益并維護數據安全。

他進一步表示,各類數據活動具有公共產品的特性,它的管轄權、交易權應當歸屬于國家,內部的任何數據活動都應該遵循國家數據安全法規。國家可以成立中央數據部門對國內的數據活動進行統一管理,在確立總的管理規則后,主要城市可以設立定點數據交易所,類似在北京、上海、深圳設立的證券交易所,而其他的一般省會城市、地級市不能設立。

“同時基于人工智能和區塊鏈技術建立數據可追溯系統,對數據無論是交易、使用、財產分配,有全息的可追溯過程,并且保證是不可更改的,從而保證數據交易安全有序。”(中國證券網)[2021/10/25 20:53:41]

該問題的解決方案在于在塊中引入冗余。總的來說,有大量關于編碼理論的文獻,特別是擦除編碼,可以幫助我們解決這個問題。簡而言之,糾刪碼允許我們將任何n個數據塊擴展為2個數據塊,其中2n個數據塊中的任何一個都足以重建原始數據塊。如果我們強制區塊生產者擦除交易tx1、tx2、...、txn的代碼,然后隱藏單個交易,則需要隱藏n+1個交易,因為任何足以構建整個交易集的交易。在這種情況下,恒定數量的查詢使輕客戶端足以確信底層數據確實可用。哇,原來如此?

火幣公鏈汪毅江:區塊鏈企業面臨數據庫防篡改和確保數據可信的挑戰:7月8日消息,金色財經主辦“全球應用安全加速—區塊鏈發展的護城河與加速器”主題沙龍活動在線上舉辦。本次活動邀請了阿里云新金融事業部解決方案架構師元佑、阿里云網絡產品解決方案架構師騏跡、阿里云安全高級解決方案架構師福威、HBTC霍比特創始人巨建華、火幣公鏈技術專家汪毅江、庫幣首席安全官CSO Angelia Tian、Bybit首席安全官 Benjamin等技術領域專家作為嘉賓出席。

火幣公鏈技術專家汪毅江在論壇對話中,對安全技術主要守護哪些方面的問題表示,“區塊鏈安全需注意的要點包括私鑰管理安全、業務流程安全、智能合約與開源代碼安全、隨機數安全等等。區塊鏈本質上決解的問題是數據庫防篡改以及數據可信,但區塊鏈領域的企業卻對此面臨著嚴重挑戰。一些成熟或者創新的安全技術,可以比較容易的解決這樣的問題。比如加密芯片,HSM,凡篡改數據庫等。這些技術在傳統互聯網應用并不廣泛,但卻是值得思考和嘗試的。”[2020/7/8]

不。雖然這個簡單的技巧使隱藏工作變得更加困難,但區塊生產者仍有可能故意以錯誤的方式執行擦除編碼。然而,一個完整的節點可以驗證這個擦除編碼是否正確完成,如果沒有,它可以向輕客戶端證明這一點。這被稱為欺詐證明。有趣的是,輕客戶端需要有一個誠實的全節點鄰居才能確定如果編碼錯誤,那么它將收到欺詐證明。這確保了輕客戶端以極高的概率訪問沒有惡意交易的鏈。但是存在一個問題!如果簡單地實現,欺詐證明的大小可以按照塊本身的大小排序。但我們對輕客戶端的資源預設禁止我們使用這樣的設計。通過使用多維擦除編碼技術,可以在這方面有所改進,該技術以可接受的大小減少欺詐證明的大小。為簡潔起見,我們不涉及這些,但該文獻對其進行了詳細分析。基于欺詐證明的解決方案的問題在于,輕客戶端永遠無法完全確定尚未收到欺詐證明的任何塊。此外,他們一直相信其全節點對等方是誠實的。還需要激勵誠實的節點不斷保持審計區塊。有沒有辦法避免欺詐證明?

聲音 | 微軟(中國)首席技術官韋青:區塊鏈等技術解決了數據可信和實時存在的問題:據每日經濟新聞消息,6月28日,“第二屆長三角民企發展大會”在上海舉行。微軟(中國)首席技術官韋青表示,邊緣計算、5G、區塊鏈之所以重要,是因為技術解決的并不是數據本身,而是數據可信和實時存在的問題。而現在的數據并沒有按照人工智能時代所需要的數據結構來搭建。[2019/6/28]

最近,向量承諾重新引起了區塊鏈領域的關注。這些向量承諾,尤其是對多項式的恒定大小的KZG/Kate承諾,可用于設計簡潔的DA方案,而無需欺詐證明。簡而言之,Kate承諾允許我們使用單個組元素提交多項式。此外,該方案支持我們證明在某個點i使用恒定大小的見證,多項式評估為。承諾方案在計算上是隱藏和綁定的,也是同態的,使我們能夠巧妙地避免欺詐證明。我們強制塊生產者獲取原始交易數據并將其排列在大小為n,m的二維矩陣中。它使用多項式插值將大小為n的每一列擴展為大小為2n的列。對于這個擴展矩陣的每一行,它都會生成一個多項式承諾,并將這些承諾作為區塊頭的一部分發送。下面給出了該塊的示意圖。輕客戶端查詢這個擴展矩陣的任何單元格以獲得見證,這使它能夠立即根據塊頭驗證它。恒定大小的成員證明使抽樣非常有效。承諾的同態性質確保只有在正確構造塊的情況下才驗證證明,并且多項式插值確保成功樣本的恒定數量意味著數據以非常高的概率可用。

聲音 | 尼曼-麥特馬爾福:數據可以借助區塊鏈技術保持獨立性:愛沙尼亞電子政務學院項目主任尼曼-麥特馬爾福近日接受采訪時指出,在數據安全方面,愛沙尼亞在近15年中摸索出四條寶貴經驗:第一,去中心化。這意味著沒有一個高度集中的數據庫,無論是政府還是私營機構,它們都擁有自己的一套系統和數據。第二,區塊鏈技術。這些數據可以借助區塊鏈技術保持獨立性。第三,僅一次收集。一個數據只能由一家機構收取,這避免了數據復制和官僚主義。第四,高度透明。所有的公民都可以通過登錄日志文件來查閱政府是如何使用自己的數據的。[2019/3/13]

該方案的更精細細節以及進一步的優化和成本估算超出了本文的范圍。其他選擇是什么,以及進一步變更是什么?

更高維的擦除代碼和Kate承諾并不是解決DA問題的唯一方法。我們在這里跳過了其他方法,如編碼默克爾樹、編碼交錯樹、基于FRI和STARK的方法,但每種方法都有其優點和缺點。我們在Polygon,一直在使用Kate承諾開發數據可用性解決方案。在后面的文章中,我們將介紹實現細節、您現在可以如何使用它以及我們如何致力于轉變DA問題空間。

Tags:區塊鏈ROLROLL以太坊區塊鏈的未來發展前景數字化研究roll幣能出坐騎嗎TrollCoin以太坊交易所清算

幣安app官網下載
在 Solana 上開發 DeFi 的三大理由_SOL:Solana

撰文:Francium-Solana生態聚合收益器第?部分:Solana鏈底層的優勢 交易成本 Ethereum的交易成本已經影響了??對于DeFi的正常使?.

1900/1/1 0:00:00
以太坊腳下的土地是否依舊穩固?_以太坊:區塊鏈

如果我說,當前已經是以太坊自創生以來獲得最多認可和肯定的時期了,我想應該沒有人會反對。你可能也還記得,2018、2019這兩年,以太坊遭受了多大的質疑和輕視.

1900/1/1 0:00:00
星球日報 | 幣安:上線報稅工具API;將與監管機構共享數據(7月28日)_NFT:區塊鏈技術不包括哪一項

頭條 幣安上線報稅工具API,以符合監管機構報稅要求據官方公告,幣安宣布上線報稅工具API,API工具將幫助幣安用戶追蹤數字貨幣活動,以確保其符合當地監管機構制定的報稅要求.

1900/1/1 0:00:00
【Deribit期權市場播報】0714——日期權_LANA:SOLACE

收錄于話題 #每日期權播報播報數據由Greeks.live格致數據實驗室和Deribit官網提供.

1900/1/1 0:00:00
Rise of the Magni是什么? | 不一樣的「DFINITY」詞貼_NET:IRISTOKEN幣

《RiseoftheMagni》是一個戰棋與養成類型的NFT游戲,100%的代碼與游戲素材都部署在DFINITY的互聯網計算機上.

1900/1/1 0:00:00
10年后,以太坊的市值能達到3.2萬億美金么?_ETH:以太坊幣美元最新行情走勢圖

這篇文章旨在幫助讀者理解投資Ethereum以及其原生資產ETH的潛在影響,本文不會試圖對ETH進行精準估值和價格預測.

1900/1/1 0:00:00
ads