DAOrayaki ｜Collaborative Rollup：無需 ZK EVM的更快確定性提案_ROL

原文作者:?Ethereum

創作者：Xinyang

審核者：DAOctor

原文:?TheRisksofLSD

背景

自從ETH2提上日程后，人們就sharding討論了很長時間。danksharding提出后，社區似乎對數據分片達成了共識，將執行權留給了L2，而最初的多委員會執行分片設計由于其復雜性而很少被談論。但我認為執行分片仍需深入研究，它的一些屬性仍然可以使用，尤其是它的安全模型。

在這篇文章中，將提出CollaborativeRollup，一種新型的Rollup，它基于從執行分片方案派生的多委員會，因此具有相同的安全模型。與ZKRollup相比，它可以輕松地完全兼容EVM，而zkEVM仍然很難解析一些操作碼。與OptimisticRollup相比，CollaborativeRollup不需要一段長時間的挑戰期。

SoFi：若擬議的SEC規則生效，加密業務可能面臨重大風險:金色財經報道，擁有新興加密貨幣部門的金融科技公司SoFi在其季度 8-K 報告中表示，美國證券交易委員會 (SEC) 在 4 月份重新調整了其監管 ATS以及監管機構的《交易法規則》，該規則將對加密貨幣交易所的構成進行重新分類，如果該提案獲得通過，有資格作為交易所的實體將面臨更嚴格的監管，以促進被認為是證券的加密資產的交易，因此其加密業務可能面臨重大風險。

SoFi 在文件中表示：“在擬議規則最終通過之前，我們可能需要獲得額外的監管許可才能開展業務。獲得此類許可的時間和成本可能會很高，而且無法保證。此外，我們可能需要暫停或改變我們業務的某些方面，直到獲得此類許可。”[2023/8/11 16:19:06]

概述

Shopify用戶可通過Taco NFT忠誠度計劃訪問Tezos鏈上NFT:10月19日消息，Tezos區塊鏈與Web3自動化平臺Taco合作，允許Shopify用戶通過Taco的NFT忠誠度計劃訪問Tezos上NFT。據悉，Taco允許品牌集成Web3解決方案（例如NFT）以增加與客戶的互動，而Shopify使用Taco應用插件為其商家提供這些服務。

據此前報道，Shopify與Web3商務平臺Novel合作，用戶可直接在Shopify購買NFT。（Cointelegraph）[2022/10/20 16:30:36]

CollaborativeRollup的關鍵組件包括生產者節點、背書節點、管理合約和狀態合約。

人們可以質押代幣并將其公鑰注冊到MC，成為PN或EN。我們將根據質押數量選擇前N個EN，并通過RANDAO或VRF等可信任的隨機來源將它們隨機分發到M個委員會中。委員會的信息也由MC管理。

Michael Saylor：比特幣將使黃金非貨幣化:8月14日消息，前MicroStrategy首席執行官Michael Saylor預測，隨著時間的推移，比特幣最終將使黃金去貨幣化。在21世紀，黃金不會被當作貨幣來使用。黃金是19世紀的金屬貨幣。比特幣將成為一種機構投資級資產，將受到主要投資者、監管機構和立法者的歡迎。一年后可能會出現以現貨為基礎的比特幣 ETF。（U.Today）[2022/8/14 12:24:56]

PN以數據包的形式收集L2交易，通過在EVM中運行交易生成執行結果，并將結果發送給EN委員會進行背書。EN通過在其本地EVM中實際執行交易來驗證結果。如果結果有效，EN簽署結果作為背書并廣播它們。委員會中收集到至少2/3EN的背書的，可以將這些BLS簽名聚合為證明，并像其他Rollup一樣將執行結果、證明和交易提交到鏈上。

印度央行行長：由于匿名性DEFI造成了特別的挑戰:6月17日消息，印度央行行長沙克蒂坎塔·達斯表示：印度央行正在向央行數字貨幣邁進，監管機構必須確保適當的風險管理，對實體銀行分行的依賴將會減少，科技巨頭可能會破壞金融系統。將很快發布指導方針，以確保數字借貸生態系統的安全和健全，使用金融科技數據的銀行可能會引發系統性問題，印度央行將繼續微調監管。由于匿名性，DEFI（去中心化金融）造成了特別的挑戰。有必要尋找全球協調監管的方法。越來越多的技術使用導致了更多的數字欺詐。印度央行很快就會發布關于（金融）科技的建議。一些事態發展使流動性任務具有挑戰性。[2022/6/17 4:34:42]

