tools/prove-fixtures: a one-node simnet on ports 29300+ and a generator that lands bursts of equal-sized modexp calls, transfers and Counter increments in one chain block (blocks 338, 341, 344: 0.90, 1.80 and 3.60 S_p). block-56-transfers-3shards is a test cut at 200 pgas for the Mac CPU multi-shard check. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
389 lines
No EOL
13 KiB
JSON
389 lines
No EOL
13 KiB
JSON
{
|
|
"format": "igneum-prove-fixture-v1",
|
|
"source": "tools/evm-smoke/seq.json (3 October 2026 simnet export), block 56 cut at a TEST budget of 200 pgas: three shards of one transfer each, for the Mac CPU multi-shard check",
|
|
"block": {
|
|
"chain_id": 4463,
|
|
"env": {
|
|
"number": 56,
|
|
"hash": "0xc47bacc89a3318140e66912717b958057bdbe72c337162a0667a0bbf44670a22",
|
|
"parent_hash": "0x2bcabda995747c4221658d177995a64c94bc92202b02b8ef83b8bfd9cdb5709a",
|
|
"timestamp": 1791064849,
|
|
"miner": "0x70997970c51812dc3a010c7d01b50e0d17dc79c8",
|
|
"prevrandao": "0x17919bfdc85b8b923bd674ac408b5ed0644e22fe2c7a8e19d9fc2197388270ee",
|
|
"base_fee_exec": 1000000000,
|
|
"base_fee_proving": 1000000000
|
|
},
|
|
"block_hashes": [
|
|
[
|
|
0,
|
|
"0x3c19f19d3d77bfc2f367482eb7f28aa907ca5d31470c7d7722a68f44436236d5"
|
|
],
|
|
[
|
|
1,
|
|
"0x4a86d6afa55fa5a073e43a5f5d3ac423edcfa6f7815690eb23f9a090b20395bc"
|
|
],
|
|
[
|
|
2,
|
|
"0x07b68c40a8a8eb6826442d9cca7dbd08882a0c02130ea6ee7eaf7f729e081ea3"
|
|
],
|
|
[
|
|
3,
|
|
"0xf15ad0bcceb161e14082f4163c44a8134dd587f192c8dd1737db00c6db24fa1b"
|
|
],
|
|
[
|
|
4,
|
|
"0x22212b7c5792ff6743f48caa1ba1f0587772723cb7ae1572485bb73e42242c16"
|
|
],
|
|
[
|
|
5,
|
|
"0x32968867f32f5ad1580f834fbad5cdc07ab96df4d3346b4251893a5d3bb719b6"
|
|
],
|
|
[
|
|
6,
|
|
"0xa1548b817ef1c597ad91064886d3a00b86ec5aa57889d085881329d584ed3214"
|
|
],
|
|
[
|
|
7,
|
|
"0x52f35b7d71efaa3181660b0e0689e19be5996dfd0b52bba0518dc8ab099be968"
|
|
],
|
|
[
|
|
8,
|
|
"0xcb602a65d6788ea471038522506dfbec15775183d0fb552f7d0ab03ea95315ef"
|
|
],
|
|
[
|
|
9,
|
|
"0xa7a0015c122f749591ae5c4b6fae8a035cba2e3c0f4500d6c915a61f4f534c74"
|
|
],
|
|
[
|
|
10,
|
|
"0x3efdfcdc9fac9b0df2eb6fadae9deaada5abbcc3a2436164b3b061743f4c2aa5"
|
|
],
|
|
[
|
|
11,
|
|
"0x49c9f846adc3f61685d0075efa3d05aa29fcb2dad02d9e6f415508fa2adc23f1"
|
|
],
|
|
[
|
|
12,
|
|
"0xe084f75979bb4a34958883d0b599262c7719669119c88b3ce015500473ecac91"
|
|
],
|
|
[
|
|
13,
|
|
"0x9653df5f568099056e6d33bb79364dcb4c9760383b5f4f208bb9a14db1c156c4"
|
|
],
|
|
[
|
|
14,
|
|
"0xf65af06e2edf1ac8443992bd5affbf5f244a3b2ca2b572b6a7bea5ae1b1b9e60"
|
|
],
|
|
[
|
|
15,
|
|
"0xa7b1e86b1a99ab38f127637a4fdaf25ee1c18ceb294ef136f4bbf3c53321e29a"
|
|
],
|
|
[
|
|
16,
|
|
"0xac94a12363cf3e35e43c8a7aed2982c0f4445328c3349aa5cab232ad20f24600"
|
|
],
|
|
[
|
|
17,
|
|
"0xd97973cba8dbac8b5396738bef29e467459311305de6236af3a601916bf1a299"
|
|
],
|
|
[
|
|
18,
|
|
"0x345a0f4a3ca21c93f5a6b3bb951f189952a2b784ecebad164e1160ab376f1527"
|
|
],
|
|
[
|
|
19,
|
|
"0x1907dccf859a86a20eb9513067dfe4c1177b2ce642d82fe9a5242d0e64203fa9"
|
|
],
|
|
[
|
|
20,
|
|
"0x99bdf35872ec2463997ecbb94bc6cecf680988ad699b39b5c1649ffa266f4f15"
|
|
],
|
|
[
|
|
21,
|
|
"0xc25536e978e34a83736ef5e87a5cf062500a51fde4df9100d97e04e304f91654"
|
|
],
|
|
[
|
|
22,
|
|
"0x20359d647025b3ea156c71cf0007d5a39f23c5068f0ee6435b1cb6ca335181bb"
|
|
],
|
|
[
|
|
23,
|
|
"0xdc00a977d7ab0de248df07e386a08a3f0aa783d8fca5cff812a9f6c0afa84b61"
|
|
],
|
|
[
|
|
24,
|
|
"0x0387da8a2db5a44b05b1d162b2f2e25b6a060c285e1cb0492786a4110563442a"
|
|
],
|
|
[
|
|
25,
|
|
"0xce9c2c622ef827835d61481601d6c7474049b1edf4fd50ac37dca99f3e5d3724"
|
|
],
|
|
[
|
|
26,
|
|
"0x91be3e06f9c1f04fd204b0beb565cfab959ad68e8a07bc13d441cd20857a89aa"
|
|
],
|
|
[
|
|
27,
|
|
"0xa594a87329e8851172922cbe32a66090a65643d05f288a2d5e6e05e7ed1b5ffe"
|
|
],
|
|
[
|
|
28,
|
|
"0x438e92d3336e081c0267e25cf6d43adaf4d75e2f20774cb27840e3e2962e25e8"
|
|
],
|
|
[
|
|
29,
|
|
"0xac8d447d138ea8f010fc962da698356659f6c441a5688e32701960e8b16a9cb0"
|
|
],
|
|
[
|
|
30,
|
|
"0xeb78fbb06f42d7f8d759175d047b0dc293a56a9222028b2643bfb9ffc91fe3fd"
|
|
],
|
|
[
|
|
31,
|
|
"0x2016f52e3826d3d5907d42b6d649c6dd3440d7411f457c2b116b42e615f3bbf2"
|
|
],
|
|
[
|
|
32,
|
|
"0x7af660fa94b6e49b36a4d269180257825ba18f48e7e3c30cafb416bc9ce3ab12"
|
|
],
|
|
[
|
|
33,
|
|
"0xba45eec95775faf276121cfe8d3a692669a8bbfd39150938ea9511e90cce8b80"
|
|
],
|
|
[
|
|
34,
|
|
"0x1aaf31c0fe17670291225b49f0de8fae2a98f36eadafac443727bd106f77391b"
|
|
],
|
|
[
|
|
35,
|
|
"0x6fa7a464f1db6e720e134916cdaff8ec67bcd60a2a82d1e2aa2f534a07cc73a4"
|
|
],
|
|
[
|
|
36,
|
|
"0x0cb1b93c07ed8bf63bf31d123693c6dbfaf064277d66c254c2939c1e2921d8b8"
|
|
],
|
|
[
|
|
37,
|
|
"0x667183be90efad8b5bff455105274d7658d7c9c67baf4ab79520fcd62e33f27e"
|
|
],
|
|
[
|
|
38,
|
|
"0x99443a3696a07ee284b2adc97f28ba26b9883f5e4d50f71aa34f63ded0aa5758"
|
|
],
|
|
[
|
|
39,
|
|
"0xc89aabcb55b61130db52f88d5af03695c36d42ce5f5b1952c0c2a7f3142199ce"
|
|
],
|
|
[
|
|
40,
|
|
"0x63810d97fe61474ba493d0110349c1ebd39b0d61f8c19c6e65e889dffbe1d4d5"
|
|
],
|
|
[
|
|
41,
|
|
"0xe64882be5742249b50f8c2e119d6accb5ab9fe0a154978adadc14c20b1caba6e"
|
|
],
|
|
[
|
|
42,
|
|
"0xba4d1aed4f8f7a8e40ed4b8b9cb9951d9f62649f878d5ec8f55995cdd2d0ec2d"
|
|
],
|
|
[
|
|
43,
|
|
"0x6dc5c802d8a7a93a97d0623a649bbc67e38555b7d5a0c377c9e17c9279b58de8"
|
|
],
|
|
[
|
|
44,
|
|
"0x4a27daba79ed1ab3b40a6779cbffeb3d67911757f84f4f88ff0bd27572e1f46a"
|
|
],
|
|
[
|
|
45,
|
|
"0x7ba691e30c75946d7cd64f1f01eb9f94b0008e36eba673c6451ad393718bcbab"
|
|
],
|
|
[
|
|
46,
|
|
"0x82386a81343d8dfde805e65467a7877402218706a1bcc1da51de39957e231246"
|
|
],
|
|
[
|
|
47,
|
|
"0x65280d664a84f064129bef2f8373b914e50a9217fd00b09c51cb5e0ef5f257b9"
|
|
],
|
|
[
|
|
48,
|
|
"0x63a0982dda5fa15ed9c80c605557074714623ec147d7df0a3bd7972c11064505"
|
|
],
|
|
[
|
|
49,
|
|
"0x28fbf32967958aa4cd52dc8566bc32c64ca82ef827bcd83c02b45c38497ec37a"
|
|
],
|
|
[
|
|
50,
|
|
"0xcf06be7d297655c02c6f4a80dfa4b456a9686e4646c9c69d8b3c9b7fe9e074fc"
|
|
],
|
|
[
|
|
51,
|
|
"0x112543d5da2a348f6d626eeb7d2fa45476908d413f28feb64596f4587ca6e5dd"
|
|
],
|
|
[
|
|
52,
|
|
"0x3eb5dd755cdab699c0c38e325503e0b676c200237ab2a7cbe938cb12375db7dc"
|
|
],
|
|
[
|
|
53,
|
|
"0x8c7d74fa5d4cf80d23ba0376dafe5970bd30fdc5bfc278374b265aba4f15517d"
|
|
],
|
|
[
|
|
54,
|
|
"0x17eabdf92dfb31db69542e9895cfe59091445b4dbf456a9c87f8a27efa4efac0"
|
|
],
|
|
[
|
|
55,
|
|
"0x2bcabda995747c4221658d177995a64c94bc92202b02b8ef83b8bfd9cdb5709a"
|
|
]
|
|
],
|
|
"rewards": [
|
|
[
|
|
"0x062c1140fbe5b04868ddd71c2993895d9381eec0",
|
|
"0x2331846aef26d800"
|
|
],
|
|
[
|
|
"0x70997970c51812dc3a010c7d01b50e0d17dc79c8",
|
|
"0x2331846aef26d800"
|
|
],
|
|
[
|
|
"0x70997970c51812dc3a010c7d01b50e0d17dc79c8",
|
|
"0x2331846aef26d800"
|
|
]
|
|
],
|
|
"proving_pool_credit": "0x1a65234cb54b4c00",
|
|
"blocks": [
|
|
{
|
|
"miner": "0x70997970c51812dc3a010c7d01b50e0d17dc79c8",
|
|
"blue": true,
|
|
"txs": [
|
|
"0x02f87482116f80843b9aca0084ee6b2800826324949965507d1a55bcc2695c58ba16fb37d819b0a4dc884563918244f4000080c080a00b405923e70a41d0838b38c1da30c365d1155108427959f6b5bde63267d8656aa05a55d368f8f8733b56e8a6249de42748eef8199affdf9bcf84d1fe4fd6d0286a",
|
|
"0x02f87482116f01843b9aca0084ee6b28008263249415d34aaf54267db7d7c367839aaf71a00a2c6a65884563918244f4000080c001a04e7d3f775d1ee2cf39ba90383fdfafcb420dedf6e50bb5a7e553ffc3b3213550a059d4a0f7875b5ced1f3418df3ba594aa4ad69bfa96ae672123f31a292adc8617",
|
|
"0x02f87482116f02843b9aca0084ee6b28008263249401d47ee52ebca6d0b0beac0f124acde471e0968a884563918244f4000080c080a04ee4d5c75e7066fe6825cfc51e4363a6c9b1391d9f6614751cb03e1b1346b840a03472a39140cb420fdb6136185d003154b5bc2aea956ba2cf4373d77ec14ad698"
|
|
]
|
|
}
|
|
],
|
|
"pre_state": [
|
|
{
|
|
"address": "0x0000000000000000000000000000000000000210",
|
|
"nonce": 1,
|
|
"balance": "0x0",
|
|
"code": "0x608060405234801561000f575f5ffd5b506004361061003f575f3560e01c8063aa67735414610043578063dea5c2e014610058578063fe7e05d51461009f575b5f5ffd5b6100566100513660046101e0565b6100ca565b005b610083610066366004610211565b6001600160a01b039081165f908152600160205260409020541690565b6040516001600160a01b03909116815260200160405180910390f35b6100836100ad366004610211565b6001600160a01b039081165f908152602081905260409020541690565b336001600160a01b03831614806100f957506001600160a01b038281165f908152600160205260409020541633145b6101635760405162461bcd60e51b815260206004820152603160248201527f446576656c6f70657252656769737472793a206e6f7420746865206163636f75604482015270373a1037b91034ba399031b932b0ba37b960791b606482015260840160405180910390fd5b6001600160a01b038281165f818152602081815260409182902080546001600160a01b031916948616948517905590513381527fa47563c41dab010f91a8ef9dc7ac2bcdfa0ef2af697e575048e71e6eec60dda3910160405180910390a35050565b80356001600160a01b03811681146101db575f5ffd5b919050565b5f5f604083850312156101f1575f5ffd5b6101fa836101c5565b9150610208602084016101c5565b90509250929050565b5f60208284031215610221575f5ffd5b61022a826101c5565b939250505056fea2646970667358221220cbf48f5aa6f911f83b3c2b09adf8c418f5da6fc530c3d5db9d4ba0be24c4bf5864736f6c63430008250033",
|
|
"storage": []
|
|
},
|
|
{
|
|
"address": "0x0000000000000000000000000000000000000220",
|
|
"nonce": 0,
|
|
"balance": "0x37878e392363d4000",
|
|
"code": "0x",
|
|
"storage": []
|
|
},
|
|
{
|
|
"address": "0x062c1140fbe5b04868ddd71c2993895d9381eec0",
|
|
"nonce": 0,
|
|
"balance": "0x4ac5a33ceab8a0800",
|
|
"code": "0x",
|
|
"storage": []
|
|
},
|
|
{
|
|
"address": "0x3c5f681b84cd6be1c07dd0c7c68701e9510f8359",
|
|
"nonce": 0,
|
|
"balance": "0x41f9f6c2a3e437000",
|
|
"code": "0x",
|
|
"storage": []
|
|
},
|
|
{
|
|
"address": "0x70997970c51812dc3a010c7d01b50e0d17dc79c8",
|
|
"nonce": 0,
|
|
"balance": "0x515e9f03438d0c800",
|
|
"code": "0x",
|
|
"storage": []
|
|
}
|
|
]
|
|
},
|
|
"plan": {
|
|
"shard_budget": 200,
|
|
"consensus": false,
|
|
"shards": [
|
|
{
|
|
"index": 0,
|
|
"tx_start": 0,
|
|
"tx_end": 1,
|
|
"over_budget": false,
|
|
"pre_root": "0xc9e0d33ba639d7144f8ffc6950ec21afb5933c88f61a1a1bdd6a957d5ca4025c",
|
|
"post_root": "0xd63a92a674e27bafc02b55388dab24e79a269d46a12663c06584c1ea97d3efbf",
|
|
"receipts_root": "0xf78dfb743fbd92ade140711c8bbc542b5e307f0ab7984eff35d751969fe57efa",
|
|
"link_in": "0x38046159e1bf364d16df7645adc5a18f254dd70ffab279ed30785b727b52a3d5",
|
|
"link_out": "0x73c5f1eb82c0ba6dd76d4887025a56a11bced056fe33854775d84cbecd1b4c94",
|
|
"gas_used": 21000,
|
|
"pgas_used": 200,
|
|
"executed": 1,
|
|
"skipped": 0,
|
|
"witness": [
|
|
4,
|
|
0,
|
|
5,
|
|
0,
|
|
4298
|
|
]
|
|
},
|
|
{
|
|
"index": 1,
|
|
"tx_start": 1,
|
|
"tx_end": 2,
|
|
"over_budget": false,
|
|
"pre_root": "0xd63a92a674e27bafc02b55388dab24e79a269d46a12663c06584c1ea97d3efbf",
|
|
"post_root": "0x929dfb9ab0dd152103ad36d112c63d77f2ebd8de701d3fd985c9a802f8d56f2a",
|
|
"receipts_root": "0x217a0db1c5c08d6caf281235d3a82f50e1562e705e952999afe9ff28a9493477",
|
|
"link_in": "0x73c5f1eb82c0ba6dd76d4887025a56a11bced056fe33854775d84cbecd1b4c94",
|
|
"link_out": "0x9f4aac60d43806816972635c0fbf25fd61c456789786ae5b10d8f12bd573cf46",
|
|
"gas_used": 21000,
|
|
"pgas_used": 200,
|
|
"executed": 1,
|
|
"skipped": 0,
|
|
"witness": [
|
|
2,
|
|
0,
|
|
1,
|
|
4,
|
|
3671
|
|
]
|
|
},
|
|
{
|
|
"index": 2,
|
|
"tx_start": 2,
|
|
"tx_end": 3,
|
|
"over_budget": false,
|
|
"pre_root": "0x929dfb9ab0dd152103ad36d112c63d77f2ebd8de701d3fd985c9a802f8d56f2a",
|
|
"post_root": "0x68cacfd393b00ead784a69b10d57a3e2dd57858029df107b529487a49f393b50",
|
|
"receipts_root": "0x1b3d74ad0d735d4fb25506867962805b18aaa255efad72c2250f7d32dd5902b5",
|
|
"link_in": "0x9f4aac60d43806816972635c0fbf25fd61c456789786ae5b10d8f12bd573cf46",
|
|
"link_out": "0x8def9d32e833c0f5496f335580916d2dd62a5712f45ab85b0982a049adfab94f",
|
|
"gas_used": 21000,
|
|
"pgas_used": 200,
|
|
"executed": 1,
|
|
"skipped": 0,
|
|
"witness": [
|
|
2,
|
|
0,
|
|
1,
|
|
5,
|
|
3720
|
|
]
|
|
}
|
|
]
|
|
},
|
|
"expected": {
|
|
"pre_state_root": "0xc9e0d33ba639d7144f8ffc6950ec21afb5933c88f61a1a1bdd6a957d5ca4025c",
|
|
"post_state_root": "0x68cacfd393b00ead784a69b10d57a3e2dd57858029df107b529487a49f393b50",
|
|
"receipts_root": "0x25e6b7af647c519a27cc13276a1e6abc46154b51414d174b072698df1f6c19df",
|
|
"tx_commitment": "0xfbae94c9c5a6c84aee5dd4df59d290f2786a0c38ecadb2e96254f1f9fc4e7b0e",
|
|
"gas_used": 63000,
|
|
"pgas_used": 600,
|
|
"executed": 3,
|
|
"skipped": 0,
|
|
"node_state_root": "0x68cacfd393b00ead784a69b10d57a3e2dd57858029df107b529487a49f393b50"
|
|
}
|
|
} |