以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > 狗狗幣 > Info

以太坊重要擴容方案:Optimistic Rollup現狀報告(中)_ROLL:roll幣怎么用

Author:

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

完整的EVM:Layer2虛擬機

為了使Layer2智能合約計算保持無需信任,必須有一個備用方案,即以某種形式在Layer1執行這種計算。由此可見,ORU支持完整的EVM,Layer2需要自己的虛擬機,該虛擬機可在EVM基本層中執行,為此高性能的創建實現并非易事。簡而言之,EVM的設計初衷并非旨在自身運行。您可以從EIP中了解到其中的一些挑戰,它也討論了修改EVM以直接合并此功能的可能性,以及KelvinFitcher在Plamsa中對這一問題的概述。因此,所有五個完整的EVM項目都為Layer2執行創建了自己的EVM修正版本。為了確保欺詐證明的可靠性和可預測性,VMs的執行必須是確定性的;即,在證明時必須能夠準確再現最初發現欺詐的情況。因此,非確定性操作必須完全修改或刪除,例如,檢查區塊高度,難度和時間戳。同樣,用于合約創建或銷毀的操作碼也需要刪除,因為這種邏輯是特殊的。因此,在部署到ORU鏈之前,ORU上Layer1的合約可能需要對Solidity代碼進行一些小的修改。欺詐證明

所有完整的EVMORUs在如何促進欺詐證明方面都具有一些基本的共性:定期排序并提交ORU鏈的狀態,計算操作的哈希值也是如此,包括執行狀態轉換。。欺詐證明在某種程度上使用了這些數據來表明,所提交的步驟實際上并未正確地將初始狀態轉換為最終狀態。完整的EVM實踐中主要區別在于它們處理這些欺詐證明的交互程度。ORU本質上必須包含足夠的呼叫數據,這樣可以立刻發現欺詐行為,并最終得到主鏈的共識。但是,執行此欺詐證明的過程因構造而異。在單輪欺詐證明方案中,欺詐總是可以在單筆交易中證明,也可以在單方的多筆交易中證明。這樣做的好處是可以立即“解決爭議”,沒有麻煩的載體,因此不需要欺詐證明人的保證金,而且操作簡單。在多輪欺詐證明中,欺詐是顯而易見的,但是欺詐證明者和區塊生產者之間需要幾個交互步驟。這樣做的好處是Gas成本更低,鏈上數據成本也可能更低。單輪欺詐證明

以太坊官博:Medalla測試網目前進展順利:金色財經報道,以太坊官方博客今日發文稱,自8月14日的事件發生以來,Medalla測試網的進展非常順利,目前有3.9萬活躍驗證者,并且在激活隊列中還有1.2萬。文章強調,客戶端多樣性是必須的,盡管有許多eth2客戶端正在積極開發中,但該網絡目前由Prysm主導。客戶端的多樣性不僅使eth2共識更加牢固,而且在極端情況下也能為用戶提供保護。此外,客戶端團隊還在努力確保轉換客戶端既方便又安全。當單個客戶端發生故障時,易于更改的軟件將使社區能夠更快地解決問題(例如Medalla事件)。文章還指出,eth2的主要目標之一是達到1.5階段(即合并階段),屆時現有的以太坊鏈的共識將整合到eth2中。此外,文章表示,客戶端團隊正在努力工作,審計員正在深入研究每個細節,并正在準備啟動主網。[2020/9/2]

Nutberry,Optimism和Celer的ORU都支持單輪欺詐證明。這就要求每筆交易都必須提交到序列化的后狀態根。在Optimism的模型中,Celer也直接受到影響,如果檢測到欺詐,欺詐證明者會發布交易的初始狀態和最終狀態的時間,并讓主鏈完全執行交易。。理想情況下,交易只需要最少的狀態時間即可證明欺詐。但是原則上,交易可能需要讀取大量狀態數據。如果欺詐證明需要大量數據和/或計算,很難將其放在主鏈區塊上,那么Optimism可將證明拆分為多個交易Nutberry的方法與此類似,但使用“門控計算”模型執行合約。智能合約被修補以包含檢查點。在此模型中,交易會提交多個更細化的中間狀態根,可能需要更多數據,但在較小的數據塊中執行欺詐證明。多輪欺詐證明

