以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads

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

Author:

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

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

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

最終性瓶頸及解決方案

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

上市公司Ether Capital2022年收入為370萬美元:金色財經報道,加拿大上市公司Ether Capital Corporation(NEO:ETHC)公布其截至2022年12月31日止年度的經審計綜合財務業績報告。公司的收入從2021年的150萬美元增加到2022年的370萬美元,增長了149%,這主要是由于Staked Ether獎勵的大幅增加。此外,公司從關聯方Purpose Investments獲得咨詢費收入,該關聯方與Purpose Investment的加密ETF(“加密資產管理規模”)管理的資產相關聯。2022年12月31日資產負債表上的現金為44萬美元,而2021年12月31日為340萬美元。但是,增加的245萬美元投資于現金等價物、有價證券。如上所述,在2022年期間,公司數字資產的估值發生了重大變化。數字資產價值減少1.373億美元至7310萬美元,主要原因是年內以太坊價格下跌65%。截至2022年12月31日,公司數字資產的估值超過這些資產的成本基礎1550萬美元。[2023/4/2 13:40:11]

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

CFTC主席重申他認為ETH是一種商品:金色財經報道,美國商品期貨交易委員會(CFTC)主席Rostin Behnam周二在國會聽證會上重申,他認為以太幣是一種商品,這一可能有爭議的說法與美國證券交易委員會主席的觀點不同,即ETH可能是一種證券,其對Binance的行動仍未定論。

Behnam表示,正是這種信念推動了針對幣安以及其他交易比特幣和以太幣的機構的訴訟,這表明在其他平臺上進行的此類交易最終也可能面臨監管審查。[2023/3/29 13:32:07]

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

過去24小時,Checks NFT系列成交額增幅超90%,地板價現報0.31ETH:1月18日消息,據NFTGo.io數據信息,Checks NFT系列地板價現報0.31ETH,過去24小時漲幅達30.25%,此外,該系列24小時成交額達551.66ETH,增幅達93%。

金色財經此前報道,Checks項目由加密藝術家Jack Butcher創立,該項目于1月3日開放限時24小時不限量Mint,每件售價8美元。最終16,031件Checks被鑄造。[2023/1/18 11:18:27]

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

瑞典央行官員:各國政府可能會限制外國人進入其CBDC:金色財經報道,瑞典央行Sveriges Riksbank第一副行長 Cecilia Skingsley表示,央行數字貨幣 (CBDC) 不會成為解決所有跨境支付問題的“靈丹妙藥”。國家不一定會相互“玩得很好”,這使得互操作性或CBDC與其他支付系統交互的方式變得復雜和分層。我們必須考慮不同級別的互操作性,對于每個想要參與其中的人來說,就治理和監督等達成一致將是非常困難的。

如果外國支付服務提供商能夠訪問世界各地的CBDC,這將是一個更高效、更開放的系統。但一些國家可能會發現這樣做“風險太大”。我認為各國也會有不同的選擇和不同程度的障礙,所以不會有一種準入模式將適用于所有人。[2022/6/29 1:37:32]

答案是肯定的!方法如下:我們可以實時創建證明,然后使用遞歸將它們聚合成批量證明,而不是等待創建單個批量證明。只要我們通過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:ROLROLLKROETHRoller InuBenjiRollsAkromaRocket Pool ETH

幣安app官網下載
深度解讀:透視a16z,跟隨「聰明錢」_加密貨幣

想知道加密貨幣的下一步是什么?你得跟著聰明錢走。@a16zcrypto是最大的加密貨幣VC。這是一篇關于a16z投資的由數據驅動的深度解讀.

1900/1/1 0:00:00
巨額拋售?1700 萬以太坊即將引爆市場?!_ETH

總有幣圈媒體和一些個人散播FUD,聲稱上海升級期間,將會有1700萬個ETH被取消質押,但是真相是什么?我想他們不會說.

1900/1/1 0:00:00
BUSD 風波之后,穩定幣協議 Liquity 為何大火?_USD

Liquity是一個去中心化的借貸和穩定幣協議,允許Eth的持有者在不支付浮動利息的情況下獲得最大的流動性.

1900/1/1 0:00:00
ETHDenver參會總結:我們看到了哪些趨勢_BER

剛從Denver回來,過去的一周精彩不已。分享一下個人感受,和整個會議傳遞的新趨勢。整體而言,EthDenver整體感受非常好,遠勝Consensus,Token2049.

1900/1/1 0:00:00
長推:LSD未來 4 個新趨勢分析_LSD

注:本文來自@0xYugiAI推特,MarsBit整理如下: 流動性質押的4大趨勢 流動性質押是一個令人興奮和快速發展的領域,有幾個顯著的趨勢.

1900/1/1 0:00:00
以太坊賬號抽象ERC4337的過審方案解讀_ION

前言 在2023.3.1號丹佛的WalletCon上,官宣由以太坊基金會開發人員設計實現的ERC-4337的核心合約已經通過了OpenZeppelin的審計,通過各項測試.

1900/1/1 0:00:00
ads