Rollup即服務（RaaS）的機會：從多鏈到multi-rollup_TPS

原文作者:?nanfengpo

原文標題:?RollupasaService:OpportunitiesandChallenges

Cosmos和Polkadot采用多鏈結構的擴展方案。他們的區塊鏈SDK，Tendermint和Substrate，被許多項目用于定制自己的區塊鏈。這些區塊鏈使用跨鏈協議，如CosmosIBC、PolkadotXCM和bridges?來進行互動。然而，這些協議很難保證高安全性，這導致了頻繁的黑客竊取。因此，跨鏈協議沒有帶來預期的效果，區塊鏈之間仍保持相對獨立。

FromCosmosNetwork-InternetofBlockchainsandGettingStarted·PolkadotWiki

后來，出現了一種更安全的擴展技術，稱為rollup。rollup將第2層的交易壓縮成一個“批次”，上傳到第1層，并通過欺詐證明或有效性證明證明第1層的狀態轉換的有效性。由于數據的可用性和狀態的有效性在第1層得到驗證，rollup獲得了與第1層相同的安全水平，確保資產可以在第1層和第2層之間安全轉移。

到目前為止，許多rollup項目，如Arbitrum、Optimism、ZkSync和StarkNet都已經在使用。除了這些通用的rollup，還出現了一些特定應用的rollup，包括基于StarkExrollupSDK?的dYdX和DeversiFi等。雖然rollup技術還沒有完全發展起來，掌握這種技術的團隊也不多，但市場上對這種技術的需求仍然很強烈。

LayerZero宣布新增支持Scroll測試網:6月14日消息，跨鏈互操作性協議LayerZero在推特上宣布已在Scroll測試網上線，并在文檔中列出endpoint信息。

此前6月8日消息，LayerZero發推稱已新增支持Arbitrum Nova。[2023/6/15 21:37:24]

DeFi擴展到更普遍的領域，如游戲和社交網絡。我們預計rollup將逐漸成為一種提供給Web3應用程序的服務，即RollupasaService。一些項目現在正朝著這個方向發展。以太坊以rollup為中心的路線圖和StarkNet的Layer3架構都展示了特定應用的multi-rollup未來。

建立RaaS的挑戰

rollup在提供RaaS方面仍然面臨以下挑戰。

工程方面

首先，讓我們來談一談rollupSDK。人們可以在SDK的基礎上快速部署一些配置和啟動rollup。為避免重新發明車輪，開源的rollup是SDK開發的更好選擇。對于Optimistic-rollup，Arbitrum和Optimism都是開源的。從L2beat那里，我們可以看到Metis和Boba都是在Optimism的代碼基礎上開發的。相比之下，ZK-rollup的開源程度不高。ZkSync發布了v1版的完整代碼，但v2版只有合約代碼。StarkEx只發布了合約代碼，并通過一個封閉的源代碼向第三方提供其他模塊。StartNet只提供Cairo的代碼。

OKX Ventures宣布投資基于zkRollup的Layer2網絡 Taiko:6月8日消息，OKX Ventures 宣布投資基于 zkRollup 的 Layer2 網絡 Taiko，Taiko 可以使開發者和用戶能夠安全地體驗以太坊，交易費用更低，而且不需要考慮任何變化。

OKX Ventures 創始人 Dora 表示，Taiko 構建的 zk-EVM 屬于 Type1 梯隊，即完全的以太坊等效性，是當前 zkEVM 領域最具潛力的項目，也是以太坊創始人 Vitalik Buterin 在推特中點名的 ZK-EVM 五大選手之一[2023/6/9 21:24:57]

盡管Optimistic-rollup系統擁有更成熟的代碼庫和對EVM更好的支持，但欺詐證明的固有特性使它們在最終性和安全性方面遠遠落后于ZK-rollup系統。ZK-rollup第2層的交易在第1層被證明后立即完成，而Optimistic-rollup第2層的交易由于有挑戰期，需要幾天時間才能完成。另一方面，Optimistic-rollup需要更多的安全假設：至少1-out-of-N誠實操作者來保證欺詐證明提交，有一個抗審查的第1層來保證欺詐證明接受。

總而言之，我們現在就可以在現有的開源代碼基礎上快速建立一個Optimistic-rollupSDK，但從長遠來看，ZK-rollupSDK似乎更有吸引力。當然，除了代碼庫的問題，ZKVM的設計，即ZKP可驗證的智能合約，也是迫切需要的。目前，各種ZKVM解決方案正在開發中。每個解決方案的方法仍然不統一。

Layer2跨Rollup橋Orbiter Finance新增支持Scroll測試網:11月18日，據官方消息，Layer2 跨 Rollup 橋 Orbiter Finance 新增支持 Scroll 測試網。用戶可通過該跨鏈橋對 Scroll 測試網進行測試體驗。[2022/11/18 13:20:51]

PolygonAvail也在嘗試擴大第2層的存儲容量。然而，這些解決方案的安全性和易用性仍需進一步研究。

Vitalik’s"Proto-DankshardingFAQ"

在ZK-rollup方面，TPS還受到ZKP計算速度的限制。Paradigm和6block在GPU、FPGA和ASIC上有不同的硬件選擇來加速計算。此外，6block比較了幾種ZKP分布式計算的軟件架構，包括礦池、證明聚合和DIZK。ZPrize，一個即將到來的競賽，也激勵開發者找到有價值的解決方案來加速ZKP計算。

