比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

解決 ZK Rollup 最終確定性痛點,我們設計了一種全新方案_ROLL

Author:

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

加密領域存在一個廣泛的誤解,認為ZKRollup的最終確定時間很長。在這篇文章中,我們將解釋為什么第一代ZKRollup需要這么長時間才能完成最終確定性,以及我們如何在不犧牲安全性的情況下實現更低的延遲。

為了解決這個問題,我們構思了一種sovereignZKRollup設計。后面,我們將簡要探討sovereign設計的其他優勢。

最終性瓶頸及解決方案

對于大多數ZKRollup,驗證零知識證明是最大的開支之一。根據底層證明系統不同,以太坊上的Rollup可能會花費30萬到500萬Gas來驗證單個證明。但是由于證明的大小隨著交易數量增長而變化緩慢,Rollup可以通過在提交證明之前等待積累大量交易來降低每筆交易的成本。事實上,這正是當今大多數ZKRollup所做的;StarkEx等流行的Rollup通常每隔幾個小時才向L1發布一次證明。

Decentraland元宇宙時裝周出席人數暴跌76%:4月8日消息,據數據顯示,近期 Decentraland 元宇宙時裝周的出席人數從 108,000 人下降到 26,000 人。據一位 Decentraland 發言人表示,在為期四天(3 月 28 日至 3 月 31 日)的活動中,最高同時在線人數勉強超過 1000 人。

相比之下,Roblox 和《堡壘之夜》等熱門游戲平臺每天擁有數千萬用戶。Roblox 報告稱,該游戲在 2022 年四季度的日活躍用戶超過 5800 萬。《堡壘之夜》的日活躍用戶去年也曾超過 3400 萬。[2023/4/8 13:51:23]

但是等待幾個小時才能完成交易是一種令人無法接受的糟糕用戶體驗。我們能做得更好嗎?如果Rollup將原始交易數據發布到其數據可用性層,那么想要快速確定性的高級用戶可以運行全節點。但是,如果Rollup使用狀態差異,那么即使運行全節點也無濟于事。這就是為什么今天大多數ZKRollup的排序器都會發出「軟確認」。但是軟確認只有在中心化排序器系統中才有可能。所以問題仍然存在——我們如何讓去中心化的ZKRollup在延遲方面具有競爭力?

Bitwise總法律顧問:穩定幣監管是國會的首要任務:金色財經報道,Bitwise Asset Management 總法律顧問兼首席商務官 Katherine Dowling表示,穩定幣監管,即關于儲備報告和流動性要求的監管,已經醞釀了很長時間,并指出兩黨立法者未能在上屆會議上通過。由于大部分工作已經完成,Dowling 表示,穩定幣立法有可能成為希望鞏固某種加密貨幣政策的國會議員的早期勝利。 該領域適當規模的立法將為該行業帶來巨大的福音,雖然短期內在準備和組織方面可能會有一些痛點,但從長遠來看,我們都將受益于明確的道路規則。[2023/1/17 11:15:32]

如果我們只關心降低全節點的延遲,那么將原始交易數據發布到鏈上就可以解決問題。只要完整的交易數據可用,全節點就可以在應用交易時盡快完成。這讓我們的ZKRollup與傳統的L1一樣響應迅速!

安全公司:偽造推特賬號@zksync_io發布虛假空投鏈接,提醒用戶請勿上當:10月24日消息,派盾發布提醒稱,推特賬號@zksync_io是一個偽造的zkSync帳號,其主頁上的airdrop[.]zskync[.]io是釣魚網站,提醒用戶切勿點擊虛假空投鏈接。

此前報道,10月21日,zkSync開發團隊Matter Labs首席產品官Steve Newcomb在Twitter Space中表示,zkSync將于11月初發布有關Token經濟學的公告。此外,此前有關zkSync將于11月發行Token的消息系謠言。[2022/10/24 16:36:45]

這是一個非常強大的結果。它使ZKRollup適用于對延遲高度敏感的應用程序,如鏈上訂單簿。盡管如此,它并沒有完全解決原來的問題。我們真正想要的是減少輕客戶端的延遲,能否在不大幅增加證明驗證成本的情況下做到這一點?

Polygon推出首個Polygon ID集成:6月23日消息,Polygon 宣布啟動其自我主權身份解決方案 Polygon ID 與 Polygon DAO 的集成,和推出 Polygon ID 原生應用(一組用來集成或白標自定義應用的開源用戶和開發人員工具包)。Polygon ID 由零知識密碼學驅動,讓用戶可以完全控制他們的數字身份,允許在不泄露任何個人信息的情況下證明其身份的特定方面。

除了身份層,Polygon DAO 將與 Grail 密切合作,創建一個可擴展的治理通信平臺,Polygon ID 作為平臺的主要身份驗證方法。最初的發布將涵蓋一個投票模塊,用戶可以使用他們的 Polygon DAO 成員聲明參與(1 個人 = 1 票 Polygon DAO 治理)。[2022/6/23 1:26:31]