安全模型

如上所述，CollaborativeRollup的安全模型依賴于隨機委員會的背書，就像ETH2原來討論的執行分片一樣。眾所周知，單個節點不能被信任，而一組隨機選擇的節點卻可以。如果我們假設少于1/3的節點是惡意的，并且委員會的多數是2/3，那么只有當惡意節點無法在單個委員會中獲得多數時，才能保持安全。

接下來，我們將估計惡意節點在委員會中獲得多數席位的概率。設N是總節點的大小，其中K個是惡意的。n是委員會大小，k是對手大小，因此一個委員會中惡意節點數量的概率分布可以建模為超幾何分布：

所求的概率

遵循累積超幾何分布，當很大時，它會降級到二項分布：

其中p是1/3。我們可以看到，當n足夠大時，惡意節點在委員會中獲得多數席位的概率可以忽略不計。這里，“多數”可以理解為POS中的質押份額。下面列舉一些概率情形：

另一方面，如果一個包含非法驗證的背書被某個故障節點簽名，無論它是否可以獲得足夠的簽名來提交給L1，簽名的無效背書本身都可以被視為欺詐證明并提交給L1以懲罰簽名節點，這是一種1-of-N信任模式。

背書和驗證

L2中的狀態可以組織為一棵Verkle樹，它使用KZG作為其狀態承諾，也像MPT一樣實現trie。因此，狀態根是整棵樹的承諾。我們在這里使用Verkle樹，因為它的proof比Merkle樹小。給定N個葉子的k-ary樹，則是

PN在其本地EVM中執行交易后，我們可以獲得輸入狀態、輸出狀態和輸出狀態根。那么執行結果可以作如下呈現：

執行結果包括背書費用信息，最后狀態根，結果的狀態根，交易的Merkle根，以及相關的輸入狀態和Verkle證明，屬于最后狀態根輸出狀態的Verkle路徑，需要執行的交易，以及上面三個根的簽名和背書費用信息。

當EN接收到一個合格的PN產生的執行結果時，它首先檢查它是否具有最后狀態根，然后驗證輸入狀態的Verkle證明以及輸出狀態的路徑。如果以上所有內容都有效，我們將擁有一個包含所有所需狀態的部分狀態樹。之后，檢查交易的Merkle根并在該狀態樹頂部使用本地EVM運行所有交易以生成輸出狀態樹。最后，檢查輸出狀態樹的根是否與執行結果中的根相等。如果為真，則通過對執行結果中三個根的數據進行簽名來生成背書，并且值為1。否則，EN只對與上述內容相同的數據簽名，但值為0。

任何簽名的EN，收到來自2/3委員會的背書的，可以將背書中的簽名聚合為一個以形成最終背書，并將其提交給L1，由合約調用交易，就像其他rollup一樣。L1鏈通過驗證簽名以及背書中交易的Merkle根來檢查背書。如果它們都有效且狀態為1，則將接受rollup交易并將狀態根設置到狀態合約SC。

費用和激勵

如上所述，承諾到L1的交易費用將由EN支付。還有一點需要說明的是，在發送給EN進行背書的執行結果中有背書費用信息。SC中的每個PN都有一個背書費用帳戶，用于支付該費用。EN將檢查賬戶余額以確定是否足以支付要背書的執行結果中設定的費用。一定比例的背書費用會被支付給成功將背書交易發送到L1的EN，所有簽署背書的EN將平分剩余的費用。

背書費用信息也可以設計為包括GAS_PRICE和GAS_LIMIT。無論執行結果是否有效，SN都可以收集委員會2/3的簽名，承諾到L1，并收取背書費。

另外，如上所述，這里有一個漁夫機制。任何無效的背書，無論是否已承諾到L1，都可以作為惡意證明并由任何節點發送到L1。支持錯誤背書的EN的質押將被削減，一部分削減的質押將作為激勵提供給證明發送節點。

來源：金色財經

Tags：ROLLROLERKVERTROLL BNBAgrolifeCoinCYBERKONGZNimbus Governance Token

SHIB