確保rollup服務的高可用性是另一個關鍵問題。目前市場上的rollup服務幾乎都是中心化的，也就是說，只有特定的運營商可以向第1層提交批次和證明。這是一個脆弱的設計，因為SPOF將很容易導致服務不可用。由于軟件錯誤和硬件故障，Arbitrum已經多次遭受了數小時的停機。許多項目都在致力于去中心化rollup以避免SPOF，包括zkSync、StarkNet、PolygonHermes、PoVP和taikocha.in。

Cardano推出首個ZK-Rollups擴容解決方案Orbis:2月25日消息，Cardano（ADA）推出首個 ZK-Rollup Layer 2 解決方案 Orbis，旨在通過提升可擴展性和交易吞吐量支持 DeFi 應用程序和區塊鏈生態系統，交易會在 Orbis Layer 2 鏈下執行并形成一個零知識證明，然后提交給 Cardano Layer 1。

Orbis 有兩個主要組件：證明者（Prover）和驗證者（Verifier），前者目的是構建 zkSNARK 證明來驗證交易的發生，后者是一個鏈上智能合約，接受鏈上資產輸入，將它們鎖定在合約中，以便它們可以在 Rollup 中使用并確保不會出現雙花風險。據了解，Orbis 團隊已經在 Project Catalyst 的 Ideascale 平臺上發布了資金申請，希望申請 100 萬美元資金來支持開發和上線工作。[2022/2/25 10:16:05]

rollup和它們的費用，來自https://l2fees.info/

現有的大多數rollup是建立在區塊鏈上的第三方服務，所以它們的主要收入僅僅來自于交易費。然而，我們可以跳出這種思維模式，將rollup視為區塊鏈提供的原生服務。就像Cosmos和Polkadot的設計一樣，整個系統包含一個區塊鏈和附著在區塊鏈上的多個rollup，形成一個具有無限可擴展性的去中心化網絡。通過這種方式，網絡可以用相同的原生代幣獎勵第1層區塊鏈驗證者和第2層rollup運營商。這個想法類似于Polynya提出的shrinedrollup，值得進一步研究。

zkSync官方錢包整合Orbiter Finance跨rollup橋:2月15日消息，以太坊 Layer2 擴展方案 zkSync 宣布其官方的 zkSync v1 錢包已經整合 Orbiter Finance 的去中心化跨 rollup 橋，用戶可以從以太坊主網、Polygon 和 Arbitrum 上以較低低成本轉入資產。[2022/2/15 9:52:51]

結語

這篇文章描述了RaaS，即為DApps提供rollup服務。顯然，區塊鏈將迎來Web3的multi-rollup未來。任何人都可以通過SDK快速啟動他們的rollup，并以高性能和低成本在rollup上運行應用程序。在討論了RaaS可能面臨的所有挑戰后，我們最終提出了原生rollup的想法，這將有助于區塊鏈用其原生代幣獎勵rollup驗證者，并提供一個由其驗證者維護的cross-rollup橋。我們計劃進一步仔細研究，并在未來的文章中詳盡闡述。

參考鏈接

?https://ibc.cosmos.network/

?https://wiki.polkadot.network/docs/learn-crosschain

?https://wiki.polkadot.network/docs/learn-bridges

?https://v1.cosmos.network/intro

?https://wiki.polkadot.network/docs/getting-started

?https://starkware.co/starkex/

?https://l2beat.com/

?https://ethereum-magicians.org/t/a-rollup-centric-ethereum-roadmap/4698

?https://medium.com/starkware/fractal-scaling-from-l2-to-l3-7fe238ecfb4f

?https://medium.com/p/7fe238ecfb4f

?https://github.com/matter-labs/zksync

https://github.com/matter-labs/v2-testnet-contracts

?https://github.com/starkware-libs/starkex-contracts

?https://github.com/starkware-libs/cairo-lang

?https://drive.google.com/file/d/1SyOXq8CtoEOKplw0KxazAL_YySdpsP62/view

?https://hackmd.io/@vbuterin/sharding_proposal#Why-is-data-availability-important-and-why-is-it-hard-to-solve

?https://github.com/ethereum/requests-for-proposals/blob/e8eed947a35d966027f47dfdd6c556089228642d/open-rfps/das.md

?https://notes.ethereum.org/@vbuterin/proto_danksharding_faq

?https://www.zprize.io/

?https://medium.com/offchainlabs/arbitrum-one-outage-report-d365b24d49c

?https://offchain.medium.com/todays-arbitrum-sequencer-downtime-what-happened-6382a3066fbc

?https://docs.zksync.io/userdocs/decentralization.html

?https://community.starknet.io/t/starknet-decentralization-tendermint-based-suggestion/998

?https://ethresear.ch/t/proof-of-efficiency-a-new-consensus-mechanism-for-zk-rollups/11988

?https://ethresear.ch/t/a-design-of-decentralized-zk-rollups-based-on-eip-4844/12434

?http://taikocha.in/

?https://community.optimism.io/docs/governance/

?https://l2fees.info/

?https://twitter.com/epolynya/status/1511623759786307586

?https://newsletter.banklesshq.com/p/how-to-hop-between-chains

?https://vitalik.ca/general/2021/12/06/endgame.html

Tags：ROLLROLTPSHTTCoinControllerCashRolodextps幣圈CHTT

以太坊