こんにちはCryptoGames Inc.のyamapyblackです。
最近FrontierDAOというDAOを立ち上げました。フルオンチェーンゲーム作ってます。
https://medium.com/@yamapyblack/full-on-chained-game-by-frontierdao-b8e50549811d

今回はLayer2のOptimisticRollupの「Optimism」を取り上げます。
Optimismのexplorerやコントラクトを実際に見ながら、Rollupの仕組みを見ていきたいと思います。
※ざっくりLayer2に関する知識がある方を対象としています

Optimistic Ethereum Explorer

OptimismのExplorerはこちらです。
https://optimistic.etherscan.io/

パッと見た感じ、L1のEtherscanと変わらんやん、と思いかもしれませんが、結構カスタマイズされています。

まず一番左から。

「ブロックナンバーは？」
この「Ba」ってやつがブロックナンバーに見えるんですが、実は違います。クリックすると「Batch Index」であり、ブロックナンバーではないんですね。

ブロックナンバーみたいなもんじゃん？と思うかもしれませんが、間隔が一定ではありません。
画像を見ると、9分、3分、9分、3分となっており、一定ではないようです。

Optimismは決まった時間で生成されるBlockはなく、処理したトランザクションをまとめて送っているだけなので、こうなってます。

トランザクションのところをクリックすると、以下画面に飛びます。

Indexがカウントアップしてますね。シーケンサによって作られていることがわかります。

続いて、Hashのところをクリックしてみましょう。Rollup先のL1のトランザクションが見れます。

※L1のEtherscanに飛んでます。

なるほどー、L2の複数トランザクションをまとめてL1にRollupしている。それをExplorerから見ることができるんですね。

Rollup先のコントラクトは？

Rollupのトランザクションを見ればわかるのですが、「CanonicalTransactionChain」というコントラクトの「appendSequencerBatch」を実行しています。

引数はないように見えますが、calldataの中身を分解して、実際のデータは「ChainStorageContainer」に入れています。

中身あまり見てないですが、txのMarkleRootと、tx数などを入れているようです。

ここまでトランザクションのRollupを見てきましたが、OptimisticRollupでは、txとstateをL1に書き込んでいます。Stateのほうも見てみましょう。

「StateCommitmentChain」というコントラクトのappendStateBatchを実行しています。

こちらはbyte配列でいれています。
実際のデータは「ChainStorageContainer」に入れています。txを保存しているコントラクトと同じコントラクトですが、コントラクトは2個存在し、異なるアドレスとなっています。
以下にoptimsimのコントラクトアドレス一覧があります。

Optimismのドキュメントを読むと、BondManagerにシーケンサのETHが担保としてプールしていて、チャレンジ成功するとそのETHがスラッシュされると記載があります。

うーん、みた感じプールされてない？ですかね。。。

isCollateralizedというfunctionがあったので、シーケンサのアドレス「0x473300df21D047806A082244b417f96b32f13A33」を入れてみたところ、trueとなりました。
担保していると言い張っているようです。

ここがtrueじゃないとrollUpのtxを起こせないので、まあ当然といえば当然です。が、実際は担保していないように見えます。
Optimismが「Proofs disabled」になっているのは、こーゆーことなんでしょうかね。

optimismがtxとstateをきちんとRollupしていることがわかりました。
explorerを見れば、L2のどのtxがL1のRollupに対応するか簡単にわかっていいですね。
ただ、チャレンジのしくみはまだ整っていないようなので、そこが早くLIVEになることが期待されます！