動態 | CFTC主席預計以太坊期貨即將推出:金色財經報道,美國商品期貨交易委員會(CFTC)主席Heath Tarbert在接受彭博社采訪時重申,以太坊(ETH)期貨正在醞釀中。 早在去年10月,Tarbert就表示,以太坊期貨可能會在2020年的某個時間開始交易,同時表示CFTC愿意為新產品開綠燈。[2020/1/31]

證明者需要與欺詐證明者之間進行多個步驟的交互才能決定多輪欺詐證明是否屬實。按照ORU的定義,關鍵是要發布足夠的數據,讓任何一個誠實的參與者或觀察者都可以從一開始就確定哪一方在說真話,從而預測了質疑期的結果。在InterstateOne的例子中,交易包含狀態根,且發布時提交Merkle根至對應執行的步驟,而不是提交至步驟本身。從某種意義上說,這種提交是一種二級“optimistic”的假設。只有驗證者提出問題時,操作員才會將EVM消息棧張貼在呼叫數據中,驗證者可以使用該信息簡要證明欺詐。在最壞的情況下,此過程總共進行3輪,并且要求呼叫數據與所涉及的交易中的步驟數量成線性關系。在互動性增強方面最先進的是OffchainLabs的ArbitrumRollup,可以最大程度地減少鏈上的足跡。使用Arbitrum,只有區塊,而非交易,需要提交狀態根。與Interstate一樣,這些也包括了提交哈希值的計算。如果雙方提出了相互矛盾的主張,則他們將進入爭端;在該爭端中,他們會交互式地找出無效執行的單個計算步驟。他們通過在棧中進行有效的二進制搜索直到欺詐已隔離:即,欺詐證明者通過棧,在中途的一個點請求狀態哈希,然后將棧二等分并重復已知無效的一半。此過程將不斷重復,直到只剩下一個無效的操作,然后在鏈上執行該操作。因此,在最壞的情況下,此過程需要個日志步驟,并且需要最少的Layer1計算。這種方法的一個令人驚訝的特性是,盡管爭議正在進行,但無需暫停系統的其余部分。用戶和區塊生產者可以繼續照常進行交易。可以將“爭議”視為可能性樹中的分枝。誠實的用戶可以驗證且確定哪一方是誠實的,并在此基礎上繼續發展,了解爭端最終將以何種方式解決。因此,爭議的持續時間不會讓系統的其余部分延遲。有關更多信息,請參見HowArbitrumRollupWorks。應用特定的Rollups

動態 | 以太坊昨日交易總額約212.1萬ETH:以太坊昨日交易總額約212.1萬ETH,日活躍用戶量約21.4萬,新增合約15408,代幣交易數量54.3萬,最活躍合約:USDT[2019/8/9]

ORU項目支持更受限制的功能,同時尋求圍繞更特定的案例進行優化:通證支付、去中心化交易、私人支付和大規模遷移。這四個協議都各不相同,也將分別進行探討。Fuel

