Skip to content

fix jovian specs #778

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
sebastianst merged 5 commits into from
Sep 18, 2025
Merged

fix jovian specs #778

Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
b1d5f42
fix jovian specs
geoknee Sep 18, 2025
87cc505
commit script to generate specs
geoknee Sep 18, 2025
37c33e4
lint
geoknee Sep 18, 2025
306e4c5
remove file
geoknee Sep 18, 2025
9141bd3
whitespace nits
geoknee Sep 18, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 12 additions & 8 deletions specs/protocol/jovian/derivation.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,13 +22,16 @@ derivation pipeline in the following order:
## Network Upgrade Transactions

### L1Block Deployment
<!-- Generated with: ./scripts/run_gen_predeploy_docs.sh --optimism-repo-path ../optimism --fork-name Jovian --contract-name L1Block --from-address 0x4210000000000000000000000000000000000004 --from-address-nonce 0 --git-commit-hash 7daaabbf2c2cce892aa171bc7e1331ad31bcc8ca --eth-rpc-url https://optimism.rpc.subquery.network/public --proxy-address 0x4200000000000000000000000000000000000015 --copy-contract-bytecode true -->
<!-- Generated with: ./scripts/run_gen_predeploy_docs.sh --optimism-repo-path ../optimism --fork-name Jovian
--contract-name L1Block --from-address 0x4210000000000000000000000000000000000006 --from-address-nonce 0
--git-commit-hash 7daaabbf2c2cce892aa171bc7e1331ad31bcc8ca --eth-rpc-url https://optimism.rpc.subquery.network/public
--proxy-address 0x4200000000000000000000000000000000000015 --copy-contract-bytecode true -->

The `L1Block` contract is deployed.

A deposit transaction is derived with the following attributes:

- `from`: `0x4210000000000000000000000000000000000004`
- `from`: `0x4210000000000000000000000000000000000006`
- `to`: `null`
- `mint`: `0`
- `value`: `0`
Expand All @@ -39,11 +42,11 @@ A deposit transaction is derived with the following attributes:
computed with the "Upgrade-deposited" type, with `intent = "Jovian: L1Block Deployment"`

This results in the Jovian L1Block contract being deployed to
`0x93e57A196454CB919193fa9946f14943cf733845`, to verify:
`0x3Ba4007f5C922FBb33C454B41ea7a1f11E83df2C`, to verify:

```bash
cast compute-address --nonce=0 0x4210000000000000000000000000000000000004
Computed Address: 0x93e57A196454CB919193fa9946f14943cf733845
cast compute-address --nonce=0 0x4210000000000000000000000000000000000006
Computed Address: 0x3Ba4007f5C922FBb33C454B41ea7a1f11E83df2C
```

Verify `sourceHash`:
Expand Down Expand Up @@ -84,19 +87,20 @@ A deposit transaction is derived with the following attributes:
- `mint`: `0`
- `value`: `0`
- `gasLimit`: `50,000`
- `data`: `0x3659cfe600000000000000000000000093e57a196454cb919193fa9946f14943cf733845`
- `data`: `0x3659cfe60000000000000000000000003ba4007f5c922fbb33c454b41ea7a1f11e83df2c`
- `sourceHash`: `0x08447273a4fbce97bc8c515f97ac74efc461f6a4001553712f31ebc11288bad2`
computed with the "Upgrade-deposited" type, with `intent = "Jovian: L1Block Proxy Update"`

Verify data:

```bash
cast concat-hex $(cast sig "upgradeTo(address)") $(cast abi-encode "upgradeTo(address)" 0x93e57A196454CB919193fa9946f14943cf733845)
# 0x3659cfe600000000000000000000000093e57a196454cb919193fa9946f14943cf733845
cast concat-hex $(cast sig "upgradeTo(address)") $(cast abi-encode "upgradeTo(address)" 0x3Ba4007f5C922FBb33C454B41ea7a1f11E83df2C)
# 0x3659cfe60000000000000000000000003ba4007f5c922fbb33c454b41ea7a1f11e83df2c
```

Verify `sourceHash`:

```bash
cast keccak $(cast concat-hex 0x0000000000000000000000000000000000000000000000000000000000000002 $(cast keccak "Jovian: L1Block Proxy Update"))
# 0x08447273a4fbce97bc8c515f97ac74efc461f6a4001553712f31ebc11288bad2
```