From a58852fd84357487b82b965dd0ab61b56de49b53 Mon Sep 17 00:00:00 2001 From: smtmfft <99081233+smtmfft@users.noreply.github.com> Date: Mon, 13 Jan 2025 12:13:35 +0800 Subject: [PATCH] feat(protocol): upgrade sp1 contract to v4.0.0-rc.3 (#18740) Co-authored-by: smtmfft --- packages/protocol/contract_layout_layer1.md | 1668 +++++++++-------- packages/protocol/contract_layout_layer2.md | 773 ++++---- .../deployments/hekla-contract-logs.md | 6 +- packages/protocol/package.json | 4 +- .../script/layer1/DeployProtocolOnL1.s.sol | 3 +- .../script/layer1/DeploySP1Verifier.s.sol | 3 +- .../script/layer1/UpdateSP1Verifier.s.sol | 2 +- .../verifiers/RiscZeroGroth16Verifier.t.sol | 52 +- .../layer1/verifiers/SP1PlonkVerifier.t.sol | 53 +- pnpm-lock.yaml | 21 +- 10 files changed, 1330 insertions(+), 1255 deletions(-) diff --git a/packages/protocol/contract_layout_layer1.md b/packages/protocol/contract_layout_layer1.md index c5392a2e241..45bda27324b 100644 --- a/packages/protocol/contract_layout_layer1.md +++ b/packages/protocol/contract_layout_layer1.md @@ -1,1019 +1,1043 @@ ## ERC1155Vault ╭--------------------+------------------------------------------------------+------+--------+-------+-----------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===============================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| bridgedToCanonical | mapping(address => struct BaseNFTVault.CanonicalNFT) | 301 | 0 | 32 | +| bridgedToCanonical | mapping(address => struct BaseNFTVault.CanonicalNFT) | 301 | 0 | 32 | | -| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | +| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | | -| **gap | uint256[48] | 303 | 0 | 1536 | +| __gap | uint256[48] | 303 | 0 | 1536 | | -| **gap | uint256[50] | 351 | 0 | 1600 | +| __gap | uint256[50] | 351 | 0 | 1600 | | -| **gap | uint256[50] | 401 | 0 | 1600 | +| __gap | uint256[50] | 401 | 0 | 1600 | | -| \_\_gap | uint256[50] | 451 | 0 | 1600 | +| __gap | uint256[50] | 451 | 0 | 1600 | ╰--------------------+------------------------------------------------------+------+--------+-------+-----------------------------------------------------------╯ + ## ERC20Vault ╭--------------------+------------------------------------------------------+------+--------+-------+-------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===========================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| bridgedToCanonical | mapping(address => struct ERC20Vault.CanonicalERC20) | 301 | 0 | 32 | +| bridgedToCanonical | mapping(address => struct ERC20Vault.CanonicalERC20) | 301 | 0 | 32 | | -| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | +| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | | -| btokenDenylist | mapping(address => bool) | 303 | 0 | 32 | +| btokenDenylist | mapping(address => bool) | 303 | 0 | 32 | | -| lastMigrationStart | mapping(uint256 => mapping(address => uint256)) | 304 | 0 | 32 | +| lastMigrationStart | mapping(uint256 => mapping(address => uint256)) | 304 | 0 | 32 | | -| **gap | uint256[46] | 305 | 0 | 1472 | +| __gap | uint256[46] | 305 | 0 | 1472 | ╰--------------------+------------------------------------------------------+------+--------+-------+-------------------------------------------------------╯ + ## ERC721Vault ╭--------------------+------------------------------------------------------+------+--------+-------+---------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +=============================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| bridgedToCanonical | mapping(address => struct BaseNFTVault.CanonicalNFT) | 301 | 0 | 32 | +| bridgedToCanonical | mapping(address => struct BaseNFTVault.CanonicalNFT) | 301 | 0 | 32 | | -| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | +| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | | -| **gap | uint256[48] | 303 | 0 | 1536 | +| __gap | uint256[48] | 303 | 0 | 1536 | | -| \_\_gap | uint256[50] | 351 | 0 | 1600 | +| __gap | uint256[50] | 351 | 0 | 1600 | ╰--------------------+------------------------------------------------------+------+--------+-------+---------------------------------------------------------╯ + ## BridgedERC20 ╭------------------+-------------------------------------------------+------+--------+-------+-----------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +========================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| \_balances | mapping(address => uint256) | 251 | 0 | 32 | +| _balances | mapping(address => uint256) | 251 | 0 | 32 | | -| \_allowances | mapping(address => mapping(address => uint256)) | 252 | 0 | 32 | +| _allowances | mapping(address => mapping(address => uint256)) | 252 | 0 | 32 | | -| \_totalSupply | uint256 | 253 | 0 | 32 | +| _totalSupply | uint256 | 253 | 0 | 32 | | -| \_name | string | 254 | 0 | 32 | +| _name | string | 254 | 0 | 32 | | -| \_symbol | string | 255 | 0 | 32 | +| _symbol | string | 255 | 0 | 32 | | -| **gap | uint256[45] | 256 | 0 | 1440 | +| __gap | uint256[45] | 256 | 0 | 1440 | | -| srcToken | address | 301 | 0 | 20 | +| srcToken | address | 301 | 0 | 20 | | -| **srcDecimals | uint8 | 301 | 20 | 1 | +| __srcDecimals | uint8 | 301 | 20 | 1 | | -| srcChainId | uint256 | 302 | 0 | 32 | +| srcChainId | uint256 | 302 | 0 | 32 | | -| migratingAddress | address | 303 | 0 | 20 | +| migratingAddress | address | 303 | 0 | 20 | | -| migratingInbound | bool | 303 | 20 | 1 | +| migratingInbound | bool | 303 | 20 | 1 | | -| \_\_gap | uint256[47] | 304 | 0 | 1504 | +| __gap | uint256[47] | 304 | 0 | 1504 | ╰------------------+-------------------------------------------------+------+--------+-------+-----------------------------------------------------------╯ + ## BridgedERC20V2 ╭------------------+--------------------------------------------------------+------+--------+-------+---------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| \_balances | mapping(address => uint256) | 251 | 0 | 32 | +| _balances | mapping(address => uint256) | 251 | 0 | 32 | | -| \_allowances | mapping(address => mapping(address => uint256)) | 252 | 0 | 32 | +| _allowances | mapping(address => mapping(address => uint256)) | 252 | 0 | 32 | | -| \_totalSupply | uint256 | 253 | 0 | 32 | +| _totalSupply | uint256 | 253 | 0 | 32 | | -| \_name | string | 254 | 0 | 32 | +| _name | string | 254 | 0 | 32 | | -| \_symbol | string | 255 | 0 | 32 | +| _symbol | string | 255 | 0 | 32 | | -| **gap | uint256[45] | 256 | 0 | 1440 | +| __gap | uint256[45] | 256 | 0 | 1440 | | -| srcToken | address | 301 | 0 | 20 | +| srcToken | address | 301 | 0 | 20 | | -| **srcDecimals | uint8 | 301 | 20 | 1 | +| __srcDecimals | uint8 | 301 | 20 | 1 | | -| srcChainId | uint256 | 302 | 0 | 32 | +| srcChainId | uint256 | 302 | 0 | 32 | | -| migratingAddress | address | 303 | 0 | 20 | +| migratingAddress | address | 303 | 0 | 20 | | -| migratingInbound | bool | 303 | 20 | 1 | +| migratingInbound | bool | 303 | 20 | 1 | | -| **gap | uint256[47] | 304 | 0 | 1504 | +| __gap | uint256[47] | 304 | 0 | 1504 | | -| \_hashedName | bytes32 | 351 | 0 | 32 | +| _hashedName | bytes32 | 351 | 0 | 32 | | -| \_hashedVersion | bytes32 | 352 | 0 | 32 | +| _hashedVersion | bytes32 | 352 | 0 | 32 | | -| \_name | string | 353 | 0 | 32 | +| _name | string | 353 | 0 | 32 | | -| \_version | string | 354 | 0 | 32 | +| _version | string | 354 | 0 | 32 | | -| **gap | uint256[48] | 355 | 0 | 1536 | +| __gap | uint256[48] | 355 | 0 | 1536 | | -| \_nonces | mapping(address => struct CountersUpgradeable.Counter) | 403 | 0 | 32 | +| _nonces | mapping(address => struct CountersUpgradeable.Counter) | 403 | 0 | 32 | | -| \_\_gap | uint256[49] | 404 | 0 | 1568 | +| __gap | uint256[49] | 404 | 0 | 1568 | ╰------------------+--------------------------------------------------------+------+--------+-------+---------------------------------------------------------------╯ + ## BridgedERC721 ╭--------------------+----------------------------------------------+------+--------+-------+-------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +=========================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| \_name | string | 301 | 0 | 32 | +| _name | string | 301 | 0 | 32 | | -| \_symbol | string | 302 | 0 | 32 | +| _symbol | string | 302 | 0 | 32 | | -| \_owners | mapping(uint256 => address) | 303 | 0 | 32 | +| _owners | mapping(uint256 => address) | 303 | 0 | 32 | | -| \_balances | mapping(address => uint256) | 304 | 0 | 32 | +| _balances | mapping(address => uint256) | 304 | 0 | 32 | | -| \_tokenApprovals | mapping(uint256 => address) | 305 | 0 | 32 | +| _tokenApprovals | mapping(uint256 => address) | 305 | 0 | 32 | | -| \_operatorApprovals | mapping(address => mapping(address => bool)) | 306 | 0 | 32 | +| _operatorApprovals | mapping(address => mapping(address => bool)) | 306 | 0 | 32 | | -| **gap | uint256[44] | 307 | 0 | 1408 | +| __gap | uint256[44] | 307 | 0 | 1408 | | -| srcToken | address | 351 | 0 | 20 | +| srcToken | address | 351 | 0 | 20 | | -| srcChainId | uint256 | 352 | 0 | 32 | +| srcChainId | uint256 | 352 | 0 | 32 | | -| \_\_gap | uint256[48] | 353 | 0 | 1536 | +| __gap | uint256[48] | 353 | 0 | 1536 | ╰--------------------+----------------------------------------------+------+--------+-------+-------------------------------------------------------------╯ + ## BridgedERC1155 ╭--------------------+-------------------------------------------------+------+--------+-------+---------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +==============================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| \_balances | mapping(uint256 => mapping(address => uint256)) | 301 | 0 | 32 | +| _balances | mapping(uint256 => mapping(address => uint256)) | 301 | 0 | 32 | | -| \_operatorApprovals | mapping(address => mapping(address => bool)) | 302 | 0 | 32 | +| _operatorApprovals | mapping(address => mapping(address => bool)) | 302 | 0 | 32 | | -| \_uri | string | 303 | 0 | 32 | +| _uri | string | 303 | 0 | 32 | | -| **gap | uint256[47] | 304 | 0 | 1504 | +| __gap | uint256[47] | 304 | 0 | 1504 | | -| srcToken | address | 351 | 0 | 20 | +| srcToken | address | 351 | 0 | 20 | | -| srcChainId | uint256 | 352 | 0 | 32 | +| srcChainId | uint256 | 352 | 0 | 32 | | -| symbol | string | 353 | 0 | 32 | +| symbol | string | 353 | 0 | 32 | | -| name | string | 354 | 0 | 32 | +| name | string | 354 | 0 | 32 | | -| \_\_gap | uint256[46] | 355 | 0 | 1472 | +| __gap | uint256[46] | 355 | 0 | 1472 | ╰--------------------+-------------------------------------------------+------+--------+-------+---------------------------------------------------------------╯ + ## Bridge ╭------------------+-----------------------------------------+------+--------+-------+-------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **reserved1 | uint64 | 251 | 0 | 8 | +| __reserved1 | uint64 | 251 | 0 | 8 | | -| nextMessageId | uint64 | 251 | 8 | 8 | +| nextMessageId | uint64 | 251 | 8 | 8 | | -| messageStatus | mapping(bytes32 => enum IBridge.Status) | 252 | 0 | 32 | +| messageStatus | mapping(bytes32 => enum IBridge.Status) | 252 | 0 | 32 | | -| **ctx | struct IBridge.Context | 253 | 0 | 64 | +| __ctx | struct IBridge.Context | 253 | 0 | 64 | | -| **reserved2 | uint256 | 255 | 0 | 32 | +| __reserved2 | uint256 | 255 | 0 | 32 | | -| **reserved3 | uint256 | 256 | 0 | 32 | +| __reserved3 | uint256 | 256 | 0 | 32 | | -| \_\_gap | uint256[44] | 257 | 0 | 1408 | +| __gap | uint256[44] | 257 | 0 | 1408 | ╰------------------+-----------------------------------------+------+--------+-------+-------------------------------------------╯ + ## QuotaManager ╭------------------+-----------------------------------------------+------+--------+-------+-------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +==================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| tokenQuota | mapping(address => struct QuotaManager.Quota) | 251 | 0 | 32 | +| tokenQuota | mapping(address => struct QuotaManager.Quota) | 251 | 0 | 32 | | -| quotaPeriod | uint24 | 252 | 0 | 3 | +| quotaPeriod | uint24 | 252 | 0 | 3 | | -| \_\_gap | uint256[48] | 253 | 0 | 1536 | +| __gap | uint256[48] | 253 | 0 | 1536 | ╰------------------+-----------------------------------------------+------+--------+-------+-------------------------------------------------------╯ + ## AddressManager ╭------------------+-------------------------------------------------+------+--------+-------+-----------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +========================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **addresses | mapping(uint256 => mapping(bytes32 => address)) | 251 | 0 | 32 | +| __addresses | mapping(uint256 => mapping(bytes32 => address)) | 251 | 0 | 32 | | -| **gap | uint256[49] | 252 | 0 | 1568 | +| __gap | uint256[49] | 252 | 0 | 1568 | ╰------------------+-------------------------------------------------+------+--------+-------+-----------------------------------------------------------╯ + ## AddressResolver ╭----------------+-------------+------+--------+-------+-------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +====================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| addressManager | address | 0 | 2 | 20 | +| addressManager | address | 0 | 2 | 20 | | -| \_\_gap | uint256[49] | 1 | 0 | 1568 | +| __gap | uint256[49] | 1 | 0 | 1568 | ╰----------------+-------------+------+--------+-------+-------------------------------------------------------------╯ + ## EssentialContract ╭------------------+-------------+------+--------+-------+-----------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +==========================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | ╰------------------+-------------+------+--------+-------+-----------------------------------------------------------------╯ + ## SignalService ╭------------------+-----------------------------------------------+------+--------+-------+---------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +====================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| topBlockId | mapping(uint64 => mapping(bytes32 => uint64)) | 251 | 0 | 32 | +| topBlockId | mapping(uint64 => mapping(bytes32 => uint64)) | 251 | 0 | 32 | | -| isAuthorized | mapping(address => bool) | 252 | 0 | 32 | +| isAuthorized | mapping(address => bool) | 252 | 0 | 32 | | -| \_\_gap | uint256[48] | 253 | 0 | 1536 | +| __gap | uint256[48] | 253 | 0 | 1536 | ╰------------------+-----------------------------------------------+------+--------+-------+---------------------------------------------------------╯ + ## TaikoToken ╭-----------------------------------------------------+---------------------------------------------------------------+------+--------+-------+--------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +================================================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **slots_previously_used_by_ERC20SnapshotUpgradeable | uint256[50] | 251 | 0 | 1600 | +| __slots_previously_used_by_ERC20SnapshotUpgradeable | uint256[50] | 251 | 0 | 1600 | | -| \_balances | mapping(address => uint256) | 301 | 0 | 32 | +| _balances | mapping(address => uint256) | 301 | 0 | 32 | | -| \_allowances | mapping(address => mapping(address => uint256)) | 302 | 0 | 32 | +| _allowances | mapping(address => mapping(address => uint256)) | 302 | 0 | 32 | | -| \_totalSupply | uint256 | 303 | 0 | 32 | +| _totalSupply | uint256 | 303 | 0 | 32 | | -| \_name | string | 304 | 0 | 32 | +| _name | string | 304 | 0 | 32 | | -| \_symbol | string | 305 | 0 | 32 | +| _symbol | string | 305 | 0 | 32 | | -| **gap | uint256[45] | 306 | 0 | 1440 | +| __gap | uint256[45] | 306 | 0 | 1440 | | -| \_hashedName | bytes32 | 351 | 0 | 32 | +| _hashedName | bytes32 | 351 | 0 | 32 | | -| \_hashedVersion | bytes32 | 352 | 0 | 32 | +| _hashedVersion | bytes32 | 352 | 0 | 32 | | -| \_name | string | 353 | 0 | 32 | +| _name | string | 353 | 0 | 32 | | -| \_version | string | 354 | 0 | 32 | +| _version | string | 354 | 0 | 32 | | -| **gap | uint256[48] | 355 | 0 | 1536 | +| __gap | uint256[48] | 355 | 0 | 1536 | | -| \_nonces | mapping(address => struct CountersUpgradeable.Counter) | 403 | 0 | 32 | +| _nonces | mapping(address => struct CountersUpgradeable.Counter) | 403 | 0 | 32 | | -| \_PERMIT_TYPEHASH_DEPRECATED_SLOT | bytes32 | 404 | 0 | 32 | +| _PERMIT_TYPEHASH_DEPRECATED_SLOT | bytes32 | 404 | 0 | 32 | | -| **gap | uint256[49] | 405 | 0 | 1568 | +| __gap | uint256[49] | 405 | 0 | 1568 | | -| \_delegates | mapping(address => address) | 454 | 0 | 32 | +| _delegates | mapping(address => address) | 454 | 0 | 32 | | -| \_checkpoints | mapping(address => struct ERC20VotesUpgradeable.Checkpoint[]) | 455 | 0 | 32 | +| _checkpoints | mapping(address => struct ERC20VotesUpgradeable.Checkpoint[]) | 455 | 0 | 32 | | -| \_totalSupplyCheckpoints | struct ERC20VotesUpgradeable.Checkpoint[] | 456 | 0 | 32 | +| _totalSupplyCheckpoints | struct ERC20VotesUpgradeable.Checkpoint[] | 456 | 0 | 32 | | -| **gap | uint256[47] | 457 | 0 | 1504 | +| __gap | uint256[47] | 457 | 0 | 1504 | | -| **gap | uint256[50] | 504 | 0 | 1600 | +| __gap | uint256[50] | 504 | 0 | 1600 | ╰-----------------------------------------------------+---------------------------------------------------------------+------+--------+-------+--------------------------------------------------╯ + ## ComposeVerifier ╭------------------+-------------+------+--------+-------+------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +=================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| \_\_gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | ╰------------------+-------------+------+--------+-------+------------------------------------------------------------------------╯ + ## TeeAnyVerifier ╭------------------+-------------+------+--------+-------+----------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===============================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| **gap | uint256[50] | 301 | 0 | 1600 | +| __gap | uint256[50] | 301 | 0 | 1600 | ╰------------------+-------------+------+--------+-------+----------------------------------------------------------------------╯ + ## ZkAndTeeVerifier ╭------------------+-------------+------+--------+-------+--------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| **gap | uint256[50] | 301 | 0 | 1600 | +| __gap | uint256[50] | 301 | 0 | 1600 | ╰------------------+-------------+------+--------+-------+--------------------------------------------------------------------------╯ + ## ZkAnyVerifier ╭------------------+-------------+------+--------+-------+--------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +=============================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| **gap | uint256[50] | 301 | 0 | 1600 | +| __gap | uint256[50] | 301 | 0 | 1600 | ╰------------------+-------------+------+--------+-------+--------------------------------------------------------------------╯ + ## Risc0Verifier ╭------------------+--------------------------+------+--------+-------+------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +==================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| isImageTrusted | mapping(bytes32 => bool) | 251 | 0 | 32 | +| isImageTrusted | mapping(bytes32 => bool) | 251 | 0 | 32 | | -| \_\_gap | uint256[49] | 252 | 0 | 1568 | +| __gap | uint256[49] | 252 | 0 | 1568 | ╰------------------+--------------------------+------+--------+-------+------------------------------------------------------------╯ + ## SP1Verifier ╭------------------+--------------------------+------+--------+-------+--------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +==============================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| isProgramTrusted | mapping(bytes32 => bool) | 251 | 0 | 32 | +| isProgramTrusted | mapping(bytes32 => bool) | 251 | 0 | 32 | | -| \_\_gap | uint256[49] | 252 | 0 | 1568 | +| __gap | uint256[49] | 252 | 0 | 1568 | ╰------------------+--------------------------+------+--------+-------+--------------------------------------------------------╯ + ## SgxVerifier ╭-------------------+-------------------------------------------------+------+--------+-------+--------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +======================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| nextInstanceId | uint256 | 251 | 0 | 32 | +| nextInstanceId | uint256 | 251 | 0 | 32 | | -| instances | mapping(uint256 => struct SgxVerifier.Instance) | 252 | 0 | 32 | +| instances | mapping(uint256 => struct SgxVerifier.Instance) | 252 | 0 | 32 | | -| addressRegistered | mapping(address => bool) | 253 | 0 | 32 | +| addressRegistered | mapping(address => bool) | 253 | 0 | 32 | | -| \_\_gap | uint256[47] | 254 | 0 | 1504 | +| __gap | uint256[47] | 254 | 0 | 1504 | ╰-------------------+-------------------------------------------------+------+--------+-------+--------------------------------------------------------╯ + ## AutomataDcapV3Attestation ╭-------------------------+-------------------------------------------------+------+--------+-------+-----------------------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===================================================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| sigVerifyLib | contract ISigVerifyLib | 251 | 0 | 20 | +| sigVerifyLib | contract ISigVerifyLib | 251 | 0 | 20 | | -| pemCertLib | contract IPEMCertChainLib | 252 | 0 | 20 | +| pemCertLib | contract IPEMCertChainLib | 252 | 0 | 20 | | -| checkLocalEnclaveReport | bool | 252 | 20 | 1 | +| checkLocalEnclaveReport | bool | 252 | 20 | 1 | | -| trustedUserMrEnclave | mapping(bytes32 => bool) | 253 | 0 | 32 | +| trustedUserMrEnclave | mapping(bytes32 => bool) | 253 | 0 | 32 | | -| trustedUserMrSigner | mapping(bytes32 => bool) | 254 | 0 | 32 | +| trustedUserMrSigner | mapping(bytes32 => bool) | 254 | 0 | 32 | | -| serialNumIsRevoked | mapping(uint256 => mapping(bytes => bool)) | 255 | 0 | 32 | +| serialNumIsRevoked | mapping(uint256 => mapping(bytes => bool)) | 255 | 0 | 32 | | -| tcbInfo | mapping(string => struct TCBInfoStruct.TCBInfo) | 256 | 0 | 32 | +| tcbInfo | mapping(string => struct TCBInfoStruct.TCBInfo) | 256 | 0 | 32 | | -| qeIdentity | struct EnclaveIdStruct.EnclaveId | 257 | 0 | 128 | +| qeIdentity | struct EnclaveIdStruct.EnclaveId | 257 | 0 | 128 | | -| \_\_gap | uint256[39] | 261 | 0 | 1248 | +| __gap | uint256[39] | 261 | 0 | 1248 | ╰-------------------------+-------------------------------------------------+------+--------+-------+-----------------------------------------------------------------------------------------------╯ + ## TaikoL1 ╭------------------+------------------------+------+--------+-------+--------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| state | struct TaikoData.State | 251 | 0 | 1600 | +| state | struct TaikoData.State | 251 | 0 | 1600 | | -| \_\_gap | uint256[50] | 301 | 0 | 1600 | +| __gap | uint256[50] | 301 | 0 | 1600 | ╰------------------+------------------------+------+--------+-------+--------------------------------------------╯ + ## HeklaTaikoL1 ╭------------------+------------------------+------+--------+-------+------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +==========================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| state | struct TaikoData.State | 251 | 0 | 1600 | +| state | struct TaikoData.State | 251 | 0 | 1600 | | -| \_\_gap | uint256[50] | 301 | 0 | 1600 | +| __gap | uint256[50] | 301 | 0 | 1600 | ╰------------------+------------------------+------+--------+-------+------------------------------------------------------╯ + ## HeklaTierRouter ╭------+------+------+--------+-------+----------╮ @@ -1021,258 +1045,265 @@ +================================================+ ╰------+------+------+--------+-------+----------╯ + ## MainnetBridge ╭------------------+-----------------------------------------+------+--------+-------+----------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===========================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **reserved1 | uint64 | 251 | 0 | 8 | +| __reserved1 | uint64 | 251 | 0 | 8 | | -| nextMessageId | uint64 | 251 | 8 | 8 | +| nextMessageId | uint64 | 251 | 8 | 8 | | -| messageStatus | mapping(bytes32 => enum IBridge.Status) | 252 | 0 | 32 | +| messageStatus | mapping(bytes32 => enum IBridge.Status) | 252 | 0 | 32 | | -| **ctx | struct IBridge.Context | 253 | 0 | 64 | +| __ctx | struct IBridge.Context | 253 | 0 | 64 | | -| **reserved2 | uint256 | 255 | 0 | 32 | +| __reserved2 | uint256 | 255 | 0 | 32 | | -| **reserved3 | uint256 | 256 | 0 | 32 | +| __reserved3 | uint256 | 256 | 0 | 32 | | -| \_\_gap | uint256[44] | 257 | 0 | 1408 | +| __gap | uint256[44] | 257 | 0 | 1408 | ╰------------------+-----------------------------------------+------+--------+-------+----------------------------------------------------------------------╯ + ## MainnetSignalService ╭------------------+-----------------------------------------------+------+--------+-------+------------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===============================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| topBlockId | mapping(uint64 => mapping(bytes32 => uint64)) | 251 | 0 | 32 | +| topBlockId | mapping(uint64 => mapping(bytes32 => uint64)) | 251 | 0 | 32 | | -| isAuthorized | mapping(address => bool) | 252 | 0 | 32 | +| isAuthorized | mapping(address => bool) | 252 | 0 | 32 | | -| \_\_gap | uint256[48] | 253 | 0 | 1536 | +| __gap | uint256[48] | 253 | 0 | 1536 | ╰------------------+-----------------------------------------------+------+--------+-------+------------------------------------------------------------------------------------╯ + ## MainnetERC20Vault ╭--------------------+------------------------------------------------------+------+--------+-------+------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +==================================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| bridgedToCanonical | mapping(address => struct ERC20Vault.CanonicalERC20) | 301 | 0 | 32 | +| bridgedToCanonical | mapping(address => struct ERC20Vault.CanonicalERC20) | 301 | 0 | 32 | | -| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | +| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | | -| btokenDenylist | mapping(address => bool) | 303 | 0 | 32 | +| btokenDenylist | mapping(address => bool) | 303 | 0 | 32 | | -| lastMigrationStart | mapping(uint256 => mapping(address => uint256)) | 304 | 0 | 32 | +| lastMigrationStart | mapping(uint256 => mapping(address => uint256)) | 304 | 0 | 32 | | -| **gap | uint256[46] | 305 | 0 | 1472 | +| __gap | uint256[46] | 305 | 0 | 1472 | ╰--------------------+------------------------------------------------------+------+--------+-------+------------------------------------------------------------------------------╯ + ## MainnetERC1155Vault ╭--------------------+------------------------------------------------------+------+--------+-------+----------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +======================================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| bridgedToCanonical | mapping(address => struct BaseNFTVault.CanonicalNFT) | 301 | 0 | 32 | +| bridgedToCanonical | mapping(address => struct BaseNFTVault.CanonicalNFT) | 301 | 0 | 32 | | -| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | +| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | | -| **gap | uint256[48] | 303 | 0 | 1536 | +| __gap | uint256[48] | 303 | 0 | 1536 | | -| **gap | uint256[50] | 351 | 0 | 1600 | +| __gap | uint256[50] | 351 | 0 | 1600 | | -| **gap | uint256[50] | 401 | 0 | 1600 | +| __gap | uint256[50] | 401 | 0 | 1600 | | -| \_\_gap | uint256[50] | 451 | 0 | 1600 | +| __gap | uint256[50] | 451 | 0 | 1600 | ╰--------------------+------------------------------------------------------+------+--------+-------+----------------------------------------------------------------------------------╯ + ## MainnetERC721Vault ╭--------------------+------------------------------------------------------+------+--------+-------+--------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +====================================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| bridgedToCanonical | mapping(address => struct BaseNFTVault.CanonicalNFT) | 301 | 0 | 32 | +| bridgedToCanonical | mapping(address => struct BaseNFTVault.CanonicalNFT) | 301 | 0 | 32 | | -| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | +| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | | -| **gap | uint256[48] | 303 | 0 | 1536 | +| __gap | uint256[48] | 303 | 0 | 1536 | | -| \_\_gap | uint256[50] | 351 | 0 | 1600 | +| __gap | uint256[50] | 351 | 0 | 1600 | ╰--------------------+------------------------------------------------------+------+--------+-------+--------------------------------------------------------------------------------╯ + ## MainnetSharedAddressManager ╭------------------+-------------------------------------------------+------+--------+-------+--------------------------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===============================================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **addresses | mapping(uint256 => mapping(bytes32 => address)) | 251 | 0 | 32 | +| __addresses | mapping(uint256 => mapping(bytes32 => address)) | 251 | 0 | 32 | | -| **gap | uint256[49] | 252 | 0 | 1568 | +| __gap | uint256[49] | 252 | 0 | 1568 | ╰------------------+-------------------------------------------------+------+--------+-------+--------------------------------------------------------------------------------------------------╯ + ## RollupAddressCache ╭------+------+------+--------+-------+----------╮ @@ -1280,6 +1311,7 @@ +================================================+ ╰------+------+------+--------+-------+----------╯ + ## SharedAddressCache ╭------+------+------+--------+-------+----------╮ @@ -1287,6 +1319,7 @@ +================================================+ ╰------+------+------+--------+-------+----------╯ + ## AddressCache ╭------+------+------+--------+-------+----------╮ @@ -1294,346 +1327,356 @@ +================================================+ ╰------+------+------+--------+-------+----------╯ + ## MainnetSgxVerifier ╭-------------------+-------------------------------------------------+------+--------+-------+-------------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===================================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| nextInstanceId | uint256 | 251 | 0 | 32 | +| nextInstanceId | uint256 | 251 | 0 | 32 | | -| instances | mapping(uint256 => struct SgxVerifier.Instance) | 252 | 0 | 32 | +| instances | mapping(uint256 => struct SgxVerifier.Instance) | 252 | 0 | 32 | | -| addressRegistered | mapping(address => bool) | 253 | 0 | 32 | +| addressRegistered | mapping(address => bool) | 253 | 0 | 32 | | -| \_\_gap | uint256[47] | 254 | 0 | 1504 | +| __gap | uint256[47] | 254 | 0 | 1504 | ╰-------------------+-------------------------------------------------+------+--------+-------+-------------------------------------------------------------------------------------╯ + ## MainnetSP1Verifier ╭------------------+--------------------------+------+--------+-------+-------------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===========================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| isProgramTrusted | mapping(bytes32 => bool) | 251 | 0 | 32 | +| isProgramTrusted | mapping(bytes32 => bool) | 251 | 0 | 32 | | -| \_\_gap | uint256[49] | 252 | 0 | 1568 | +| __gap | uint256[49] | 252 | 0 | 1568 | ╰------------------+--------------------------+------+--------+-------+-------------------------------------------------------------------------------------╯ + ## MainnetZkAnyVerifier ╭------------------+-------------+------+--------+-------+-----------------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +==================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| **gap | uint256[50] | 301 | 0 | 1600 | +| __gap | uint256[50] | 301 | 0 | 1600 | ╰------------------+-------------+------+--------+-------+-----------------------------------------------------------------------------------------╯ + ## MainnetRisc0Verifier ╭------------------+--------------------------+------+--------+-------+-----------------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===============================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| isImageTrusted | mapping(bytes32 => bool) | 251 | 0 | 32 | +| isImageTrusted | mapping(bytes32 => bool) | 251 | 0 | 32 | | -| \_\_gap | uint256[49] | 252 | 0 | 1568 | +| __gap | uint256[49] | 252 | 0 | 1568 | ╰------------------+--------------------------+------+--------+-------+-----------------------------------------------------------------------------------------╯ + ## MainnetZkAndTeeVerifier ╭------------------+-------------+------+--------+-------+-----------------------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +========================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| **gap | uint256[50] | 301 | 0 | 1600 | +| __gap | uint256[50] | 301 | 0 | 1600 | ╰------------------+-------------+------+--------+-------+-----------------------------------------------------------------------------------------------╯ + ## MainnetTeeAnyVerifier ╭------------------+-------------+------+--------+-------+-------------------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +====================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| **gap | uint256[50] | 301 | 0 | 1600 | +| __gap | uint256[50] | 301 | 0 | 1600 | ╰------------------+-------------+------+--------+-------+-------------------------------------------------------------------------------------------╯ + ## MainnetGuardianProver ╭-------------------------+-------------------------------------------------+------+--------+-------+---------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +=====================================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| guardianIds | mapping(address => uint256) | 251 | 0 | 32 | +| guardianIds | mapping(address => uint256) | 251 | 0 | 32 | | -| approvals | mapping(uint256 => mapping(bytes32 => uint256)) | 252 | 0 | 32 | +| approvals | mapping(uint256 => mapping(bytes32 => uint256)) | 252 | 0 | 32 | | -| guardians | address[] | 253 | 0 | 32 | +| guardians | address[] | 253 | 0 | 32 | | -| version | uint32 | 254 | 0 | 4 | +| version | uint32 | 254 | 0 | 4 | | -| minGuardians | uint32 | 254 | 4 | 4 | +| minGuardians | uint32 | 254 | 4 | 4 | | -| provingAutoPauseEnabled | bool | 254 | 8 | 1 | +| provingAutoPauseEnabled | bool | 254 | 8 | 1 | | -| latestProofHash | mapping(uint256 => mapping(uint256 => bytes32)) | 255 | 0 | 32 | +| latestProofHash | mapping(uint256 => mapping(uint256 => bytes32)) | 255 | 0 | 32 | | -| \_\_gap | uint256[45] | 256 | 0 | 1440 | +| __gap | uint256[45] | 256 | 0 | 1440 | ╰-------------------------+-------------------------------------------------+------+--------+-------+---------------------------------------------------------------------------------╯ + ## MainnetTaikoL1 ╭------------------+------------------------+------+--------+-------+-------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +=======================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| state | struct TaikoData.State | 251 | 0 | 1600 | +| state | struct TaikoData.State | 251 | 0 | 1600 | | -| \_\_gap | uint256[50] | 301 | 0 | 1600 | +| __gap | uint256[50] | 301 | 0 | 1600 | ╰------------------+------------------------+------+--------+-------+-------------------------------------------------------------------╯ + ## MainnetRollupAddressManager ╭------------------+-------------------------------------------------+------+--------+-------+---------------------------------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +==========================================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **addresses | mapping(uint256 => mapping(bytes32 => address)) | 251 | 0 | 32 | +| __addresses | mapping(uint256 => mapping(bytes32 => address)) | 251 | 0 | 32 | | -| **gap | uint256[49] | 252 | 0 | 1568 | +| __gap | uint256[49] | 252 | 0 | 1568 | ╰------------------+-------------------------------------------------+------+--------+-------+---------------------------------------------------------------------------------------------╯ + ## MainnetTierRouter ╭------+------+------+--------+-------+----------╮ @@ -1641,188 +1684,195 @@ +================================================+ ╰------+------+------+--------+-------+----------╯ + ## MainnetProverSet ╭------------------+--------------------------+------+--------+-------+-----------------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +=============================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| isProver | mapping(address => bool) | 251 | 0 | 32 | +| isProver | mapping(address => bool) | 251 | 0 | 32 | | -| admin | address | 252 | 0 | 20 | +| admin | address | 252 | 0 | 20 | | -| \_\_gap | uint256[48] | 253 | 0 | 1536 | +| __gap | uint256[48] | 253 | 0 | 1536 | ╰------------------+--------------------------+------+--------+-------+-----------------------------------------------------------------------╯ + ## TokenUnlock ╭------------------+--------------------------+------+--------+-------+---------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +=====================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| amountVested | uint256 | 251 | 0 | 32 | +| amountVested | uint256 | 251 | 0 | 32 | | -| recipient | address | 252 | 0 | 20 | +| recipient | address | 252 | 0 | 20 | | -| tgeTimestamp | uint64 | 252 | 20 | 8 | +| tgeTimestamp | uint64 | 252 | 20 | 8 | | -| isProverSet | mapping(address => bool) | 253 | 0 | 32 | +| isProverSet | mapping(address => bool) | 253 | 0 | 32 | | -| \_\_gap | uint256[47] | 254 | 0 | 1504 | +| __gap | uint256[47] | 254 | 0 | 1504 | ╰------------------+--------------------------+------+--------+-------+---------------------------------------------------------------╯ + ## ProverSet ╭------------------+--------------------------+------+--------+-------+--------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +========================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| isProver | mapping(address => bool) | 251 | 0 | 32 | +| isProver | mapping(address => bool) | 251 | 0 | 32 | | -| admin | address | 252 | 0 | 20 | +| admin | address | 252 | 0 | 20 | | -| \_\_gap | uint256[48] | 253 | 0 | 1536 | +| __gap | uint256[48] | 253 | 0 | 1536 | ╰------------------+--------------------------+------+--------+-------+--------------------------------------------------╯ + ## GuardianProver ╭-------------------------+-------------------------------------------------+------+--------+-------+------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| guardianIds | mapping(address => uint256) | 251 | 0 | 32 | +| guardianIds | mapping(address => uint256) | 251 | 0 | 32 | | -| approvals | mapping(uint256 => mapping(bytes32 => uint256)) | 252 | 0 | 32 | +| approvals | mapping(uint256 => mapping(bytes32 => uint256)) | 252 | 0 | 32 | | -| guardians | address[] | 253 | 0 | 32 | +| guardians | address[] | 253 | 0 | 32 | | -| version | uint32 | 254 | 0 | 4 | +| version | uint32 | 254 | 0 | 4 | | -| minGuardians | uint32 | 254 | 4 | 4 | +| minGuardians | uint32 | 254 | 4 | 4 | | -| provingAutoPauseEnabled | bool | 254 | 8 | 1 | +| provingAutoPauseEnabled | bool | 254 | 8 | 1 | | -| latestProofHash | mapping(uint256 => mapping(uint256 => bytes32)) | 255 | 0 | 32 | +| latestProofHash | mapping(uint256 => mapping(uint256 => bytes32)) | 255 | 0 | 32 | | -| \_\_gap | uint256[45] | 256 | 0 | 1440 | +| __gap | uint256[45] | 256 | 0 | 1440 | ╰-------------------------+-------------------------------------------------+------+--------+-------+------------------------------------------------------------╯ + ## ForkManager ╭---------------+-------------+------+--------+-------+---------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +=========================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| \_\_gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | ╰---------------+-------------+------+--------+-------+---------------------------------------------------╯ + + diff --git a/packages/protocol/contract_layout_layer2.md b/packages/protocol/contract_layout_layer2.md index d71e2364207..fd6476114df 100644 --- a/packages/protocol/contract_layout_layer2.md +++ b/packages/protocol/contract_layout_layer2.md @@ -1,825 +1,844 @@ ## ERC1155Vault ╭--------------------+------------------------------------------------------+------+--------+-------+-----------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===============================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| bridgedToCanonical | mapping(address => struct BaseNFTVault.CanonicalNFT) | 301 | 0 | 32 | +| bridgedToCanonical | mapping(address => struct BaseNFTVault.CanonicalNFT) | 301 | 0 | 32 | | -| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | +| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | | -| **gap | uint256[48] | 303 | 0 | 1536 | +| __gap | uint256[48] | 303 | 0 | 1536 | | -| **gap | uint256[50] | 351 | 0 | 1600 | +| __gap | uint256[50] | 351 | 0 | 1600 | | -| **gap | uint256[50] | 401 | 0 | 1600 | +| __gap | uint256[50] | 401 | 0 | 1600 | | -| \_\_gap | uint256[50] | 451 | 0 | 1600 | +| __gap | uint256[50] | 451 | 0 | 1600 | ╰--------------------+------------------------------------------------------+------+--------+-------+-----------------------------------------------------------╯ + ## ERC20Vault ╭--------------------+------------------------------------------------------+------+--------+-------+-------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===========================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| bridgedToCanonical | mapping(address => struct ERC20Vault.CanonicalERC20) | 301 | 0 | 32 | +| bridgedToCanonical | mapping(address => struct ERC20Vault.CanonicalERC20) | 301 | 0 | 32 | | -| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | +| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | | -| btokenDenylist | mapping(address => bool) | 303 | 0 | 32 | +| btokenDenylist | mapping(address => bool) | 303 | 0 | 32 | | -| lastMigrationStart | mapping(uint256 => mapping(address => uint256)) | 304 | 0 | 32 | +| lastMigrationStart | mapping(uint256 => mapping(address => uint256)) | 304 | 0 | 32 | | -| **gap | uint256[46] | 305 | 0 | 1472 | +| __gap | uint256[46] | 305 | 0 | 1472 | ╰--------------------+------------------------------------------------------+------+--------+-------+-------------------------------------------------------╯ + ## ERC721Vault ╭--------------------+------------------------------------------------------+------+--------+-------+---------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +=============================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| bridgedToCanonical | mapping(address => struct BaseNFTVault.CanonicalNFT) | 301 | 0 | 32 | +| bridgedToCanonical | mapping(address => struct BaseNFTVault.CanonicalNFT) | 301 | 0 | 32 | | -| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | +| canonicalToBridged | mapping(uint256 => mapping(address => address)) | 302 | 0 | 32 | | -| **gap | uint256[48] | 303 | 0 | 1536 | +| __gap | uint256[48] | 303 | 0 | 1536 | | -| \_\_gap | uint256[50] | 351 | 0 | 1600 | +| __gap | uint256[50] | 351 | 0 | 1600 | ╰--------------------+------------------------------------------------------+------+--------+-------+---------------------------------------------------------╯ + ## BridgedERC20 ╭------------------+-------------------------------------------------+------+--------+-------+-----------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +========================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| \_balances | mapping(address => uint256) | 251 | 0 | 32 | +| _balances | mapping(address => uint256) | 251 | 0 | 32 | | -| \_allowances | mapping(address => mapping(address => uint256)) | 252 | 0 | 32 | +| _allowances | mapping(address => mapping(address => uint256)) | 252 | 0 | 32 | | -| \_totalSupply | uint256 | 253 | 0 | 32 | +| _totalSupply | uint256 | 253 | 0 | 32 | | -| \_name | string | 254 | 0 | 32 | +| _name | string | 254 | 0 | 32 | | -| \_symbol | string | 255 | 0 | 32 | +| _symbol | string | 255 | 0 | 32 | | -| **gap | uint256[45] | 256 | 0 | 1440 | +| __gap | uint256[45] | 256 | 0 | 1440 | | -| srcToken | address | 301 | 0 | 20 | +| srcToken | address | 301 | 0 | 20 | | -| **srcDecimals | uint8 | 301 | 20 | 1 | +| __srcDecimals | uint8 | 301 | 20 | 1 | | -| srcChainId | uint256 | 302 | 0 | 32 | +| srcChainId | uint256 | 302 | 0 | 32 | | -| migratingAddress | address | 303 | 0 | 20 | +| migratingAddress | address | 303 | 0 | 20 | | -| migratingInbound | bool | 303 | 20 | 1 | +| migratingInbound | bool | 303 | 20 | 1 | | -| \_\_gap | uint256[47] | 304 | 0 | 1504 | +| __gap | uint256[47] | 304 | 0 | 1504 | ╰------------------+-------------------------------------------------+------+--------+-------+-----------------------------------------------------------╯ + ## BridgedERC20V2 ╭------------------+--------------------------------------------------------+------+--------+-------+---------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| \_balances | mapping(address => uint256) | 251 | 0 | 32 | +| _balances | mapping(address => uint256) | 251 | 0 | 32 | | -| \_allowances | mapping(address => mapping(address => uint256)) | 252 | 0 | 32 | +| _allowances | mapping(address => mapping(address => uint256)) | 252 | 0 | 32 | | -| \_totalSupply | uint256 | 253 | 0 | 32 | +| _totalSupply | uint256 | 253 | 0 | 32 | | -| \_name | string | 254 | 0 | 32 | +| _name | string | 254 | 0 | 32 | | -| \_symbol | string | 255 | 0 | 32 | +| _symbol | string | 255 | 0 | 32 | | -| **gap | uint256[45] | 256 | 0 | 1440 | +| __gap | uint256[45] | 256 | 0 | 1440 | | -| srcToken | address | 301 | 0 | 20 | +| srcToken | address | 301 | 0 | 20 | | -| **srcDecimals | uint8 | 301 | 20 | 1 | +| __srcDecimals | uint8 | 301 | 20 | 1 | | -| srcChainId | uint256 | 302 | 0 | 32 | +| srcChainId | uint256 | 302 | 0 | 32 | | -| migratingAddress | address | 303 | 0 | 20 | +| migratingAddress | address | 303 | 0 | 20 | | -| migratingInbound | bool | 303 | 20 | 1 | +| migratingInbound | bool | 303 | 20 | 1 | | -| **gap | uint256[47] | 304 | 0 | 1504 | +| __gap | uint256[47] | 304 | 0 | 1504 | | -| \_hashedName | bytes32 | 351 | 0 | 32 | +| _hashedName | bytes32 | 351 | 0 | 32 | | -| \_hashedVersion | bytes32 | 352 | 0 | 32 | +| _hashedVersion | bytes32 | 352 | 0 | 32 | | -| \_name | string | 353 | 0 | 32 | +| _name | string | 353 | 0 | 32 | | -| \_version | string | 354 | 0 | 32 | +| _version | string | 354 | 0 | 32 | | -| **gap | uint256[48] | 355 | 0 | 1536 | +| __gap | uint256[48] | 355 | 0 | 1536 | | -| \_nonces | mapping(address => struct CountersUpgradeable.Counter) | 403 | 0 | 32 | +| _nonces | mapping(address => struct CountersUpgradeable.Counter) | 403 | 0 | 32 | | -| \_\_gap | uint256[49] | 404 | 0 | 1568 | +| __gap | uint256[49] | 404 | 0 | 1568 | ╰------------------+--------------------------------------------------------+------+--------+-------+---------------------------------------------------------------╯ + ## BridgedERC721 ╭--------------------+----------------------------------------------+------+--------+-------+-------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +=========================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| \_name | string | 301 | 0 | 32 | +| _name | string | 301 | 0 | 32 | | -| \_symbol | string | 302 | 0 | 32 | +| _symbol | string | 302 | 0 | 32 | | -| \_owners | mapping(uint256 => address) | 303 | 0 | 32 | +| _owners | mapping(uint256 => address) | 303 | 0 | 32 | | -| \_balances | mapping(address => uint256) | 304 | 0 | 32 | +| _balances | mapping(address => uint256) | 304 | 0 | 32 | | -| \_tokenApprovals | mapping(uint256 => address) | 305 | 0 | 32 | +| _tokenApprovals | mapping(uint256 => address) | 305 | 0 | 32 | | -| \_operatorApprovals | mapping(address => mapping(address => bool)) | 306 | 0 | 32 | +| _operatorApprovals | mapping(address => mapping(address => bool)) | 306 | 0 | 32 | | -| **gap | uint256[44] | 307 | 0 | 1408 | +| __gap | uint256[44] | 307 | 0 | 1408 | | -| srcToken | address | 351 | 0 | 20 | +| srcToken | address | 351 | 0 | 20 | | -| srcChainId | uint256 | 352 | 0 | 32 | +| srcChainId | uint256 | 352 | 0 | 32 | | -| \_\_gap | uint256[48] | 353 | 0 | 1536 | +| __gap | uint256[48] | 353 | 0 | 1536 | ╰--------------------+----------------------------------------------+------+--------+-------+-------------------------------------------------------------╯ + ## BridgedERC1155 ╭--------------------+-------------------------------------------------+------+--------+-------+---------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +==============================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **gap | uint256[50] | 251 | 0 | 1600 | +| __gap | uint256[50] | 251 | 0 | 1600 | | -| \_balances | mapping(uint256 => mapping(address => uint256)) | 301 | 0 | 32 | +| _balances | mapping(uint256 => mapping(address => uint256)) | 301 | 0 | 32 | | -| \_operatorApprovals | mapping(address => mapping(address => bool)) | 302 | 0 | 32 | +| _operatorApprovals | mapping(address => mapping(address => bool)) | 302 | 0 | 32 | | -| \_uri | string | 303 | 0 | 32 | +| _uri | string | 303 | 0 | 32 | | -| **gap | uint256[47] | 304 | 0 | 1504 | +| __gap | uint256[47] | 304 | 0 | 1504 | | -| srcToken | address | 351 | 0 | 20 | +| srcToken | address | 351 | 0 | 20 | | -| srcChainId | uint256 | 352 | 0 | 32 | +| srcChainId | uint256 | 352 | 0 | 32 | | -| symbol | string | 353 | 0 | 32 | +| symbol | string | 353 | 0 | 32 | | -| name | string | 354 | 0 | 32 | +| name | string | 354 | 0 | 32 | | -| \_\_gap | uint256[46] | 355 | 0 | 1472 | +| __gap | uint256[46] | 355 | 0 | 1472 | ╰--------------------+-------------------------------------------------+------+--------+-------+---------------------------------------------------------------╯ + ## Bridge ╭------------------+-----------------------------------------+------+--------+-------+-------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **reserved1 | uint64 | 251 | 0 | 8 | +| __reserved1 | uint64 | 251 | 0 | 8 | | -| nextMessageId | uint64 | 251 | 8 | 8 | +| nextMessageId | uint64 | 251 | 8 | 8 | | -| messageStatus | mapping(bytes32 => enum IBridge.Status) | 252 | 0 | 32 | +| messageStatus | mapping(bytes32 => enum IBridge.Status) | 252 | 0 | 32 | | -| **ctx | struct IBridge.Context | 253 | 0 | 64 | +| __ctx | struct IBridge.Context | 253 | 0 | 64 | | -| **reserved2 | uint256 | 255 | 0 | 32 | +| __reserved2 | uint256 | 255 | 0 | 32 | | -| **reserved3 | uint256 | 256 | 0 | 32 | +| __reserved3 | uint256 | 256 | 0 | 32 | | -| \_\_gap | uint256[44] | 257 | 0 | 1408 | +| __gap | uint256[44] | 257 | 0 | 1408 | ╰------------------+-----------------------------------------+------+--------+-------+-------------------------------------------╯ + ## QuotaManager ╭------------------+-----------------------------------------------+------+--------+-------+-------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +==================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| tokenQuota | mapping(address => struct QuotaManager.Quota) | 251 | 0 | 32 | +| tokenQuota | mapping(address => struct QuotaManager.Quota) | 251 | 0 | 32 | | -| quotaPeriod | uint24 | 252 | 0 | 3 | +| quotaPeriod | uint24 | 252 | 0 | 3 | | -| \_\_gap | uint256[48] | 253 | 0 | 1536 | +| __gap | uint256[48] | 253 | 0 | 1536 | ╰------------------+-----------------------------------------------+------+--------+-------+-------------------------------------------------------╯ + ## AddressManager ╭------------------+-------------------------------------------------+------+--------+-------+-----------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +========================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **addresses | mapping(uint256 => mapping(bytes32 => address)) | 251 | 0 | 32 | +| __addresses | mapping(uint256 => mapping(bytes32 => address)) | 251 | 0 | 32 | | -| **gap | uint256[49] | 252 | 0 | 1568 | +| __gap | uint256[49] | 252 | 0 | 1568 | ╰------------------+-------------------------------------------------+------+--------+-------+-----------------------------------------------------------╯ + ## AddressResolver ╭----------------+-------------+------+--------+-------+-------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +====================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| addressManager | address | 0 | 2 | 20 | +| addressManager | address | 0 | 2 | 20 | | -| \_\_gap | uint256[49] | 1 | 0 | 1568 | +| __gap | uint256[49] | 1 | 0 | 1568 | ╰----------------+-------------+------+--------+-------+-------------------------------------------------------------╯ + ## EssentialContract ╭------------------+-------------+------+--------+-------+-----------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +==========================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | ╰------------------+-------------+------+--------+-------+-----------------------------------------------------------------╯ + ## SignalService ╭------------------+-----------------------------------------------+------+--------+-------+---------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +====================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| topBlockId | mapping(uint64 => mapping(bytes32 => uint64)) | 251 | 0 | 32 | +| topBlockId | mapping(uint64 => mapping(bytes32 => uint64)) | 251 | 0 | 32 | | -| isAuthorized | mapping(address => bool) | 252 | 0 | 32 | +| isAuthorized | mapping(address => bool) | 252 | 0 | 32 | | -| \_\_gap | uint256[48] | 253 | 0 | 1536 | +| __gap | uint256[48] | 253 | 0 | 1536 | ╰------------------+-----------------------------------------------+------+--------+-------+---------------------------------------------------------╯ + ## BridgedTaikoToken ╭-----------------------------------------------------+---------------------------------------------------------------+------+--------+-------+----------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +==============================================================================================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| **slots_previously_used_by_ERC20SnapshotUpgradeable | uint256[50] | 251 | 0 | 1600 | +| __slots_previously_used_by_ERC20SnapshotUpgradeable | uint256[50] | 251 | 0 | 1600 | | -| \_balances | mapping(address => uint256) | 301 | 0 | 32 | +| _balances | mapping(address => uint256) | 301 | 0 | 32 | | -| \_allowances | mapping(address => mapping(address => uint256)) | 302 | 0 | 32 | +| _allowances | mapping(address => mapping(address => uint256)) | 302 | 0 | 32 | | -| \_totalSupply | uint256 | 303 | 0 | 32 | +| _totalSupply | uint256 | 303 | 0 | 32 | | -| \_name | string | 304 | 0 | 32 | +| _name | string | 304 | 0 | 32 | | -| \_symbol | string | 305 | 0 | 32 | +| _symbol | string | 305 | 0 | 32 | | -| **gap | uint256[45] | 306 | 0 | 1440 | +| __gap | uint256[45] | 306 | 0 | 1440 | | -| \_hashedName | bytes32 | 351 | 0 | 32 | +| _hashedName | bytes32 | 351 | 0 | 32 | | -| \_hashedVersion | bytes32 | 352 | 0 | 32 | +| _hashedVersion | bytes32 | 352 | 0 | 32 | | -| \_name | string | 353 | 0 | 32 | +| _name | string | 353 | 0 | 32 | | -| \_version | string | 354 | 0 | 32 | +| _version | string | 354 | 0 | 32 | | -| **gap | uint256[48] | 355 | 0 | 1536 | +| __gap | uint256[48] | 355 | 0 | 1536 | | -| \_nonces | mapping(address => struct CountersUpgradeable.Counter) | 403 | 0 | 32 | +| _nonces | mapping(address => struct CountersUpgradeable.Counter) | 403 | 0 | 32 | | -| \_PERMIT_TYPEHASH_DEPRECATED_SLOT | bytes32 | 404 | 0 | 32 | +| _PERMIT_TYPEHASH_DEPRECATED_SLOT | bytes32 | 404 | 0 | 32 | | -| **gap | uint256[49] | 405 | 0 | 1568 | +| __gap | uint256[49] | 405 | 0 | 1568 | | -| \_delegates | mapping(address => address) | 454 | 0 | 32 | +| _delegates | mapping(address => address) | 454 | 0 | 32 | | -| \_checkpoints | mapping(address => struct ERC20VotesUpgradeable.Checkpoint[]) | 455 | 0 | 32 | +| _checkpoints | mapping(address => struct ERC20VotesUpgradeable.Checkpoint[]) | 455 | 0 | 32 | | -| \_totalSupplyCheckpoints | struct ERC20VotesUpgradeable.Checkpoint[] | 456 | 0 | 32 | +| _totalSupplyCheckpoints | struct ERC20VotesUpgradeable.Checkpoint[] | 456 | 0 | 32 | | -| **gap | uint256[47] | 457 | 0 | 1504 | +| __gap | uint256[47] | 457 | 0 | 1504 | | -| **gap | uint256[50] | 504 | 0 | 1600 | +| __gap | uint256[50] | 504 | 0 | 1600 | ╰-----------------------------------------------------+---------------------------------------------------------------+------+--------+-------+----------------------------------------------------------------╯ + ## DelegateOwner ╭------------------+-------------+------+--------+-------+--------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===========================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| remoteChainId | uint64 | 251 | 0 | 8 | +| remoteChainId | uint64 | 251 | 0 | 8 | | -| admin | address | 251 | 8 | 20 | +| admin | address | 251 | 8 | 20 | | -| nextTxId | uint64 | 252 | 0 | 8 | +| nextTxId | uint64 | 252 | 0 | 8 | | -| remoteOwner | address | 252 | 8 | 20 | +| remoteOwner | address | 252 | 8 | 20 | | -| \_\_gap | uint256[48] | 253 | 0 | 1536 | +| __gap | uint256[48] | 253 | 0 | 1536 | ╰------------------+-------------+------+--------+-------+--------------------------------------------------╯ + ## TaikoL2 ╭------------------+-----------------------------+------+--------+-------+--------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +=====================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| \_blockhashes | mapping(uint256 => bytes32) | 251 | 0 | 32 | +| _blockhashes | mapping(uint256 => bytes32) | 251 | 0 | 32 | | -| publicInputHash | bytes32 | 252 | 0 | 32 | +| publicInputHash | bytes32 | 252 | 0 | 32 | | -| parentGasExcess | uint64 | 253 | 0 | 8 | +| parentGasExcess | uint64 | 253 | 0 | 8 | | -| lastSyncedBlock | uint64 | 253 | 8 | 8 | +| lastSyncedBlock | uint64 | 253 | 8 | 8 | | -| parentTimestamp | uint64 | 253 | 16 | 8 | +| parentTimestamp | uint64 | 253 | 16 | 8 | | -| parentGasTarget | uint64 | 253 | 24 | 8 | +| parentGasTarget | uint64 | 253 | 24 | 8 | | -| l1ChainId | uint64 | 254 | 0 | 8 | +| l1ChainId | uint64 | 254 | 0 | 8 | | -| \_\_gap | uint256[46] | 255 | 0 | 1472 | +| __gap | uint256[46] | 255 | 0 | 1472 | ╰------------------+-----------------------------+------+--------+-------+--------------------------------------------╯ + ## HeklaTaikoL2 ╭------------------+-----------------------------+------+--------+-------+------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +===============================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| \_blockhashes | mapping(uint256 => bytes32) | 251 | 0 | 32 | +| _blockhashes | mapping(uint256 => bytes32) | 251 | 0 | 32 | | -| publicInputHash | bytes32 | 252 | 0 | 32 | +| publicInputHash | bytes32 | 252 | 0 | 32 | | -| parentGasExcess | uint64 | 253 | 0 | 8 | +| parentGasExcess | uint64 | 253 | 0 | 8 | | -| lastSyncedBlock | uint64 | 253 | 8 | 8 | +| lastSyncedBlock | uint64 | 253 | 8 | 8 | | -| parentTimestamp | uint64 | 253 | 16 | 8 | +| parentTimestamp | uint64 | 253 | 16 | 8 | | -| parentGasTarget | uint64 | 253 | 24 | 8 | +| parentGasTarget | uint64 | 253 | 24 | 8 | | -| l1ChainId | uint64 | 254 | 0 | 8 | +| l1ChainId | uint64 | 254 | 0 | 8 | | -| \_\_gap | uint256[46] | 255 | 0 | 1472 | +| __gap | uint256[46] | 255 | 0 | 1472 | ╰------------------+-----------------------------+------+--------+-------+------------------------------------------------------╯ + ## MainnetTaikoL2 ╭------------------+-----------------------------+------+--------+-------+------------------------------------------------------------╮ -| Name | Type | Slot | Offset | Bytes | +| Name | Type | Slot | Offset | Bytes | +=====================================================================================================================================+ -| \_initialized | uint8 | 0 | 0 | 1 | +| _initialized | uint8 | 0 | 0 | 1 | | -| \_initializing | bool | 0 | 1 | 1 | +| _initializing | bool | 0 | 1 | 1 | | -| **gap | uint256[50] | 1 | 0 | 1600 | +| __gap | uint256[50] | 1 | 0 | 1600 | | -| \_owner | address | 51 | 0 | 20 | +| _owner | address | 51 | 0 | 20 | | -| **gap | uint256[49] | 52 | 0 | 1568 | +| __gap | uint256[49] | 52 | 0 | 1568 | | -| \_pendingOwner | address | 101 | 0 | 20 | +| _pendingOwner | address | 101 | 0 | 20 | | -| **gap | uint256[49] | 102 | 0 | 1568 | +| __gap | uint256[49] | 102 | 0 | 1568 | | -| addressManager | address | 151 | 0 | 20 | +| addressManager | address | 151 | 0 | 20 | | -| **gap | uint256[49] | 152 | 0 | 1568 | +| __gap | uint256[49] | 152 | 0 | 1568 | | -| **reentry | uint8 | 201 | 0 | 1 | +| __reentry | uint8 | 201 | 0 | 1 | | -| **paused | uint8 | 201 | 1 | 1 | +| __paused | uint8 | 201 | 1 | 1 | | -| **lastUnpausedAt | uint64 | 201 | 2 | 8 | +| __lastUnpausedAt | uint64 | 201 | 2 | 8 | | -| **gap | uint256[49] | 202 | 0 | 1568 | +| __gap | uint256[49] | 202 | 0 | 1568 | | -| \_blockhashes | mapping(uint256 => bytes32) | 251 | 0 | 32 | +| _blockhashes | mapping(uint256 => bytes32) | 251 | 0 | 32 | | -| publicInputHash | bytes32 | 252 | 0 | 32 | +| publicInputHash | bytes32 | 252 | 0 | 32 | | -| parentGasExcess | uint64 | 253 | 0 | 8 | +| parentGasExcess | uint64 | 253 | 0 | 8 | | -| lastSyncedBlock | uint64 | 253 | 8 | 8 | +| lastSyncedBlock | uint64 | 253 | 8 | 8 | | -| parentTimestamp | uint64 | 253 | 16 | 8 | +| parentTimestamp | uint64 | 253 | 16 | 8 | | -| parentGasTarget | uint64 | 253 | 24 | 8 | +| parentGasTarget | uint64 | 253 | 24 | 8 | | -| l1ChainId | uint64 | 254 | 0 | 8 | +| l1ChainId | uint64 | 254 | 0 | 8 | | -| \_\_gap | uint256[46] | 255 | 0 | 1472 | +| __gap | uint256[46] | 255 | 0 | 1472 | ╰------------------+-----------------------------+------+--------+-------+------------------------------------------------------------╯ + + diff --git a/packages/protocol/deployments/hekla-contract-logs.md b/packages/protocol/deployments/hekla-contract-logs.md index 70c11e98d8e..8218803b2a0 100644 --- a/packages/protocol/deployments/hekla-contract-logs.md +++ b/packages/protocol/deployments/hekla-contract-logs.md @@ -223,10 +223,11 @@ ### risc0_groth16_verifier -- addr : 0x5fd84014c62D5ea28D4533D5B1B48Ca44e571057 +- addr : 0x714FD0666B0cee87bFC29A029E2AE66f40F12cE5 - logs: - deployed on August 14, 2024 at commit `cba2a1e` - upgraded on October 22, 2024 at commit `684a909` + - upgraded on Jan 10, 2025 at commit `2802b21` ### tier_zkvm_risc0 @@ -239,12 +240,13 @@ ### sp1_plonk_verifier -- addr : 0xfb2d02219D065eBF3Aa8d2D1a1C52b1868EE7384 +- addr : 0x7110bd8909CFC4C31204BA8597882CBFa1F77dC9 - logs: - deployed on September 02, 2024 at commit `16ac02e` - upgraded on September 15, 2024 at commit `6f26434` - upgraded on October 22, 2024 at commit `684a909` - upgraded on Nov 8, 2024 at commit `0b11101` + - upgraded on Jan 9, 2025 at commit `de12a26` ### tier_zkvm_sp1 diff --git a/packages/protocol/package.json b/packages/protocol/package.json index cf9f5272977..3f3a46f490f 100644 --- a/packages/protocol/package.json +++ b/packages/protocol/package.json @@ -50,8 +50,8 @@ "merkletreejs": "^0.4.0", "optimism": "github:ethereum-optimism/optimism#v1.8.0", "p256-verifier": "github:taikoxyz/p256-verifier#v0.1.0", - "risc0-ethereum": "github:risc0/risc0-ethereum#v1.1.2", + "risc0-ethereum": "github:risc0/risc0-ethereum#v1.2.0", "solady": "github:Vectorized/solady#v0.0.231", - "sp1-contracts": "github:succinctlabs/sp1-contracts#v3.0.0" + "sp1-contracts": "github:succinctlabs/sp1-contracts#v4.0.0-rc.3" } } diff --git a/packages/protocol/script/layer1/DeployProtocolOnL1.s.sol b/packages/protocol/script/layer1/DeployProtocolOnL1.s.sol index 3ed3290160e..dc3f542de92 100644 --- a/packages/protocol/script/layer1/DeployProtocolOnL1.s.sol +++ b/packages/protocol/script/layer1/DeployProtocolOnL1.s.sol @@ -3,7 +3,8 @@ pragma solidity ^0.8.24; import "@openzeppelin/contracts/utils/Strings.sol"; import "@risc0/contracts/groth16/RiscZeroGroth16Verifier.sol"; -import { SP1Verifier as SuccinctVerifier } from "@sp1-contracts/src/v3.0.0/SP1VerifierPlonk.sol"; +import { SP1Verifier as SuccinctVerifier } from + "@sp1-contracts/src/v4.0.0-rc.3/SP1VerifierPlonk.sol"; // Actually this one is deployed already on mainnet, but we are now deploying our own (non via-ir) // version. For mainnet, it is easier to go with one of: diff --git a/packages/protocol/script/layer1/DeploySP1Verifier.s.sol b/packages/protocol/script/layer1/DeploySP1Verifier.s.sol index 9f6f5f898ae..1bd32a3f308 100644 --- a/packages/protocol/script/layer1/DeploySP1Verifier.s.sol +++ b/packages/protocol/script/layer1/DeploySP1Verifier.s.sol @@ -1,7 +1,8 @@ // SPDX-License-Identifier: MIT pragma solidity ^0.8.24; -import { SP1Verifier as SuccinctVerifier } from "@sp1-contracts/src/v3.0.0/SP1VerifierPlonk.sol"; +import { SP1Verifier as SuccinctVerifier } from + "@sp1-contracts/src/v4.0.0-rc.3/SP1VerifierPlonk.sol"; import "test/shared/DeployCapability.sol"; import "src/layer1/verifiers/SP1Verifier.sol"; diff --git a/packages/protocol/script/layer1/UpdateSP1Verifier.s.sol b/packages/protocol/script/layer1/UpdateSP1Verifier.s.sol index a9d74e0004c..eac5f7d50d9 100644 --- a/packages/protocol/script/layer1/UpdateSP1Verifier.s.sol +++ b/packages/protocol/script/layer1/UpdateSP1Verifier.s.sol @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MIT pragma solidity ^0.8.24; -import "@sp1-contracts/src/v3.0.0/SP1VerifierPlonk.sol"; +import "@sp1-contracts/src/v4.0.0-rc.3/SP1VerifierPlonk.sol"; import "test/shared/DeployCapability.sol"; contract UpdateSP1Verifier is DeployCapability { diff --git a/packages/protocol/test/layer1/verifiers/RiscZeroGroth16Verifier.t.sol b/packages/protocol/test/layer1/verifiers/RiscZeroGroth16Verifier.t.sol index fabebf4101a..401b1ceac3c 100644 --- a/packages/protocol/test/layer1/verifiers/RiscZeroGroth16Verifier.t.sol +++ b/packages/protocol/test/layer1/verifiers/RiscZeroGroth16Verifier.t.sol @@ -31,7 +31,7 @@ contract RiscZeroGroth16VerifierTest is TaikoL1TestBase { ); rv.setImageIdTrusted( - bytes32(0x7669d1059d0dfa9537c2b3581569b8bc244495e6c406d07dea628bc8cf480392), true + bytes32(0xb0e5cbad30f8da6180a9dd768b5de54062164916f0410b0b124a0039d503f997), true ); } @@ -44,11 +44,11 @@ contract RiscZeroGroth16VerifierTest is TaikoL1TestBase { vm.startPrank(Emma); bytes memory seal = - hex"50bd1769220929ac1ac3f9d3a8a4e7f4bcec136f8ea44be5a7248785d83b13879b409b762480f0ca5f38b164091e2def50b35829e453d1418492c01cc1b924e851580fe208d3808a925ce28724f0a862b944074f5277c4bd4b3153c1a1ff87056740628008fcc8d7edef53215db823e4773334e6f5fe08fed84c7ebd005fe4f42b80891724044cadde535253739049d99abc1a91a4a987ad93b0fcedbdb2440c9c2d662101509acb5f869bdb2e15d2609aa1a6c6c1a5a83e04fb2f77d25163b5675351be2204a497f20d43277d211adcc66b730b5d8d7635bb4a456cbf9029904ef2493a0346cd8e1aa2c270a160bc28bca77336bf18fe91b9dc8790a15f1618188dafa9"; + hex"c101b42b17dda9eca78d0abdda89996306aecfda823f4fc36866a6aef87a34bc16b64762001401e2c9b09ad1cff495bf746ea4a90c804a144586567ace502884d515153d04ca12eea43e7229f34ed46b75671be7cf38e1bcfc5c571fb53eea3ea7ca0a8c12eec0fb244c4950f4fcd34dc2351d5e0d4eeb9c95b795b0415faa472ae07b1b0552b134c1685ca7049bbfc150661f51d5a87b2eca5adfee1de5fcb0ec06f6ca07c16b54b351302086344c99e84093baf17112d8da40db21ad2d43d8670858982717a58b1522ff88a357d2dc6aa5dc1a3361d756587690d3fbdec6f68dade6a3191ce759e321f17aeb839396afa261eb8aa4935a0d476a6e9a6c4d20c817b1a0"; bytes32 imageId = - bytes32(0x7669d1059d0dfa9537c2b3581569b8bc244495e6c406d07dea628bc8cf480392); + bytes32(0xb0e5cbad30f8da6180a9dd768b5de54062164916f0410b0b124a0039d503f997); bytes32 journalDigest = - bytes32(0xa82287ae36a69b51f8013851b3814ff1243da5dfa071f6fd9b46b85445895553); + bytes32(0x0eac04720f08f4c696e4860fcad2ba8074ffda3d90fa85954d4d83dfdecddc3b); // TierProof TaikoData.TierProof memory proof = @@ -80,20 +80,20 @@ contract RiscZeroGroth16VerifierTest is TaikoL1TestBase { { // Context ctx = IVerifier.Context({ - metaHash: bytes32(0xd7efb262f6f25cc817452a622009a22e5868e53e1f934d899d3ec68d8c4f2c5b), - blobHash: bytes32(0x015cc9688f24b8d2195e46829b3f726ce006884d5fd2760b7cf414bab9a1b231), + metaHash: bytes32(0xa0c8136633dff06ad1f03ed6fbb277096e6cae13f39e02ac1cff397b22aafeac), + blobHash: bytes32(0x0143051e11b9886c061ccb939bf7317cee20378f0d3ac8d1930140f1ba42d99f), prover: address(0x70997970C51812dc3A010C7d01b50e0d17dc79C8), msgSender: address(0), - blockId: 223_248, //from mainnet + blockId: 749_050, //from mainnet isContesting: false, blobUsed: true }); // Transition transition = TaikoData.Transition({ - parentHash: 0x317de24b32f09629524133334ad552a14e3de603d71a9cf9e88d722809f101b3, - blockHash: 0x9966d3cf051d3d1e44e2a740169627506a619257c95374e812ca572de91ed885, - stateRoot: 0x3ae3de1afa16b93a5c7ea20a0b36b43357061f5b8ef857053d68b2735c3df860, + parentHash: 0xaa47a56db9be323d923a56002612b168ba73621a98269835e768ec48799fcc95, + blockHash: 0x405a8978474fbe72d40fa4e2fc6b2edfcc0d439002c6d941ac1385a5a349535d, + stateRoot: 0xadbeff96af5a990b979135850926fdd7c0d9c5af967e12e60d7b2a473fcf04c9, graffiti: 0x8008500000000000000000000000000000000000000000000000000000000000 }); } @@ -101,8 +101,8 @@ contract RiscZeroGroth16VerifierTest is TaikoL1TestBase { function test_risc0_verifyBatchProof() public { vm.startPrank(Emma); - bytes32 aggProofImageId = 0x8e192ebe6872b47645367692838b2d697c467f5e4543d605b0ef7d10365fb11a; - bytes32 blkProofImageId = 0x7669d1059d0dfa9537c2b3581569b8bc244495e6c406d07dea628bc8cf480392; + bytes32 aggProofImageId = 0x20187e43c11a55330ac17a93299245e34fe0d641e35bc46f77768b60e7779a3a; + bytes32 blkProofImageId = 0xb0e5cbad30f8da6180a9dd768b5de54062164916f0410b0b124a0039d503f997; // proof generation elf rv.setImageIdTrusted(aggProofImageId, true); @@ -114,38 +114,38 @@ contract RiscZeroGroth16VerifierTest is TaikoL1TestBase { // Context IVerifier.ContextV2[] memory ctxs = new IVerifier.ContextV2[](2); ctxs[0] = IVerifier.ContextV2({ - metaHash: 0x207b2833fb6d804612da24d8785b870a19c7a3f25fa4aaeb9799cd442d65b031, - blobHash: 0x01354e8725e60ad91b32ec4ab19158572a0a5b06b2d4d83f6269c9a7d068f49b, - prover: 0x70997970C51812dc3A010C7d01b50e0d17dc79C8, + metaHash: bytes32(0xa0c8136633dff06ad1f03ed6fbb277096e6cae13f39e02ac1cff397b22aafeac), + blobHash: bytes32(0x0143051e11b9886c061ccb939bf7317cee20378f0d3ac8d1930140f1ba42d99f), + prover: address(0x70997970C51812dc3A010C7d01b50e0d17dc79C8), msgSender: 0x70997970C51812dc3A010C7d01b50e0d17dc79C8, - blockId: 393_333, + blockId: 749_050, isContesting: false, blobUsed: true, tran: TaikoData.Transition({ - parentHash: 0xce519622a374dc014c005d7857de26d952751a9067d3e23ffe14da247aa8a399, - blockHash: 0x941d557653da2214cbf3d30af8d9cadbc7b5f77b6c3e48bca548eba04eb9cd79, - stateRoot: 0x4203a2fd98d268d272acb24d91e25055a779b443ff3e732f2cee7abcf639b5e9, + parentHash: 0xaa47a56db9be323d923a56002612b168ba73621a98269835e768ec48799fcc95, + blockHash: 0x405a8978474fbe72d40fa4e2fc6b2edfcc0d439002c6d941ac1385a5a349535d, + stateRoot: 0xadbeff96af5a990b979135850926fdd7c0d9c5af967e12e60d7b2a473fcf04c9, graffiti: 0x8008500000000000000000000000000000000000000000000000000000000000 }) }); ctxs[1] = IVerifier.ContextV2({ - metaHash: 0x946ba1a9c02fc2f01da49e31cb5be83c118193d0389987c6be616ce76426b44d, - blobHash: 0x01abac8c1fb54f87ff7b0cbf14259b9d5ee7a8de458c587dd6eda43ef8354b4f, + metaHash: 0xd385182abb3db17267b32b4e475c5ed9306f52107a8f8cc5309f13af0af3b2a8, + blobHash: 0x0181040be344c40efb3f4cfd9df5ba02c8474e6c18e15d959ab345de1ee264b7, prover: 0x70997970C51812dc3A010C7d01b50e0d17dc79C8, msgSender: 0x70997970C51812dc3A010C7d01b50e0d17dc79C8, - blockId: 393_334, + blockId: 749_051, isContesting: false, blobUsed: true, tran: TaikoData.Transition({ - parentHash: 0x941d557653da2214cbf3d30af8d9cadbc7b5f77b6c3e48bca548eba04eb9cd79, - blockHash: 0xc0dad38646ab264be30995b7b7fd02db65e7115126fb52bfad94c0fc9572287c, - stateRoot: 0x222061caab95b6bd0f8dd398088030979efbe56e282cd566f7abd77838558eb9, + parentHash: 0x405a8978474fbe72d40fa4e2fc6b2edfcc0d439002c6d941ac1385a5a349535d, + blockHash: 0x8547cf9c2eb9ead5ab55c02d92b9f712ebbc6bbf92915869609016779bf302ef, + stateRoot: 0x5c37ab91105743f67e5508ae8f4f6f01c44a4ad21da52637bbaf792eba57cf66, graffiti: 0x8008500000000000000000000000000000000000000000000000000000000000 }) }); bytes memory seal = - hex"50bd176901a68e3f05b0e651b6e5ff18e5463be794699597908b42b9ac3195a464c2b67320fb89c8199909a5ef1ff32366d1047009f4758294090f4ce613129f64a9ff58109cf0f6cb0f22e194dab522a2938631b138f4afeb075117a05d1ad75093515e15de11d9b231b79be5d42b0c7921ba22d62a6594258745f3e5c2e10508741fd813581ea8fab28ee1d07cb1f2e84500e2993cff3ca2e37284cfb5cfec5fe301d92f4246b2dbffc17d2ef5d889f50b8f28c51d1bacd6b0c55399e574969bb0a77207ceda541460cfec3e0c315889d62c0c91c5cf0cecd515ada96712735e5cf0ea1664af11012004ba7cb6adea3751911c8afe5eb5979b1adf43da6f9c18837f3d"; + hex"c101b42b090030000272654103ff692da743560878ebc23d2fca58bf4800e3a033d6bb54100b09e9014094a7753c1d6cf3240275586892e426bd9ba4adfa80eb8e6c9d1211537ace36bd515c7844e1dff10b6a9d5afd34782bf877933422d434ba0de96004c54c33937c3b2c5f5cfbe894db673f9608441ff4c35fb440b4b74f8a7cbb1e17ba492db492506c7296bd68711a47a64e10cb63eb7416638f86570a918fccd027a15077e094b275e7f635fea0dd0b86f4606fc3ee32614ff9bb13553abb3f9415965e2967c8fd2786e8dee68871705fe2ecdda24e26756a915b9cd0e9dff0032e04ed383c451e89aa59583219b96fce51f3832ec2faee8a02f43cabda100e1b"; // TierProof TaikoData.TierProof memory proof = TaikoData.TierProof({ tier: 100, diff --git a/packages/protocol/test/layer1/verifiers/SP1PlonkVerifier.t.sol b/packages/protocol/test/layer1/verifiers/SP1PlonkVerifier.t.sol index 9291354fb43..cb57c571212 100644 --- a/packages/protocol/test/layer1/verifiers/SP1PlonkVerifier.t.sol +++ b/packages/protocol/test/layer1/verifiers/SP1PlonkVerifier.t.sol @@ -1,7 +1,8 @@ // SPDX-License-Identifier: MIT pragma solidity ^0.8.24; -import { SP1Verifier as SuccinctVerifier } from "@sp1-contracts/src/v3.0.0/SP1VerifierPlonk.sol"; +import { SP1Verifier as SuccinctVerifier } from + "@sp1-contracts/src/v4.0.0-rc.3/SP1VerifierPlonk.sol"; import "../based/TaikoL1TestBase.sol"; contract SuccinctVerifierTest is TaikoL1TestBase { @@ -29,7 +30,7 @@ contract SuccinctVerifierTest is TaikoL1TestBase { ); sp1.setProgramTrusted( - bytes32(0x004e167a367ef584f118c2fac6ffdda82e5349913a165703fb1895f0da412bff), true + bytes32(0x00dfac9a61cdc96d58296817c977da485dfdfd5cc0900b00d839dfd22a34748b), true ); } @@ -42,8 +43,8 @@ contract SuccinctVerifierTest is TaikoL1TestBase { vm.startPrank(Emma); bytes memory sp1Proof = - hex"54bdcae329f3f04a73d0e51b60e37a3dc2eb812b6c818895fbda375c24ce943d40a1a3541655911e01acabfb1ed0a04027e641f5e492e883d2ca77a03266b485a61563fe1c751fa9821101c5e755f8963df8493e967224867963a4b459457ca1ae23b7c62e7b320dcb495d119ca771ce2030f6aeeb44c328bc03f8a892c69da84aa43ca1201baeb122781539d987fc6fd706123398a8d50f837817873890c18269c3d3dd0e782114074808a1ff3548b49f0b499424c689e4bf5d74cb876237240d6473dc1ab63fc429bee770b10527113efff5ee6f2705031d6c7370d0a60154f19e8dd20ba14bd5fd5683ac1094f7981b122d908442fa6cd1ca460ffbf49e7e162fbc0d25280c78297ab4f7026a04448422da8e376ebb2b359d6c7be1ec1a660d07dfa82ac8c2d89f04fa02cb3a86a2066188f92895f2f42dc2f6f7e5713067a14a925a02fdffdcb99f7ad1df29281d3120d1196595b53b22a386a3eae6043435445f140976aafc537cbad06c46ca5ad2b16a7da0c4bd45ac880aef87078e7347cb464f0db47c51e064400751c2f032fd0fb92d8e4cf42c5bdda442d7a3c28e3dce3bdd10d8e014089f3a9ddc8c56dd154fe487beaf0ac01e73da68271378808786e69b1b709cfdd5666f53d46c569c965ea013a17e733efa740beddb8e56183138db1723e68dc91a3c893c7d05439388d387ed0fbeb19c7e996083b39858b07762a87c21ae07df5ea0fe21cb4974dc52d4e21553864af5e7d7042bfd0703aed1cf80171006aec8456ef123dc1ae4ec805c9d301f0dfe4788a0c5c599ff7a3ed17390bb1f260665e92e3647d7b89fab2681bc7237943c4b45243f68705d53c2ce8e4c5303b8ae78d556d0c4a1efaa48aedbb7feef62a27332a462fbd4e7dff75f3df8d92ea73b5afcc5a42c1a564bcdd99f2dcfe8e0c9873fa0470753900a20f7e01bcd1b3e6c62b2f8cdbd7de3068b7f5dcbfd6c0e9a511baccef6c7adfc41dee3f2dd2bb2409707d3d21594e3f425f6f6873b5245ec7dd2473b9b14b7f80576e776f3068e65e12da6663c8fff51ab2cdf1960225945dea081c5a38231f62439ad08032e4131a32f5b70566b1b86b7fb0138d4e2497621d71b31580ec36043f2c57330190c8b7d5a408a9ca109ae6dc5b90c6f86b4c15d54d2da991591369cb03c3d9c0c5030e89f7de4a5b6e7975fad4d321b1e01863dc0dbe8d49517006c7587a38b"; - bytes32 vKey = bytes32(0x004e167a367ef584f118c2fac6ffdda82e5349913a165703fb1895f0da412bff); + hex"1b34fe11280520b1b0825805dec273da83c5b9ca82b9c7c705bc61ba238c68d208152c7026bb3ddae13e13dd26ab7209813731305383f5342ced5984ed0c9244c32375b42d23c99c3e423a7983c4974f1a61e8bd0f76a6be5f9cb562d70a54e93d0511a225b96b0e180ffbb7f782798b5ac3c8c926d7b4e8d2a585936d96b67f094c7e7702649013cb970c69af4c2ac100eec7832fb7f42416e1d0b9addb41a805085c74081c28bc0baa90398d7bfad7fd51def40e5536448943787ab671bd27d691a81f1d388fc4491158e220262c45328c6fc9fa02a5847798c54281c8a2b25fa2e6c02bda153ed705c1d420cb68bb7b407cbf04bf721e1b0be0da60bbe84fd378b2d91c52de38a6e43ec9c2822762138bf1739fc5b6545cc68a8c4b779ef7becef09b01d52c34911395e1e051cefe8ad81d32d8c3af332bf4d1d0b2111131600aea0f01c721ec8ce6bdc5e938834cfc732b99f39f56b98a56f6a530000d6eae33442504f9cd8eda82f1c57492d2179632ae87654d4af618eaba05b93f038e329790c52355cc1de1293c05142a60e35b5b06d9cbaedf9b4c9dbdb2e02dea0768aefb8f21a2c0b6e38237ce63c2ad14a47873785dc69ef3a0e7fc89c3c183b4bc949d95177c7983905856234978ac4cbc3fc195fc8c2868496ca44bb85742e5367dc9340c41f941b67ef002a984ec84483c4ffbb1d0f6816aee6896a168f44a356c8ab30ae02fc12f5cf349a1ca21f8e068915e6201a4103134ca191eb8cd121679340e23cf7c52bed3cdae355a4a28fb7e73312df109f7db12a5ed2c5c32336f398f3b20d7cd156ff16fbc43f3aae2daee4e193a290e62ee060bf15656dbcbdc1b5e2301a7eab60766f7cbdea648012ff5e0927e15e67841563b8e496c1d2e642d7bf210d63c50a3bf42b066432d9015f1ca08154f41000e8eae64868f8d1e18d016f619532981ffc3a4a5385d3868fa09c567f237a0edaf9b4b4db8bfff3c2e2a2d1629d413fbe860363e2daf4e3c85d048a34d5164b57f2d4c5190d958617732915b28db9585dfe4d5a92dbbc3e23e0dde9b18257deabc3bdfdec0bc93cc9da60ede1c320ad60b2b4cb414a13556407792549a8eb7fa32f51e1c98ccad56fa5077932be2f5daf75e3e6c73ef38fff0f537d292bea5410dca40bac3f7fd4a3ace99cb297c1be62e5e95661215f27a702831421f611b789a59c103edebe477b532e931"; + bytes32 vKey = bytes32(0x00dfac9a61cdc96d58296817c977da485dfdfd5cc0900b00d839dfd22a34748b); console2.logBytes(abi.encodePacked(vKey, sp1Proof)); // TierProof TaikoData.TierProof memory proof = @@ -79,20 +80,20 @@ contract SuccinctVerifierTest is TaikoL1TestBase { { // Context ctx = IVerifier.Context({ - metaHash: bytes32(0xd7efb262f6f25cc817452a622009a22e5868e53e1f934d899d3ec68d8c4f2c5b), - blobHash: bytes32(0x015cc9688f24b8d2195e46829b3f726ce006884d5fd2760b7cf414bab9a1b231), + metaHash: bytes32(0xa0c8136633dff06ad1f03ed6fbb277096e6cae13f39e02ac1cff397b22aafeac), + blobHash: bytes32(0x0143051e11b9886c061ccb939bf7317cee20378f0d3ac8d1930140f1ba42d99f), prover: address(0x70997970C51812dc3A010C7d01b50e0d17dc79C8), msgSender: address(0), - blockId: 223_248, //from mainnet + blockId: 749_050, //from mainnet isContesting: false, blobUsed: true }); // Transition transition = TaikoData.Transition({ - parentHash: 0x317de24b32f09629524133334ad552a14e3de603d71a9cf9e88d722809f101b3, - blockHash: 0x9966d3cf051d3d1e44e2a740169627506a619257c95374e812ca572de91ed885, - stateRoot: 0x3ae3de1afa16b93a5c7ea20a0b36b43357061f5b8ef857053d68b2735c3df860, + parentHash: 0xaa47a56db9be323d923a56002612b168ba73621a98269835e768ec48799fcc95, + blockHash: 0x405a8978474fbe72d40fa4e2fc6b2edfcc0d439002c6d941ac1385a5a349535d, + stateRoot: 0xadbeff96af5a990b979135850926fdd7c0d9c5af967e12e60d7b2a473fcf04c9, graffiti: 0x8008500000000000000000000000000000000000000000000000000000000000 }); } @@ -104,11 +105,11 @@ contract SuccinctVerifierTest is TaikoL1TestBase { // proof generation elf vk digest which is not a bn254 hash // but a sha256 hash from the same Sp1Verifykey. sp1.setProgramTrusted( - bytes32(0x270b3d1b1fbd613c23185f586ffdda82729a4c8968595c0f76312be15a412bff), true + bytes32(0x6fd64d3073725b56052d02f9177da4856fefeae602402c033073bfa42a34748b), true ); // proof aggregation elf sp1.setProgramTrusted( - bytes32(0x00d5ff4ed163b73e75aa1f60c399b3c778df24abe584fc6eee1ce5c444b74bcd), true + bytes32(0x004d3bbf89c01e56c34beec7b553675bdad5345addf094dd79afbcae0708cae7), true ); vm.startPrank(address(L1)); @@ -116,39 +117,39 @@ contract SuccinctVerifierTest is TaikoL1TestBase { // Context IVerifier.ContextV2[] memory ctxs = new IVerifier.ContextV2[](2); ctxs[0] = IVerifier.ContextV2({ - metaHash: 0x207b2833fb6d804612da24d8785b870a19c7a3f25fa4aaeb9799cd442d65b031, - blobHash: 0x01354e8725e60ad91b32ec4ab19158572a0a5b06b2d4d83f6269c9a7d068f49b, - prover: 0x70997970C51812dc3A010C7d01b50e0d17dc79C8, + metaHash: bytes32(0xa0c8136633dff06ad1f03ed6fbb277096e6cae13f39e02ac1cff397b22aafeac), + blobHash: bytes32(0x0143051e11b9886c061ccb939bf7317cee20378f0d3ac8d1930140f1ba42d99f), + prover: address(0x70997970C51812dc3A010C7d01b50e0d17dc79C8), msgSender: 0x70997970C51812dc3A010C7d01b50e0d17dc79C8, - blockId: 393_333, + blockId: 749_050, isContesting: false, blobUsed: true, tran: TaikoData.Transition({ - parentHash: 0xce519622a374dc014c005d7857de26d952751a9067d3e23ffe14da247aa8a399, - blockHash: 0x941d557653da2214cbf3d30af8d9cadbc7b5f77b6c3e48bca548eba04eb9cd79, - stateRoot: 0x4203a2fd98d268d272acb24d91e25055a779b443ff3e732f2cee7abcf639b5e9, + parentHash: 0xaa47a56db9be323d923a56002612b168ba73621a98269835e768ec48799fcc95, + blockHash: 0x405a8978474fbe72d40fa4e2fc6b2edfcc0d439002c6d941ac1385a5a349535d, + stateRoot: 0xadbeff96af5a990b979135850926fdd7c0d9c5af967e12e60d7b2a473fcf04c9, graffiti: 0x8008500000000000000000000000000000000000000000000000000000000000 }) }); ctxs[1] = IVerifier.ContextV2({ - metaHash: 0x946ba1a9c02fc2f01da49e31cb5be83c118193d0389987c6be616ce76426b44d, - blobHash: 0x01abac8c1fb54f87ff7b0cbf14259b9d5ee7a8de458c587dd6eda43ef8354b4f, + metaHash: 0xd385182abb3db17267b32b4e475c5ed9306f52107a8f8cc5309f13af0af3b2a8, + blobHash: 0x0181040be344c40efb3f4cfd9df5ba02c8474e6c18e15d959ab345de1ee264b7, prover: 0x70997970C51812dc3A010C7d01b50e0d17dc79C8, msgSender: 0x70997970C51812dc3A010C7d01b50e0d17dc79C8, - blockId: 393_334, + blockId: 749_051, isContesting: false, blobUsed: true, tran: TaikoData.Transition({ - parentHash: 0x941d557653da2214cbf3d30af8d9cadbc7b5f77b6c3e48bca548eba04eb9cd79, - blockHash: 0xc0dad38646ab264be30995b7b7fd02db65e7115126fb52bfad94c0fc9572287c, - stateRoot: 0x222061caab95b6bd0f8dd398088030979efbe56e282cd566f7abd77838558eb9, + parentHash: 0x405a8978474fbe72d40fa4e2fc6b2edfcc0d439002c6d941ac1385a5a349535d, + blockHash: 0x8547cf9c2eb9ead5ab55c02d92b9f712ebbc6bbf92915869609016779bf302ef, + stateRoot: 0x5c37ab91105743f67e5508ae8f4f6f01c44a4ad21da52637bbaf792eba57cf66, graffiti: 0x8008500000000000000000000000000000000000000000000000000000000000 }) }); // TierProof bytes memory data = - hex"00d5ff4ed163b73e75aa1f60c399b3c778df24abe584fc6eee1ce5c444b74bcd270b3d1b1fbd613c23185f586ffdda82729a4c8968595c0f76312be15a412bff54bdcae3236b956a67d15b4682d972d50fbb3632ac950bd712dad2d4cc9c302856c11e6c2ed6722fc3e4904ed204eb05a9f32bae3f8e7d4fbdd854c3d269a33e601c39c90d02026cdcdd55268090e316df3ffc0eee6de2765eb0d767f1455cd35af89da20ade1e61dc074884d5317f0206abb720acf8c023d2740b41fe37f2cb00fe561725269f4321543b30d528ee3e8884ea493fc6b1629e9a7537e65353fb0afd7e8021d502cb556e7a2b600e859f3fc524ad681df470d8d0ccc463775434ca56de661b34a3b620726aed8affc8a90d7b798a92d6500dacd9fb7d43a37c301d70e59d2d192fa85b2f6689bd9a6d47df9ea45163a228c8291e8d6d0ed5d7d7be8bd6391d6496989df139eaff5fca0f9d47eccad8ff6fb7aa0b8bb3da8e73fa4ff825d208b0ce5a639f30501f200c12f8fa1bf5c4ac42c4a58ceb34bbb3b012121f6ff31ed772d57c421a75813f987888e7e3b984bff8465bbfbdd30d45fae9904816a21c99ca4a903ed19af479d4ce0a1b4e78e2a9b3bdb8dde8986e8f028da0dd37e3129a184b4d36427d130075802421e5c693297f4705a030454b105b91f3ce8be111967dd8016ec9aed42e42ed3ab53e1dc42a0b796557e05b658203ae972378db1a109898a02ac97adfe3d5b24e1ab0d49f7702b69d137e23264e5b2c5b6e72fc2b2a4562b793a2c00ead94de8890700aa3c2fe5baf59ab8b7f524d38ba3b71712151edd00307dc3c9f24ea9d1bbac6687c8f30dbe845663f7aaddaec9df8d1fd15ced22fa58272184fe02aad68fd5a90ee249fced2ef955c0af40e02be0621e7162413e629b4428cb929d0a2bd87375dcec17664fec3a5a6cd2f7039723d41f10b77f5f3b7b052db1043c302795d3d739eecd2d2f686c2c474dcc67d9e844ca50bdabc7ac085aeb02aff0b3cbf17aaa0114ba85eff4a938d87db17680a5995a90347b2a5eccaeeb1be204a6dd83da39fe9485822667a43d4a5451f494063075007f152eeb46e0bad0675cf6219b53b36b1ca474f13f6dae87d1efad3c71f89cd05a04a6c76f6703858650a5fd6e2b45be3bf299386595d8eca6c8c55d537e8b3263828c7be68c92bdae0be0ed101f89c0c4c16154867228dc47ff0a4fccb4bb72b7cf8aa2c4a9bd4fd01254e51a7fbf680f408b5ae9c189466625b0f41636d94060e805eb6da30eab1202b65d8226918c4b99a73a6874089dbc5eac08cfab3d7"; + hex"004d3bbf89c01e56c34beec7b553675bdad5345addf094dd79afbcae0708cae76fd64d3073725b56052d02f9177da4856fefeae602402c033073bfa42a34748b1b34fe112b89047863e8359c941412fe6917b175d2f2bfcf19a15ae94a3e8507d65421411c970709a64de649185b10028c219920a9ca3f6f9c1025a0f257037c04e5ee851ae62e8cb43f445b755080b8b70c3e13e1e54498425b6ebb13bccd35f477c87c2d7ed662ef7d81081dba559aeeb68fa0b4e11d8b6f6b3950ab63af9ec5d49bc82bdfd806c3b08360bfed2f9cdace70ab0052ab1354b36731bdd1bebe4b1525cf17c7488cf82d7ab917f71b0f369f88e96fd5efc627a9747d039a0975de58311b2bf4211c68693d3538419a661f2c9fe7e4e8a8105fc1eaa1378665dad714477f0a6f71b4739c7d9d86a6ac9df2ddd42e3e887852138023a9d00cf5ae13b1252c137b9adb5c9691034ccf15f03dec77c8d9434c0e4814b766703886d3bcb87c780888dc8bcebd53fd34e51f69dcd8df122bef2c7bb5ee4fe7353dbe6d7484a4900ac4b769b883b1f6535f3248802d899a26ed9935e6958401c30c89c549deecb41534f16afd675b4076cdfd076ea7b6fcc0ec3a7e724f8dcdc9a4c5f88f8497c125479e465ebaf464e4fef5536ac9fa9a8917d1ee572429478077a2cf3371a22401fc34694210f9714ddff1028565c9ab2ee6a1bc8a95aa09b0197a5dc2a16ec32404031908a006e94e582fed32087193ee954f4e182282836c3e8b23a1e5bb740c0fcf29b797356803905e4e12c1c928b4269f034c6f92ab1da28ea09baec6de305dcf4f887d36053b6241c52bc7b4507efda81f97773bd641ed576dfeffa57218d10bd5e24720901f21327737508d58113b90ec691f93a533ddfd0a7dc9658014451083b9720245107f7f48a92f46133dd6a2b3e54907ae75dae216cd6bccfc07d62ff61f7ec17ec1b34ea98e701bfcaed544b02b54adcdb913c9d70413e70e1106bb981bffbafcb001b09cddac53edb3201ea71bd242fe1bd66233cc0adbb62fdc9efdd5f2416b3b8f7547b04bc5d172b33635f91fa6bc48f8d9dc0d400a8f194ad54bdbe815786c70c1aac3e304c2615bd7469c45165a96b7c1cab50969df114068631e8d46ae14058a6da10ef08ef8babe229e6523ffb278cd61ecd08d3f225bf2e21d411fc803adc9d281805cc5c5ecdeb086a585709c88f348b66f0ead1722d93e88b11d42098089a4ad333b7e72b1df781824f5215d73092b6f9c0e3a0e81ec5ec4f008246772e4fd61d3c1debfb8c7fbcdf1a5d0698eb3f24447c5d3"; TaikoData.TierProof memory proof = TaikoData.TierProof({ tier: 0, data: data }); // `verifyProof()` diff --git a/pnpm-lock.yaml b/pnpm-lock.yaml index f454ab0343e..d4be42c1b4c 100644 --- a/pnpm-lock.yaml +++ b/pnpm-lock.yaml @@ -443,14 +443,14 @@ importers: specifier: github:taikoxyz/p256-verifier#v0.1.0 version: p256-verifier#v0.1.0@https://codeload.github.com/taikoxyz/p256-verifier/tar.gz/6ef45b117642786b08a37b4c37c6a6ce151166da risc0-ethereum: - specifier: github:risc0/risc0-ethereum#v1.1.2 - version: risc0-ethereum#v1.1.2@https://codeload.github.com/risc0/risc0-ethereum/tar.gz/b8a14213d92fff07dacda993804e7edb7946ca58 + specifier: github:risc0/risc0-ethereum#v1.2.0 + version: risc0-ethereum#v1.2.0@https://codeload.github.com/risc0/risc0-ethereum/tar.gz/3c1fd2a859e40ea009a580aac294191196968c60 solady: specifier: github:Vectorized/solady#v0.0.231 version: https://codeload.github.com/Vectorized/solady/tar.gz/a12a2575c899a328c1bafdada632dabbff27cf6b sp1-contracts: - specifier: github:succinctlabs/sp1-contracts#v3.0.0 - version: sp1-contracts#v3.0.0@https://codeload.github.com/succinctlabs/sp1-contracts/tar.gz/1c4acaeab86789995ae5c6baced66f81e4a57f4d + specifier: github:succinctlabs/sp1-contracts#v4.0.0-rc.3 + version: sp1-contracts#v4.0.0-rc.3@https://codeload.github.com/succinctlabs/sp1-contracts/tar.gz/0885c34b525708ed5f7e87a3d7b20c42564b4c00 devDependencies: '@types/node': specifier: ^20.11.30 @@ -11101,8 +11101,8 @@ packages: ripemd160@2.0.2: resolution: {integrity: sha512-ii4iagi25WusVoiC4B4lq7pbXfAp3D9v5CwfkY33vffw2+pkDjY1D8GaN7spsxvCSx8dkPqOZCEZyfxcmJG2IA==} - risc0-ethereum#v1.1.2@https://codeload.github.com/risc0/risc0-ethereum/tar.gz/b8a14213d92fff07dacda993804e7edb7946ca58: - resolution: {tarball: https://codeload.github.com/risc0/risc0-ethereum/tar.gz/b8a14213d92fff07dacda993804e7edb7946ca58} + risc0-ethereum#v1.2.0@https://codeload.github.com/risc0/risc0-ethereum/tar.gz/3c1fd2a859e40ea009a580aac294191196968c60: + resolution: {tarball: https://codeload.github.com/risc0/risc0-ethereum/tar.gz/3c1fd2a859e40ea009a580aac294191196968c60} version: 0.0.0 rlp@2.2.7: @@ -11444,8 +11444,8 @@ packages: resolution: {integrity: sha512-l3BikUxvPOcn5E74dZiq5BGsTb5yEwhaTSzccU6t4sDOH8NWJCstKO5QT2CvtFoK6F0saL7p9xHAqHOlCPJygA==} engines: {node: '>= 8'} - sp1-contracts#v3.0.0@https://codeload.github.com/succinctlabs/sp1-contracts/tar.gz/1c4acaeab86789995ae5c6baced66f81e4a57f4d: - resolution: {tarball: https://codeload.github.com/succinctlabs/sp1-contracts/tar.gz/1c4acaeab86789995ae5c6baced66f81e4a57f4d} + sp1-contracts#v4.0.0-rc.3@https://codeload.github.com/succinctlabs/sp1-contracts/tar.gz/0885c34b525708ed5f7e87a3d7b20c42564b4c00: + resolution: {tarball: https://codeload.github.com/succinctlabs/sp1-contracts/tar.gz/0885c34b525708ed5f7e87a3d7b20c42564b4c00} version: 0.0.0 space-separated-tokens@2.0.2: @@ -11648,6 +11648,7 @@ packages: sudo-prompt@9.2.1: resolution: {integrity: sha512-Mu7R0g4ig9TUuGSxJavny5Rv0egCEtpZRNMrZaYS1vxkiIxGiGUwoezU3LazIQ+KE04hTrTfNPgxU5gzi7F5Pw==} + deprecated: Package no longer supported. Contact Support at https://www.npmjs.com/support for more info. superstruct@1.0.3: resolution: {integrity: sha512-8iTn3oSS8nRGn+C2pgXSKPI3jmpm6FExNazNpjvqS6ZUJQCej3PUXEKM8NjHBOs54ExM+LPW/FBRhymrdcCiSg==} @@ -28041,7 +28042,7 @@ snapshots: hash-base: 3.1.0 inherits: 2.0.4 - risc0-ethereum#v1.1.2@https://codeload.github.com/risc0/risc0-ethereum/tar.gz/b8a14213d92fff07dacda993804e7edb7946ca58: {} + risc0-ethereum#v1.2.0@https://codeload.github.com/risc0/risc0-ethereum/tar.gz/3c1fd2a859e40ea009a580aac294191196968c60: {} rlp@2.2.7: dependencies: @@ -28588,7 +28589,7 @@ snapshots: source-map@0.7.4: {} - sp1-contracts#v3.0.0@https://codeload.github.com/succinctlabs/sp1-contracts/tar.gz/1c4acaeab86789995ae5c6baced66f81e4a57f4d: {} + sp1-contracts#v4.0.0-rc.3@https://codeload.github.com/succinctlabs/sp1-contracts/tar.gz/0885c34b525708ed5f7e87a3d7b20c42564b4c00: {} space-separated-tokens@2.0.2: {}