Rollup-as-a-Service (RaaS) の機会: マルチチェーンからマルチロールアップへ
原作者: 南峰坡
元のタイトル: Rollup as a Service: 機会と課題
画像の説明
From Cosmos Network - Internet of Blockchains[4] and Getting Started · Polkadot Wiki[5]
その後、ロールアップと呼ばれる、より安全な拡張手法が登場しました。ロールアップは、レイヤー 2 のトランザクションを「バッチ」に圧縮してレイヤー 1 にアップロードし、不正証明 (Optimistic-rollup など) または有効性証明 (ZK-rollup など) によってレイヤー 1 の状態遷移の正当性を証明します。セックス。データの可用性と状態の有効性はレイヤー 1 で検証されるため、ロールアップではレイヤー 1 と同じレベルのセキュリティが得られ、レイヤー 1 とレイヤー 2 の間で資産を安全に転送できることが保証されます。
画像の説明
https://l2beat.com/[7] からの汎用およびアプリケーション固有のロールアップ
画像の説明
最初のレベルのタイトル
RaaS 構築の課題
副題
エンジニアリング
まず、ロールアップ SDK について説明します。ユーザーは、いくつかの構成を迅速にデプロイし、SDK に基づいてロールアップを開始できます。車輪の再発明を避けるために、SDK 開発にはオープンソースのロールアップを選択することをお勧めします。 Optimistic-rollup の場合、Arbitrum と Optimism は両方ともオープンソースです。 L2beat から、Metis と Boba の両方が Optimism のコードに基づいて開発されていることがわかります。これに対して、ZK-rollup のオープンソース度は高くありません。 ZkSync は v1 の完全なコード [11] をリリースしましたが、v2 には契約コード [12] (zkEVM が埋め込まれている) のみが含まれています。 StarkEx は契約コード [13] のみを公開し、他のモジュールはクローズドなソース コードを通じて第三者に提供します。 StartNet は Cairo のコードのみを提供します [14]。
オプティミスティック ロールアップ システムは、コードベースがより成熟しており、EVM のサポートが優れていますが、不正行為の証明に固有の性質があるため、ファイナリティとセキュリティの点で ZK ロールアップ システムに大きく劣ります。 ZK ロールアップ レイヤ 2 トランザクションはレイヤ 1 が証明された後すぐに完了しますが、オプティミスティック ロールアップ レイヤ 2 トランザクションはチャレンジ期間のため完了までに数日かかります。一方、楽観的ロールアップでは、より多くのセキュリティの前提条件が必要です。つまり、N 人中 1 人以上の誠実なオペレーターが不正証明の提出を保証し、検閲耐性のあるレイヤー 1 が不正証明の受け入れを保証します。
画像の説明
副題" An overview of zkEVM[15] "
パフォーマンス
画像の説明
EIP-4488 と Proto-danksharding がブロック サイズを増やす仕組み、出典: Vitalik's" Proto-Danksharding FAQ[18] "
ZK ロールアップに関しては、TPS も ZKP の計算速度によって制限されます。 Paradigm と 6block には、計算を高速化するための GPU、FPGA、ASIC 上の異なるハードウェア オプションがあります。さらに、6block は、マイニング プール、プルーフ アグリゲーション、DIZK など、ZKP 分散コンピューティングのいくつかのソフトウェア アーキテクチャを比較しました。今後のコンテストである ZPrize[19] も、開発者が ZKP 計算を高速化するための価値あるソリューションを見つける動機になります。
副題
経済モデル
画像の説明
ロールアップとその料金、https://l2fees.info/[28] より
副題
機能面
画像の説明
Vitalik が「Endgame」[31] で説明した、複数のロールアップ ブリッジとクロスロールアップ ブリッジを備えた将来のブロックチェーン アーキテクチャ
エピローグ
エピローグ
参考リンク
参考リンク
[1] https://ibc.cosmos.network/
[2] https://wiki.polkadot.network/docs/learn-crosschain
[3] https://wiki.polkadot.network/docs/learn-bridges
[4] https://v1.cosmos.network/intro
[5] https://wiki.polkadot.network/docs/getting-started
[6] https://starkware.co/starkex/
[7] https://l2beat.com/
[8] https://ethereum-magicians.org/t/a-rollup-centric-ethereum-roadmap/4698
[9] https://medium.com/starkware/fractal-scaling-from-l2-to-l3-7fe238ecfb4f
[10] https://medium.com/p/7fe238ecfb4f
[11] https://github.com/matter-labs/zksync
[12] https://github.com/matter-labs/v2-testnet-contracts
[13] https://github.com/starkware-libs/starkex-contracts
[14] https://github.com/starkware-libs/cairo-lang
[15] https://drive.google.com/file/d/1SyOXq8CtoEOKplw0KxazAL_YySdpsP62/view
[16] https://hackmd.io/@vbuterin/sharding_proposal#Why-is-data-availability-important-and-why-is-it-hard-to-solve
[17] https://github.com/ethereum/requests-for-proposals/blob/e8eed947a35d966027f47dfdd6c556089228642d/open-rfps/das.md
[18] https://notes.ethereum.org/@vbuterin/proto_danksharding_faq
[19] https://www.zprize.io/
[20] https://medium.com/offchainlabs/arbitrum-one-outage-report-d365b24d49c
[21] https://offchain.medium.com/todays-arbitrum-sequencer-downtime-what-happened-6382a3066fbc
[22] https://docs.zksync.io/userdocs/decentralization.html
[23] https://community.starknet.io/t/starknet-decentralization-tendermint-based-suggestion/998
[24] https://ethresear.ch/t/proof-of-efficiency-a-new-consensus-mechanism-for-zk-rollups/11988
[25] https://ethresear.ch/t/a-design-of-decentralized-zk-rollups-based-on-eip-4844/12434
[26] http://taikocha.in/
[27] https://community.optimism.io/docs/governance/
[28] https://l2fees.info/
[29] https://twitter.com/epolynya/status/1511623759786307586
[30] https://newsletter.banklesshq.com/p/how-to-hop-between-chains
[31] https://vitalik.ca/general/2021/12/06/endgame.html