Fuel正在實施以支付為中心的、基于UTXO的ORU側鏈,其數據模型類似于比特幣。這種設計需要平衡智能合約的一些功能,以利于實現簡便性以及更便宜的驗證和欺詐證明。實際上,關于Fuel與完整EVMORU的權衡,許多想法與比特幣與和以太坊的權衡相似。與比特幣一樣,Fuel鏈的狀態被隱式定義為所有未花費的交易輸出的集合;不需要狀態根序列化。支持簡潔欺詐證明的模型與GregMaxwell在2014年GregMaxwellin2014最初為比特幣提出的模型相似;交易與比特幣交易非常相似,但是包含一個額外的數據區,用于指定每個輸入的處理位置。有了這個數據區,就可以在一個回合中用一個或兩個包含證明來證明所有欺詐案件。除了低成本的欺詐證明之外,UTXO模型還有望實現更高性能的驗證-更好的狀態訪問模式和并行空間。Fuel將使用一種模型來支持ERC20和ERC721傳輸,該模型可以反映比特幣彩色硬幣提案。它還支持某些特殊的交易類型,包括HTLCs的原子互換。該計劃最終支持一種更強大的無狀態謂語腳本語言,其功能類似于比特幣腳本。。ANON的ZK-Optimistic-Rollup

以太坊經典團隊2018年的三個明確目標:據cryptogazette,以太坊經典團隊在2018年有三個非常明確的目標:1. 核心投資領域:2018年及以后,ETC將通過ECC的努力進行改造。ECC已經制定了指導方針,以確保所有ETC資金在ETC協議開發,市場營銷和社區舉措進行部署;2. ECC的主要項目:ETC開發。不久之后,ETC將成為令牌項目和dApp的首選;3. 改善營銷并培養強大的社區。[2018/3/17]

另一個獨特的ORU項目是ANON的ZK-Optistic-Rollup,它支持ERC-20和ERC-721支付交易,并具有與ZCash隱私地址相同的隱私保證。該設計與ZCash本身有很多共同點;資金索賠采用UTXO式的“簽發”形式;支付產生的新簽發和創建的“廢止通知”,記錄該簽發是用于防止未來重復支出。交易也包括ZK-SNARK,可證明其滿足所有有效性條件,且沒有向觀察者實際透露任何細節。為了維護簡潔的欺詐證明,ZK-ORU擁有ZCash中沒有的功能:廢止通知存儲在SparseMerkle樹中,并隨每個新的ORU塊進行更新。這樣可以輕松證明成員資格和非成員資格。與所有其他ORU一樣,計算被樂觀地延遲了,包括SNARKS本身的驗證。所有的欺詐情況,包括無效的SNARK,只需一步就能證明。注意,生成SNARK的重任落在用戶身上;ANON預計一個客戶會花費10-30秒生成SNARK。WCL的ORUHub

楊寧:以太坊的底層設計有極大的缺陷:今晚,空中網創始人楊寧在“3點鐘區塊鏈社群”表示:自己曾把以太坊和比特幣考下來之后開始研究他們的架構和機制。但后來發現,以太坊的底層設計是有極大缺陷的。第一也是最重要的缺陷是以太坊只有一條鏈,沒有側鏈,它把所有的程序對等的跑在所有的礦機上。這樣一個很耗資源的程序就把所有的礦機搞死。這個問題越來越嚴重。第二個缺陷,為應對黑客攻擊以太坊虛擬機漏洞問題而設立的跑智能合約每一步都要收gas費。也就是說你想用以太坊來寫一個DAPP,去中心化的應用,你也跑不起。[2018/3/13]

該ORU操作旨在成為rollup鏈之間的批交易標準,是讓用戶自愿將其資金遷移到升級合約的一種手段。該操作本身是一條簡單的,僅基于帳戶支付的鏈,與Fuel一樣,它提供廉價的欺詐證明和數據驗證。這種構造的主要目的是建立一種標準架構,以便能夠直接在不同鏈之間進行轉移,即,不必從一條鏈中取出款后再重新存到到另一條鏈上。這可以通過支持批量存款和建立單向鏈間的交叉連接實現。只要目的鏈上的驗證者發現出發鏈上的欺詐行為,就可以將付款視為最終付款,而不會產生任何額外的延遲。這與圍繞ETH2.0交叉分片通信的研究ETH2.0crossshardcommunication邏輯相類似。雖然主要的計劃用例是可升級性,但此機制潛在的其他用例是在單獨的、不同的、實時rollup鏈之間遷移,我們需要對此進行更多研究。關于rollup鏈間遷移的精確協議,以及需要確認的規范鏈,更多詳細信息尚未公開,日后會在此處附上鏈接。IDEX2.0

