Skip to content

Commit 51576e6

Browse files
mdehoogmdehoog
committed
Jovian consensus nonces
1 parent 1f00bb1 commit 51576e6

File tree

9 files changed

+269
-4
lines changed

9 files changed

+269
-4
lines changed

‎specs/protocol/ecotone/l1-attributes.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ but are instead packed into 5 32-byte aligned segments (starting after the funct
2323
Each unsigned integer argument is encoded as big-endian using a number of bytes corresponding to the underlying type.
2424
The overall calldata layout is as follows:
2525

26-
[ecotone-upgrade-txs]: derivation.md#network-upgrade-automation-transactions
26+
[ecotone-upgrade-txs]: ../derivation.md#network-upgrade-automation-transactions
2727

2828
| Input arg | Type | Calldata bytes | Segment |
2929
| ----------------- | ------- | -------------- | ------- |
@@ -38,8 +38,8 @@ The overall calldata layout is as follows:
3838
| l1BlockHash | bytes32 | 100-131 | 4 |
3939
| batcherHash | bytes32 | 132-163 | 5 |
4040

41-
Total calldata length MUST be exactly 164 bytes, implying the sixth and final segment is only
42-
partially filled. This helps to slow database growth as every L2 block includes a L1 Attributes
41+
Total calldata length MUST be exactly 164 bytes.
42+
This helps to slow database growth as every L2 block includes a L1 Attributes
4343
deposit transaction.
4444

4545
In the first L2 block after the Ecotone activation block, the Ecotone L1 attributes are first used.

‎specs/protocol/isthmus/overview.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ This document is not finalized and should be considered experimental.
1414

1515
## Execution Layer
1616

17-
- [L2ToL1MessagePasser Storage Root in Header](./exec-engine.md##l2tol1messagepasser-storage-root-in-header)
17+
- [L2ToL1MessagePasser Storage Root in Header](./exec-engine.md#l2tol1messagepasser-storage-root-in-header)
1818

1919
## Consensus Layer
2020

‎specs/protocol/jovian/configurability.md

+31
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
# Configurability
2+
3+
<!-- START doctoc generated TOC please keep comment here to allow auto update -->
4+
<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
5+
**Table of Contents**
6+
7+
- [Overview](#overview)
8+
- [`SystemConfig`](#systemconfig)
9+
- [`ConfigUpdate`](#configupdate)
10+
11+
<!-- END doctoc generated TOC please keep comment here to allow auto update -->
12+
13+
## Overview
14+
15+
The `version` argument of the `ConfigUpdate` event CAN now
16+
include a nonce, and has been renamed `nonceAndVersion`.
17+
18+
## `SystemConfig`
19+
20+
### `ConfigUpdate`
21+
22+
Config updates MUST emit a `ConfigUpdate` event. The `version` argument CAN now
23+
include a `nonce`, and has been renamed `nonceAndVersion`.
24+
25+
```solidity
26+
event ConfigUpdate(uint256 indexed nonceAndVersion, UpdateType indexed updateType, bytes data);
27+
```
28+
29+
The `nonceAndVersion` argument is either `uint256(0)`, or
30+
`uint256(nonce << 128 | version)`, where `version` is `1` and `nonce` increments
31+
by `1` for each `ConfigUpdate` event emitted.

‎specs/protocol/jovian/deposits.md

+27
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
# Deposits
2+
3+
<!-- START doctoc generated TOC please keep comment here to allow auto update -->
4+
<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
5+
**Table of Contents**
6+
7+
- [Overview](#overview)
8+
- [User-Deposited Transactions](#user-deposited-transactions)
9+
10+
<!-- END doctoc generated TOC please keep comment here to allow auto update -->
11+
12+
## Overview
13+
14+
The `version` argument of the `TransactionDeposited` event CAN now
15+
include a nonce, and has been renamed `nonceAndVersion`.
16+
17+
## User-Deposited Transactions
18+
19+
Each user deposit emits a `TransactionDeposited` event.
20+
21+
```solidity
22+
event TransactionDeposited(address indexed from, address indexed to, uint256 indexed nonceAndVersion, bytes opaqueData);
23+
```
24+
25+
The `nonceAndVersion` argument is either `uint256(0)`, or
26+
`uint256(nonce << 128 | version)`, where `version` is `1` and `nonce` increments
27+
by `1` for each `TransactionDeposited` event emitted.

‎specs/protocol/jovian/derivation.md

+71
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,71 @@
1+
# Derivation
2+
3+
<!-- START doctoc generated TOC please keep comment here to allow auto update -->
4+
<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
5+
**Table of Contents**
6+
7+
- [Network upgrade automation transactions](#network-upgrade-automation-transactions)
8+
- [Jovian](#jovian)
9+
- [L1Block Deployment](#l1block-deployment)
10+
11+
<!-- END doctoc generated TOC please keep comment here to allow auto update -->
12+
13+
## Network upgrade automation transactions
14+
15+
[network upgrade automation transactions]: #network-upgrade-automation-transactions
16+
17+
Some network upgrades require automated contract changes or deployments at specific blocks.
18+
To automate these, without adding persistent changes to the execution-layer,
19+
special transactions may be inserted as part of the derivation process.
20+
21+
### Jovian
22+
23+
The Jovian hardfork activation block contains the following transactions, in this order:
24+
25+
- L1 Attributes Transaction, using the Ecotone `setL1BlockValuesEcotone`
26+
- User deposits from L1
27+
- Network Upgrade Transactions
28+
- L1Block deployment
29+
30+
To not modify or interrupt the system behavior around gas computation, this block will not include any sequenced
31+
transactions by setting `noTxPool: true`.
32+
33+
#### L1Block Deployment
34+
35+
The `L1Block` contract is upgraded to process the new Jovian L1 consensus nonces.
36+
37+
A deposit transaction is derived with the following attributes:
38+
39+
- `from`: `0x4210000000000000000000000000000000000005`
40+
- `to`: `null`
41+
- `mint`: `0`
42+
- `value`: `0`
43+
- `gasLimit`: `375,000`
44+
- `data`: `0x60806040523480156100105...` ([full bytecode](../../static/bytecode/jovian-l1-block-deployment.txt))
45+
- `sourceHash`: `0xbb1a656f65401240fac3db12e7a79ebb954b11e62f7626eb11691539b798d3bf`,
46+
computed with the "Upgrade-deposited" type, with `intent = "Jovian: L1 Block Deployment"
47+
48+
This results in the Jovian L1Block contract being deployed to `0x4fa2Be8cd41504037F1838BcE3bCC93bC68Ff537`, to verify:
49+
50+
```bash
51+
cast compute-address --nonce=0 0x4210000000000000000000000000000000000005
52+
Computed Address: 0x4fa2Be8cd41504037F1838BcE3bCC93bC68Ff537
53+
```
54+
55+
Verify `sourceHash`:
56+
57+
```bash
58+
cast keccak $(cast concat-hex 0x0000000000000000000000000000000000000000000000000000000000000002 $(cast keccak "Jovian: L1 Block Deployment"))
59+
# 0xbb1a656f65401240fac3db12e7a79ebb954b11e62f7626eb11691539b798d3bf
60+
```
61+
62+
Verify `data`:
63+
64+
```bash
65+
git checkout <INSERT_GIT_SHA_HERE>
66+
pnpm clean && pnpm install && pnpm build
67+
jq -r ".bytecode.object" packages/contracts-bedrock/forge-artifacts/L1Block.sol/L1Block.json
68+
```
69+
70+
This transaction MUST deploy a contract with the following code hash
71+
`0xea1f176e3bcab831c781395fca0974d470ea540e602c230b471814fb43883e74`.

‎specs/protocol/jovian/exec-engine.md

+24
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
# L2 Execution Engine
2+
3+
<!-- START doctoc generated TOC please keep comment here to allow auto update -->
4+
<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
5+
**Table of Contents**
6+
7+
- [Fees](#fees)
8+
- [L1-Cost fees (L1 Fee Vault)](#l1-cost-fees-l1-fee-vault)
9+
- [Jovian L1-Cost fee changes](#jovian-l1-cost-fee-changes)
10+
11+
<!-- END doctoc generated TOC please keep comment here to allow auto update -->
12+
13+
## Fees
14+
15+
### L1-Cost fees (L1 Fee Vault)
16+
17+
#### Jovian L1-Cost fee changes
18+
19+
The data passed to the `L1Block` contract changes as part of the Jovian hard fork.
20+
The L1-Cost function doesn't change, however the parsing of the data may need to
21+
change as the 4-byte signature changes and the calldata now contains 2 additional
22+
`uint64` nonce variables.
23+
24+
See [L1 attributes override](./l1-attributes.md#overview) for more information.

‎specs/protocol/jovian/l1-attributes.md

+100
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,100 @@
1+
# Jovian L1 Attributes
2+
3+
<!-- START doctoc generated TOC please keep comment here to allow auto update -->
4+
<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
5+
**Table of Contents**
6+
7+
- [Overview](#overview)
8+
- [L1 Attributes Predeployed Contract](#l1-attributes-predeployed-contract)
9+
- [Jovian L1Block upgrade](#jovian-l1block-upgrade)
10+
11+
<!-- END doctoc generated TOC please keep comment here to allow auto update -->
12+
13+
## Overview
14+
15+
On the Jovian activation block, and if Jovian is not activated at Genesis,
16+
the L1 Attributes Transaction includes a call to `setL1BlockValuesEcotone()`
17+
because the L1 Attributes transaction precedes the [Jovian Upgrade Transactions][jovian-upgrade-txs],
18+
meaning that `setL1BlockValuesJovian` is not guaranteed to exist yet.
19+
20+
Every subsequent L1 Attributes transaction should include a call to the `setL1BlockValuesJovian()` function.
21+
There are two additional `uint64` fields for the consensus nonces packed into calldata.
22+
The overall calldata layout is as follows:
23+
24+
[jovian-upgrade-txs]: derivation.md#network-upgrade-automation-transactions
25+
26+
| Input arg | Type | Calldata bytes | Segment |
27+
| ----------------- | ------- |----------------| ------- |
28+
| {0x3db6be2b} | | 0-3 | n/a |
29+
| baseFeeScalar | uint32 | 4-7 | 1 |
30+
| blobBaseFeeScalar | uint32 | 8-11 | |
31+
| sequenceNumber | uint64 | 12-19 | |
32+
| l1BlockTimestamp | uint64 | 20-27 | |
33+
| l1BlockNumber | uint64 | 28-35 | |
34+
| basefee | uint256 | 36-67 | 2 |
35+
| blobBaseFee | uint256 | 68-99 | 3 |
36+
| l1BlockHash | bytes32 | 100-131 | 4 |
37+
| batcherHash | bytes32 | 132-163 | 5 |
38+
| depositNonce | uint64 | 164-171 | 6 |
39+
| configUpdateNonce | uint64 | 172-179 | |
40+
41+
Total calldata length MUST be exactly 180 bytes, implying the sixth and final segment is only
42+
partially filled. This helps to slow database growth as every L2 block includes a L1 Attributes
43+
deposit transaction.
44+
45+
In the first L2 block after the Jovian activation block, the Jovian L1 attributes are first used.
46+
47+
The pre-Jovian values are migrated over 1:1.
48+
Blocks after the Jovian activation block contain all pre-Jovian values 1:1,
49+
and also set the following new attributes:
50+
51+
- The `depositNonce` has the default value of 0.
52+
- The `configUpdateNonce` has the default value of 0.
53+
54+
## L1 Attributes Predeployed Contract
55+
56+
The L1 Attributes predeploy stores the following values:
57+
58+
- L1 block attributes:
59+
- `number` (`uint64`)
60+
- `timestamp` (`uint64`)
61+
- `basefee` (`uint256`)
62+
- `hash` (`bytes32`)
63+
- `blobBaseFee` (`uint256`)
64+
- `sequenceNumber` (`uint64`): This equals the L2 block number relative to the start of the epoch,
65+
i.e. the L2 block distance to the L2 block height that the L1 attributes last changed,
66+
and reset to 0 at the start of a new epoch.
67+
- System configurables tied to the L1 block, see [System configuration specification][sys-config]:
68+
- `batcherHash` (`bytes32`): A versioned commitment to the batch-submitter(s) currently operating.
69+
- `baseFeeScalar` (`uint32`): system configurable to scale the `basefee` in the Ecotone l1 cost computation
70+
- `blobBasefeeScalar` (`uint32`): system configurable to scale the `blobBaseFee` in the Ecotone l1 cost computation
71+
- `depositNonce` (`uint64`): nonce that increments for every `TransactionDeposited` event on the l1
72+
- `configUpdateNonce` (`uint64`): nonce that increments for every `ConfigUpdate` event on the l1
73+
74+
Note that the `depositNonce` and `configUpdateNonce` will remain with 0 values until the relevant
75+
`SystemConfig` and `OptimismPortal2` contracts are upgraded on l1 to `SystemConfigJovian` and
76+
`OptimismPortalJovian` respectively. This MUST happen after the hardfork activation date, and
77+
before the next hardfork.
78+
79+
After running `pnpm build` in the `packages/contracts-bedrock` directory, the bytecode to add to
80+
the genesis file will be located in the `deployedBytecode` field of the build artifacts file at
81+
`/packages/contracts-bedrock/forge-artifacts/L1Block.sol/L1Block.json`.
82+
83+
### Jovian L1Block upgrade
84+
85+
The L1 Attributes Predeployed contract, `L1Block.sol`, is upgraded as part of the Jovian upgrade.
86+
The version is incremented to `1.6.0`, and one new storage slot is introduced:
87+
88+
- `depositNonce` (`uint64`): nonce that increments for every `TransactionDeposited` event on the l1
89+
- `configUpdateNonce` (`uint64`): nonce that increments for every `ConfigUpdate` event on the l1
90+
91+
The function called by the L1 attributes transaction depends on the network upgrade:
92+
93+
- Before the Jovian activation:
94+
- `setL1BlockValuesEcotone` is called, following the Ecotone L1 attributes rules.
95+
- At the Jovian activation block:
96+
- `setL1BlockValuesEcotone` function MUST be called, except if activated at genesis.
97+
The contract is upgraded later in this block, to support `setL1BlockValuesJovian`.
98+
- After the Jovian activation:
99+
- `setL1BlockValuesEcotone` function is deprecated and MUST never be called.
100+
- `setL1BlockValuesJovian` MUST be called with the new Jovian attributes.

‎specs/protocol/jovian/overview.md

+11
Original file line numberDiff line numberDiff line change
@@ -6,11 +6,22 @@
66

77
- [Execution Layer](#execution-layer)
88
- [Consensus Layer](#consensus-layer)
9+
- [Smart Contracts](#smart-contracts)
910

1011
<!-- END doctoc generated TOC please keep comment here to allow auto update -->
1112

1213
This document is not finalized and should be considered experimental.
1314

1415
## Execution Layer
1516

17+
- [L1-Cost function changes](./exec-engine.md#jovian-l1-cost-fee-changes)
18+
1619
## Consensus Layer
20+
21+
- [Config update nonces](./configurability.md)
22+
- [Deposit nonces](./deposits.md)
23+
- [Derivation processing of nonces](./derivation.md)
24+
25+
## Smart Contracts
26+
27+
- [L1Block](./l1-attributes.md)

‎specs/static/bytecode/jovian-l1-block-deployment.txt

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
0x608060405234801561001057600080fd5b50610b8c806100206000396000f3fe608060405234801561001057600080fd5b506004361061018d5760003560e01c806371cfaa3f116100e3578063c59859181161008c578063e591b28211610066578063e591b28214610387578063e81b2c6d146103a9578063f8206140146103b257600080fd5b8063c59859181461034b578063d84447151461036b578063de35f5cb1461037357600080fd5b80638b239f73116100bd5780638b239f73146103195780639e8c496614610322578063b80777ea1461032b57600080fd5b806371cfaa3f146102d257806374dd5eab146102e55780638381f58a1461030557600080fd5b8063440a5e20116101455780635cf249691161011f5780635cf249691461026b57806364ca23ef1461027457806368d5dca6146102a157600080fd5b8063440a5e201461021957806354fd4d5014610221578063550fcdc91461026357600080fd5b8063213268491161017657806321326849146101c35780633db6be2b146101db5780634397dfef146101e357600080fd5b8063015d8eb91461019257806309bd5a60146101a7575b600080fd5b6101a56101a03660046109f7565b6103bb565b005b6101b060025481565b6040519081526020015b60405180910390f35b6101cb6104fa565b60405190151581526020016101ba565b6101a5610539565b6101eb610543565b6040805173ffffffffffffffffffffffffffffffffffffffff909316835260ff9091166020830152016101ba565b6101a5610557565b60408051808201909152600581527f312e362e3000000000000000000000000000000000000000000000000000000060208201525b6040516101ba9190610a69565b6102566105ae565b6101b060015481565b6003546102889067ffffffffffffffff1681565b60405167ffffffffffffffff90911681526020016101ba565b6003546102bd9068010000000000000000900463ffffffff1681565b60405163ffffffff90911681526020016101ba565b6101a56102e0366004610adc565b6105bd565b6008546102889068010000000000000000900467ffffffffffffffff1681565b6000546102889067ffffffffffffffff1681565b6101b060055481565b6101b060065481565b6000546102889068010000000000000000900467ffffffffffffffff1681565b6003546102bd906c01000000000000000000000000900463ffffffff1681565b610256610672565b6008546102889067ffffffffffffffff1681565b60405173deaddeaddeaddeaddeaddeaddeaddeaddead000181526020016101ba565b6101b060045481565b6101b060075481565b3373deaddeaddeaddeaddeaddeaddeaddeaddead000114610462576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603b60248201527f4c31426c6f636b3a206f6e6c7920746865206465706f7369746f72206163636f60448201527f756e742063616e20736574204c3120626c6f636b2076616c7565730000000000606482015260840160405180910390fd5b6000805467ffffffffffffffff98891668010000000000000000027fffffffffffffffffffffffffffffffff00000000000000000000000000000000909116998916999099179890981790975560019490945560029290925560038054919094167fffffffffffffffffffffffffffffffffffffffffffffffff00000000000000009190911617909255600491909155600555600655565b600080610505610543565b5073ffffffffffffffffffffffffffffffffffffffff1673eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee141592915050565b61054161067c565b565b60008061054e6106dc565b90939092509050565b73deaddeaddeaddeaddeaddeaddeaddeaddead000133811461058157633cc50b456000526004601cfd5b60043560801c60035560143560801c60005560243560015560443560075560643560025560843560045550565b60606105b861075d565b905090565b3373deaddeaddeaddeaddeaddeaddeaddeaddead00011461060a576040517f3cc50b4500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6106168484848461081e565b604080518381526020810183905260ff85169173ffffffffffffffffffffffffffffffffffffffff8716917f10e43c4d58f3ef4edae7c1ca2e7f02d46b2cadbcc046737038527ed8486ffeb0910160405180910390a350505050565b60606105b86108f0565b73deaddeaddeaddeaddeaddeaddeaddeaddead00013381146106a657633cc50b456000526004601cfd5b60043560801c60035560143560801c60005560243560015560443560075560643560025560843560045560a43560801c60085550565b6000808061071261070e60017f04adb1412b2ddc16fcc0d4538d5c8f07cf9c83abecc6b41f6f69037b708fbcec610b41565b5490565b73ffffffffffffffffffffffffffffffffffffffff81169350905082610751575073eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee92601292509050565b60a081901c9150509091565b606060006107696106dc565b5090507fffffffffffffffffffffffff111111111111111111111111111111111111111273ffffffffffffffffffffffffffffffffffffffff8216016107e257505060408051808201909152600381527f4554480000000000000000000000000000000000000000000000000000000000602082015290565b61081861081361070e60017fa48b38a4b44951360fbdcbfaaeae5ed6ae92585412e9841b70ec72ed8cd05764610b41565b6109a6565b91505090565b61088461084c60017f04adb1412b2ddc16fcc0d4538d5c8f07cf9c83abecc6b41f6f69037b708fbcec610b41565b74ff000000000000000000000000000000000000000060a086901b1673ffffffffffffffffffffffffffffffffffffffff8716179055565b6108b76108b260017f657c3582c29b3176614e3a33ddd1ec48352696a04e92b3c0566d72010fa8863d610b41565b839055565b6108ea6108e560017fa48b38a4b44951360fbdcbfaaeae5ed6ae92585412e9841b70ec72ed8cd05764610b41565b829055565b50505050565b606060006108fc6106dc565b5090507fffffffffffffffffffffffff111111111111111111111111111111111111111273ffffffffffffffffffffffffffffffffffffffff82160161097557505060408051808201909152600581527f4574686572000000000000000000000000000000000000000000000000000000602082015290565b61081861081361070e60017f657c3582c29b3176614e3a33ddd1ec48352696a04e92b3c0566d72010fa8863d610b41565b60405160005b82811a156109bc576001016109ac565b80825260208201838152600082820152505060408101604052919050565b803567ffffffffffffffff811681146109f257600080fd5b919050565b600080600080600080600080610100898b031215610a1457600080fd5b610a1d896109da565b9750610a2b60208a016109da565b96506040890135955060608901359450610a4760808a016109da565b979a969950949793969560a0850135955060c08501359460e001359350915050565b600060208083528351808285015260005b81811015610a9657858101830151858201604001528201610a7a565b81811115610aa8576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b60008060008060808587031215610af257600080fd5b843573ffffffffffffffffffffffffffffffffffffffff81168114610b1657600080fd5b9350602085013560ff81168114610b2c57600080fd5b93969395505050506040820135916060013590565b600082821015610b7a577f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b50039056fea164736f6c634300080f000a

0 commit comments

Comments
 (0)