答案是肯定的!方法如下:我們可以實時創建證明,然后使用遞歸將它們聚合成批量證明,而不是等待創建單個批量證明。只要我們通過p2p網絡立即分發增量證明,輕客戶端就會體驗到快速的最終確定性。而且由于我們仍然只是在鏈上發布較慢的批量證明,因此我們不必為鏈上驗證支付額外費用。換句話說,我們仍然得到了一個與L1的信任最小化的橋——但橋不再是輕客戶端的真實性來源。恭喜,我們剛剛構建了一個sovereignRollup!

分叉選擇

敏銳的讀者會注意到上一段中描述的系統存在問題。在今天的Rollup中,L1智能合約負責執行Rollup分叉選擇規則。換句話說,智能合約不只是驗證零知識證明,它還會檢查證明是否建立在此前證明的基礎上,并且它是否處理了所有我們發送到L1上的相關「強制交易」。那么,如果不使用智能合約,我們如何選擇一個規范的分叉呢?

答案出奇的簡單——如果我們要求證明作為調用數據發布在L1上,那么我們可以添加一條規則,即新證明只有建立在先前有效證明的基礎上才有效。盡管我們可以在客戶端強制執行此規則,但它會要求用戶一直掃描區塊鏈的歷史,一直追溯到創世區塊——這并不理想。

值得慶幸的是,將其直接添加到零知識證明中并不難。通過將calldata綁定回L1區塊頭,我們可以添加一條聲明「我已經掃描了DA層的證明,并且這個證明建立在最近的有效證明之上」。這讓我們可以直接證明分叉選擇規則,而不是在客戶端強制執行!如果我們已經在掃描DA層的證明,我們也可以輕松掃描強制交易。

可移植性和互操作性

在智能合約Rollup范例中,L1橋是獨一無二的。由于橋負責檢查未包含在證明中的聲明,因此將基于證明的橋添加到其他目的地通常沒有意義。但是一旦我們將所有邏輯都移到證明中,這就不再是問題了。我們可以在任何我們想要的地方添加橋。

甚至可以更進一步,如果L1智能合約只是一個普通的橋,我們可以完全取消它。首先,在不支持智能合約的系統上構建Rollup是有意義的。只需采用現有的Rollup邏輯并刪除L1橋。突然之間,你可以部署在任何DA層上!換句話說,你的Rollup邏輯可以立即在不同的L1之間移植。

結論

Rollup的未來是sovereign。通過直接證明其分叉選擇規則,sovereignZKRollup可實現無縫互操作性、即時可移植性和快速最終確定性。就像智能合約Rollup一樣,它們提供低Gas成本和信任最小化橋梁,但它們不會被迫在成本和延遲之間進行權衡。

Tags:ROLLROLPOLPolygonTROLLBNB價格ROL幣polygon幣價格polygon幣當前行情

以太坊價格今日行情
虧損10億美元,監管纏身,加密友好銀行 Silvergate 陷入“生死局”_SIL

在加密友好銀行?Silvergate?Bank?(SI)爆出無法按時提交年度財報,并正在評估其持續經營的能力后,該公司股價在周四暴跌近60%,盤中觸及52周新低,收盤價跌至5.72美元.

1900/1/1 0:00:00
比特幣NFT和以太坊NFT有什么樣的差異?比特幣NFT未來發展如何?_OIN

注:本文來自@Dacongfred推特,MarsBit整理如下:BAYC擁抱比特幣NFT意味著什么?最近,BAYC的母公司YugaLabs推出了基于比特幣的NFT系列--TwelveFold.

1900/1/1 0:00:00
幣圈驚魂時刻 —— SVB 暴雷事件回顧_GAT

至暗時刻 剛剛過去的一周可能是幣圈開年來最黑暗的一段時間,比特幣價格一度跌破2萬美元的重要關口,為1月份以來首次.

1900/1/1 0:00:00
以太坊升級權益證明,為什么比特幣不能?_比特幣

要使臭名昭著的能源消耗型加密貨幣的效率大大提高,沒有任何技術障礙,只是一個社會障礙。去年,以太坊走向綠色環保路線.

1900/1/1 0:00:00
MarsBit周報 | Arbitrum將于下周啟動代幣空投;Filecoin虛擬機(FVM)主網上線;OpenAI 宣布推出 GPT-4_USD

一、過去一周行業發生重要事件 1.產業 AztecNetwork宣布將逐步關停DeFi隱私橋項目AztecConnect,未來將重點開發基于Noir語言的新產品據官方消息.

1900/1/1 0:00:00
InfPools:建立在Uni v3 AMM機制上的無限抵押借貸協議_ALGO

注:本文來自@angalina2021推特,MarsBit整理如下:1/n看了一個有趣且巧妙的新項目@InfPools,是建立在Univ3AMM機制上的無限抵押借貸協議,無需預言機.

1900/1/1 0:00:00
ads