IDEX的獨特之處在于,他們將ORU作為已經投入生產的項目的最佳擴容版本,IDEX合約當前已在主網運行,IDEX合約使用的狀態模塊比任何以太坊其他應用程序都要多。IDEX2.0的rollup鏈支持登記訂單式去中心化交易功能,并且圍繞此特定用例構建而成。該鏈負責執行訂單,維護用戶余額,允許設置發生其他功能,例如更高級的訂單類型,自動交易引擎等。IDEX的ORU中的驗證者必須有IDEX通證。驗證者提交收據證明已發布的區塊,并根據他們在有效區塊上的簽名和有效欺詐證明的簽發而受到獎勵和/或懲罰。獎勵是使用一部分的交易費用和自己的通證支付的。在協議中,區塊生產者僅上傳區塊的Merkle根作為初始投入,僅在質疑時將區塊內容發布到呼叫數據中。由于無法在鏈上保證rollup區塊數據的可用性,因此,這并不完全符合上述“OptimisticRollup”的定義;實際上,他們將其稱為“優化的OptimiziedRollupOptimizedOptimisticRollup”。一旦發布呼叫數據后,就可以通過一兩個附加步驟來證明欺詐行為。下面將討論此方法對信任/安全的影響。作者:DanielGoldman自由軟件工程師、技術顧問、作家譯者:Emma、SnowLu校對:Samuel

Tags:以太坊ROLROLLOPT幸運以太坊roll幣怎么用TROLLBNB價格OPTC價格

狗狗幣
比特幣秘史(十六):哪些大學開始教授比特幣課程了?_區塊鏈:區塊鏈TEC幣有這種幣嗎

經歷過十一年的磨煉,比特幣和其他加密貨幣的底層技術區塊鏈已經從曾經的密碼世界中脫穎而出,成為不同領域相關問題的商業解決方案.

1900/1/1 0:00:00
區塊鏈能否成為抗擊疫情的法寶?_區塊鏈:HLO幣

文|棘輪比薩在肆虐的新冠肺炎疫情前,區塊鏈是否有用武之地?答案是肯定的。早在2018年,就有學者指出,區塊鏈是功能強大、公開透明、成本低廉的疾病監測解決方案.

1900/1/1 0:00:00
一文縱覽金融科技基礎設施變革趨勢與市場全景_USD:AUSDC幣

編者按:本文來自鏈聞,撰文:ChrisMcCann,風投基金ProofofCapital管理合伙人,編譯:PerryWang,Odaily星球日報經授權轉載.

1900/1/1 0:00:00
了解雙幣種合約 (quanto) 的風險與機遇_比特幣:btc轉到錢包為什么變成btck

編者按:本文來自加密谷Live,作者:SuZhu,翻譯:ZoeZhou,Odaily星球日報經授權轉載。雙幣種合約是一種衍生品,其中標的資產以一種資產計價,但衍生工具以另一種資產結算.

1900/1/1 0:00:00
bZx事件引發對DeFi平臺風險管理的思考_EFI:BasketDAO DeFi Index

最近,一段關于一個絕頂聰明的人在bZx上的贏得了約值35萬美元ETH收益的新聞,一下子在幣圈炸開了鍋,所有知名的區塊鏈媒體平臺都轉發了這段新聞,很多群友對操作過程提出了疑問.

1900/1/1 0:00:00
全面剖析MakerDAO治理體系:以2%治理事件為例_Maker:MAKE

關于DeFi的應用研究已經不少,但是對于DeFi的治理研究卻討論甚少,或許因為目前DeFi仍處于快速發展的爆發階段,治理的重要性還沒有顯現,DeFi是新生事物,目前并沒有發生致命性治理挑戰.

1900/1/1 0:00:00
ads