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

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

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

最終性瓶頸及解決方案

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

趙長鵬：幣安今年可能會在收購和投資上花費超過10億美元:10月7日消息，趙長鵬表示，盡管加密貨幣市場熊市即將到來，幣安今年可能會在收購和投資上花費超過10億美元。 幣安也一直在向NFT和粉絲代幣的生態系統以及傳統的支付服務提供商投入資金。在接下來的幾個月里，幣安也可能有興趣收購傳統電子商務和游戲公司的少數股權。幣安有一個70億美元的基金一直在投資交易，它有一個30多名成員團隊專注于并購。總體處于高位，在熊市期間，我們將看到更多的市場整合，有很多風險和很多痛苦，但也有很多機會。

此外，趙長鵬表示，盡管今年大多數加密貨幣的價格下跌了50%以上，但幣安今年仍保持盈利，但沒有更具體說明。 NFT用例在很大程度上沒有得到很好的構建，用于門票、大學學位的NFT。我認為這項技術會留下來。

據悉，今年到目前為止，幣安已向67個項目承諾了3.25億美元，而2021年為73個項目提供了1.4億美元。（彭博社）[2022/10/7 18:41:58]

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

a16z加密部門將發布免費的許可系統，幫助NFT建立行業標準:8月31日消息，a16z加密部門準備發布一個免費的許可系統，希望通過以類似于知識共享的方式，提供經過律師審查的一系列免費許可選項，為如何使用NFT建立一些行業標準。

a16z總法律顧問Miles Jennings表示，人們正在采取各種各樣的方法，整個行業的更大標準化將有助于釋放該行業的經濟潛力。

a16z crypto GitHub上提供了所有六個許可證：創作者不可撤銷、尊重修改和調整、支持透明分許可、尊重第三方內容、在丟失的情況下清晰的許可證所有權 、許可證部署到Arweave。[2022/8/31 13:00:37]

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

拉脫維亞當局將被指控的加密欺詐者移交給美國拘留:8月28日消息，波羅的海小國拉脫維亞的公民Ivars Auzins周五被引渡到美國。這位拉脫維亞人已被移交給美國司法機構，罪名是6項起訴書，指控他犯有電匯欺詐、證券欺詐以及陰謀實施電匯和證券欺詐，涉及8家聲稱提供、投資或開采數字資產的企業。其中兩個，Denaro和Bitroad，通過ICO籌集資金。Impressio Estate、Broi Investments（Bankroi）、Changepro、Genneon Investments和Lycovest將自己描述為加密投資平臺，提供不同的投資計劃和利潤率。Innovamine提供BTC和ETH的挖礦投資。Auzins被轉移到美國之前，最近被美國當局指控犯有加密犯罪的兩名俄羅斯國民被引渡。[2022/8/28 12:53:41]

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

Palumbo：美聯儲料將“略微轉向鷹派”:8月23日消息，Palumbo財富管理公司創始人Philip Palumbo認為，今年的杰克遜霍爾年會尤為重要，因為美聯儲正走到十字路口，試圖在不讓經濟陷入混亂的情況下抑制通脹。Palumbo預計，美聯儲將“略微轉向鷹派”，即加息更多、持續時間更長。“如果美聯儲要控制通脹，就需要經濟放緩。在過去的一個月里，市場利率一直在下降，股市一直在上漲，所有這些都與美聯儲試圖實現的目標背道而馳。只要有一點鷹派言論，就可能在很大程度上推動市場回到其預期方向。”（金十）[2022/8/23 12:41:55]

答案是肯定的！方法如下：我們可以實時創建證明，然后使用遞歸將它們聚合成批量證明，而不是等待創建單個批量證明。只要我們通過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：ROLLROLKROVERTROLLBankRollKRO幣Reality Metaverse

波場