assumeNotPrecompile
签名
function assumeNotPrecompile(address addr) public;
function assumeNotPrecompile(address addr, uint256 chainid) public;
描述
使用 assume 来从模糊测试中过滤预编译地址。
可选地，可以指定 chainid 来过滤在相应链上已知的预编译。
注册表
这些都是已知的 assumeNotPrecompile 函数的所有预编译地址。
| Chain ID | Address | Name |
|---|---|---|
| ALL | 0x01 | ECRecover |
| ALL | 0x02 | SHA-256 |
| ALL | 0x03 | RIPEMD-160 |
| ALL | 0x04 | Identity |
| ALL | 0x05 | ModExp |
| ALL | 0x06 | ECAdd |
| ALL | 0x07 | ECMul |
| ALL | 0x08 | ECPairing |
| ALL | 0x09 | Blake2F |
| ALL | 0x0a | PointEvaluation |
| 10, 420 | 0x4200000000000000000000000000000000000016 | L2ToL1MessagePasser |
| 10, 420 | 0x4200000000000000000000000000000000000002 | DeployerWhitelist |
| 10, 420 | 0xDeadDeAddeAddEAddeadDEaDDEAdDeaDDeAD0000 | LegacyERC20ETH |
| 10, 420 | 0x4200000000000000000000000000000000000006 | WETH9 |
| 10, 420 | 0x4200000000000000000000000000000000000007 | L2CrossDomainMessenger |
| 10, 420 | 0x4200000000000000000000000000000000000010 | L2StandardBridge |
| 10, 420 | 0x4200000000000000000000000000000000000011 | SequencerFeeVault |
| 10, 420 | 0x4200000000000000000000000000000000000012 | OptimismMintableERC20Factory |
| 10, 420 | 0x4200000000000000000000000000000000000013 | L1BlockNumber |
| 10, 420 | 0x420000000000000000000000000000000000000F | GasPriceOracle |
| 10, 420 | 0x4200000000000000000000000000000000000015 | L1Block |
| 10, 420 | 0x4200000000000000000000000000000000000042 | GovernanceToken |
| 10, 420 | 0x4200000000000000000000000000000000000000 | LegacyMessagePasser |
| 10, 420 | 0x4200000000000000000000000000000000000014 | L2ERC721Bridge |
| 10, 420 | 0x4200000000000000000000000000000000000017 | OptimismMintableERC721Factory |
| 10, 420 | 0x4200000000000000000000000000000000000018 | ProxyAdmin |
| 42161, 421613 | 0x0000000000000000000000000000000000000064 | ArbSys |
| 42161, 421613 | 0x000000000000000000000000000000000000006E | ArbRetryableTx |
| 42161, 421613 | 0x000000000000000000000000000000000000006C | ArbGasInfo |
| 42161, 421613 | 0x0000000000000000000000000000000000000066 | ArbAddressTable |
| 42161, 421613 | 0x000000000000000000000000000000000000006F | ArbStatistics |
| 42161, 421613 | 0x00000000000000000000000000000000000000C8 | NodeInterface |
| 42161, 421613 | 0x0000000000000000000000000000000000000067 | ArbBLS |
| 42161, 421613 | 0x0000000000000000000000000000000000000065 | ArbInfo |
| 42161, 421613 | 0x000000000000000000000000000000000000006D | ArbAggregator |
| 42161, 421613 | 0x0000000000000000000000000000000000000068 | ArbFunctionTable |
| 433114, 43113 | 0x0200000000000000000000000000000000000000 | ContractDeployerAllowListAddress |
| 433114, 43113 | 0x0200000000000000000000000000000000000001 | ContractNativeMinterAddress |
| 433114, 43113 | 0x0200000000000000000000000000000000000002 | TxAllowListAddress |
| 433114, 43113 | 0x0200000000000000000000000000000000000003 | FeeConfigManagerAddress |
| ALL | 0x4e59b44847b379578588920cA78FbF26c0B4956C | (Foundry) Create2Deployer |
| ALL | 0x7109709ECfa91a80626fF3989D68f67F5b1DD12D | (Foundry) VM |
| ALL | 0x000000000000000000636F6e736F6c652e6c6f67 | (Foundry) Console |
保留范围
一些链还包括预编译合约的保留范围。
| Chain ID | Start | Stop |
|---|---|---|
| ALL | 0x00 | 0xff |
| 433114, 43113 | 0x0100000000000000000000000000000000000000 | 0x01000000000000000000000000000000000000ff |
| 433114, 43113 | 0x0200000000000000000000000000000000000000 | 0x02000000000000000000000000000000000000ff |
| 433114, 43113 | 0x0300000000000000000000000000000000000000 | 0x03000000000000000000000000000000000000ff |