igneum/proving/fixtures/block-78-increment.json

{
  "format": "igneum-prove-fixture-v1",
  "source": "tools/evm-smoke/seq.json, the igneum_exportSegments export of the 3-node simnet run of 3 October 2026 (execution-layer commit fb33069), replayed from genesis through igneum-prove-core at b7fca5a0; block 78 holds the increment(5) call on the Counter contract",
  "block": {
    "chain_id": 4463,
    "env": {
      "number": 78,
      "hash": "0x417c3cf92d45e6b6461daee2ffc7cd3311bfb18501f401d52b99f474b81cb84c",
      "parent_hash": "0xa57b5b2dfd917e18d10c9720ddcab77aaf260b747fdfd25ec7d25ce5b284caae",
      "timestamp": 1791064884,
      "miner": "0x70997970c51812dc3a010c7d01b50e0d17dc79c8",
      "prevrandao": "0xefa9c955f70c306850ec7d550e834d5aed613b0584e56174c6f4c1974cf99486",
      "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"
      ],
      [
        56,
        "0xc47bacc89a3318140e66912717b958057bdbe72c337162a0667a0bbf44670a22"
      ],
      [
        57,
        "0x451fbd60110eaeecdf0ef5f399c0e3352e7a04971448b2948a85b06a9a0aab5e"
      ],
      [
        58,
        "0x360d73b39245a01b0dd8300489c04cf526ca7860399fd2fbab481b4bf7ecc495"
      ],
      [
        59,
        "0x02c501085419451f98ab959e9f4d81e3cec33fe2e01df625b7756fee8e1b063f"
      ],
      [
        60,
        "0xf749bb570097506145da99ca604d30ca8ffa30fec69f40ed97c3cd82697b2fdb"
      ],
      [
        61,
        "0x2a89cc4503e960d857e5e6ff6667d74fc9ceef2fa1ba96d18d81181926f45a75"
      ],
      [
        62,
        "0x4752cae73f132a855d680030534ecb1f45f669e3598ed7650358afc80a3ff572"
      ],
      [
        63,
        "0xc09c9329e5431602f7987b7a73177e77182772e89d0bb5660d51008679221097"
      ],
      [
        64,
        "0x656c3bd2bf3a828459050082c51d682ff6aba8ace7d1f6a71f2c8151297f485e"
      ],
      [
        65,
        "0x21a0eabaaba10ad93debd9e363a875f85d2b24e659dd0394df21d851cc85dddb"
      ],
      [
        66,
        "0x2ddd732f1cd58a29ec77b9177528eca6f71e8dd7e574f2209e2bd7e6cd8fd910"
      ],
      [
        67,
        "0x9b0953b96462134bd10814e4f85d32ba98150b806ab8a38446d152ea5005e6d1"
      ],
      [
        68,
        "0x6aaebdd184a2a23dea401205365f087c6475a109ac41a7763332597eccc41ab6"
      ],
      [
        69,
        "0xd6d577bb49cec21156aa8f7181c66aff4c5011a82670ac4bc9ad13b10f8b9d2b"
      ],
      [
        70,
        "0xf97bea836c07920267b83a58b68e710e6946ce6d46a10a40eef686c0599947cd"
      ],
      [
        71,
        "0x90969bca7a983625ba847636b7087caa8af68d14f393074805ec07922e57cda8"
      ],
      [
        72,
        "0xcd83aa7b18e9c801bd0108e725e092c4e8328dc7682b6e10b0a40191fa1e4c69"
      ],
      [
        73,
        "0x7fa89842fb72e9b33a8261e63b7bd49575ce081b88dae44b0f207ef1667d2b39"
      ],
      [
        74,
        "0xe3c4ed7402b4b8ba68bd70fbad7f59ff905d68844c5f23703930816f2889c908"
      ],
      [
        75,
        "0x53f6b445d9472b515d7287cebb83e1b6a81641e795abc96a0a95f175eee5165a"
      ],
      [
        76,
        "0xd6a2b28a2b75d47d75da3a05edfc7cb1c9b066f08bfec3e7b6b51187b665b332"
      ],
      [
        77,
        "0xa57b5b2dfd917e18d10c9720ddcab77aaf260b747fdfd25ec7d25ce5b284caae"
      ]
    ],
    "rewards": [
      [
        "0x70997970c51812dc3a010c7d01b50e0d17dc79c8",
        "0x2332d4a618475c00"
      ],
      [
        "0x70997970c51812dc3a010c7d01b50e0d17dc79c8",
        "0x2332d4a618475c00"
      ]
    ],
    "proving_pool_credit": "0x11996a4f8e11d800",
    "blocks": [
      {
        "miner": "0x70997970c51812dc3a010c7d01b50e0d17dc79c8",
        "blue": true,
        "txs": [
          "0x02f89082116f13843b9aca00848321560082d56e94e0eebd35b952c9c73a187eda3d669d9bcfd7900680a47cf5dab00000000000000000000000000000000000000000000000000000000000000005c080a0027d6634fab11f3ffbe398ceae5d862bc285d9e510d38359bc2363785f9afcb1a04581db396ff63fbb16bdc5a07244b0143a2420029654ec1612b71bc1097b6a6d",
          "0x02f9036882116f12843b9aca00848321560083034dad8080b9030d608060405234801561000f575f5ffd5b506040516102cd3803806102cd83398101604081905261002e916100bc565b6001600160a01b0382161561009a57604051632a99dcd560e21b81523060048201526001600160a01b03828116602483015283169063aa677354906044015f604051808303815f87803b158015610083575f5ffd5b505af1158015610095573d5f5f3e3d5ffd5b505050505b50506100ed565b80516001600160a01b03811681146100b7575f5ffd5b919050565b5f5f604083850312156100cd575f5ffd5b6100d6836100a1565b91506100e4602084016100a1565b90509250929050565b6101d3806100fa5f395ff3fe608060405234801561000f575f5ffd5b506004361061003f575f3560e01c806306661abd14610043578063671513191461005d5780637cf5dab014610070575b5f5ffd5b61004b5f5481565b60405190815260200160405180910390f35b61004b61006b366004610161565b610083565b61004b61007e366004610161565b6100ca565b5f805b828110156100c457604080516020810184905290810182905260600160408051601f1981840301815291905280516020909101209150600101610086565b50919050565b5f5f821161010e5760405162461bcd60e51b815260206004820152600d60248201526c436f756e7465723a207a65726f60981b604482015260640160405180910390fd5b815f5f82825461011e9190610178565b90915550505f5460405190815233907f38ac789ed44572701765277c4d0970f2db1c1a571ed39e84358095ae4eaa54209060200160405180910390a250505f5490565b5f60208284031215610171575f5ffd5b5035919050565b8082018082111561019757634e487b7160e01b5f52601160045260245ffd5b9291505056fea2646970667358221220550fbe02c34bbf880b632f2e9e937266b869dc777da392b2cfceaf158da2014364736f6c6343000825003300000000000000000000000000000000000000000000000000000000000002100000000000000000000000002546bcd3c84621e976d8185a91a922ae77ecec30c001a084ccbedd483534368d451b6f9b1ebdd938fc1cc0d14984240ee82854b1d055fea015c4522b9d0890001d11d99d70806a8e93fb3aeb7b9ade5d67d209c752f4670b"
        ]
      }
    ],
    "pre_state": [
      {
        "address": "0x0000000000000000000000000000000000000210",
        "nonce": 1,
        "balance": "0x0",
        "code": "0x608060405234801561000f575f5ffd5b506004361061003f575f3560e01c8063aa67735414610043578063dea5c2e014610058578063fe7e05d51461009f575b5f5ffd5b6100566100513660046101e0565b6100ca565b005b610083610066366004610211565b6001600160a01b039081165f908152600160205260409020541690565b6040516001600160a01b03909116815260200160405180910390f35b6100836100ad366004610211565b6001600160a01b039081165f908152602081905260409020541690565b336001600160a01b03831614806100f957506001600160a01b038281165f908152600160205260409020541633145b6101635760405162461bcd60e51b815260206004820152603160248201527f446576656c6f70657252656769737472793a206e6f7420746865206163636f75604482015270373a1037b91034ba399031b932b0ba37b960791b606482015260840160405180910390fd5b6001600160a01b038281165f818152602081815260409182902080546001600160a01b031916948616948517905590513381527fa47563c41dab010f91a8ef9dc7ac2bcdfa0ef2af697e575048e71e6eec60dda3910160405180910390a35050565b80356001600160a01b03811681146101db575f5ffd5b919050565b5f5f604083850312156101f1575f5ffd5b6101fa836101c5565b9150610208602084016101c5565b90509250929050565b5f60208284031215610221575f5ffd5b61022a826101c5565b939250505056fea2646970667358221220cbf48f5aa6f911f83b3c2b09adf8c418f5da6fc530c3d5db9d4ba0be24c4bf5864736f6c63430008250033",
        "storage": [
          [
            "0x5d14761ae7502be0a39e716a4f4c071c7679f4eb4abc6b568bc3a7e6b0c208e3",
            "0x2546bcd3c84621e976d8185a91a922ae77ecec30"
          ],
          [
            "0xa670c65b3143c90414bb1c7f0b07f7e6a551f6171fc45b8ac1c3d0700b9ee0e6",
            "0x9965507d1a55bcc2695c58ba16fb37d819b0a4dc"
          ]
        ]
      },
      {
        "address": "0x0000000000000000000000000000000000000220",
        "nonce": 0,
        "balance": "0x4f2d3cdffa6b5c400",
        "code": "0x",
        "storage": []
      },
      {
        "address": "0x01d47ee52ebca6d0b0beac0f124acde471e0968a",
        "nonce": 16,
        "balance": "0x456bd3e6f3208000",
        "code": "0x",
        "storage": []
      },
      {
        "address": "0x062c1140fbe5b04868ddd71c2993895d9381eec0",
        "nonce": 0,
        "balance": "0x699184ec59401a800",
        "code": "0x",
        "storage": []
      },
      {
        "address": "0x15d34aaf54267db7d7c367839aaf71a00a2c6a65",
        "nonce": 18,
        "balance": "0x462eed5971c12000",
        "code": "0x",
        "storage": []
      },
      {
        "address": "0x2546bcd3c84621e976d8185a91a922ae77ecec30",
        "nonce": 0,
        "balance": "0x1d10f53c63c5",
        "code": "0x",
        "storage": []
      },
      {
        "address": "0x3c5f681b84cd6be1c07dd0c7c68701e9510f8359",
        "nonce": 0,
        "balance": "0x6bc5b770edda11400",
        "code": "0x",
        "storage": []
      },
      {
        "address": "0x70997970c51812dc3a010c7d01b50e0d17dc79c8",
        "nonce": 3,
        "balance": "0x5a5b41ce6d7a8b800",
        "code": "0x",
        "storage": []
      },
      {
        "address": "0x9965507d1a55bcc2695c58ba16fb37d819b0a4dc",
        "nonce": 19,
        "balance": "0x4486d3ef4107c400",
        "code": "0x",
        "storage": []
      },
      {
        "address": "0xe0eebd35b952c9c73a187eda3d669d9bcfd79006",
        "nonce": 1,
        "balance": "0x0",
        "code": "0x608060405234801561000f575f5ffd5b506004361061003f575f3560e01c806306661abd14610043578063671513191461005d5780637cf5dab014610070575b5f5ffd5b61004b5f5481565b60405190815260200160405180910390f35b61004b61006b366004610161565b610083565b61004b61007e366004610161565b6100ca565b5f805b828110156100c457604080516020810184905290810182905260600160408051601f1981840301815291905280516020909101209150600101610086565b50919050565b5f5f821161010e5760405162461bcd60e51b815260206004820152600d60248201526c436f756e7465723a207a65726f60981b604482015260640160405180910390fd5b815f5f82825461011e9190610178565b90915550505f5460405190815233907f38ac789ed44572701765277c4d0970f2db1c1a571ed39e84358095ae4eaa54209060200160405180910390a250505f5490565b5f60208284031215610171575f5ffd5b5035919050565b8082018082111561019757634e487b7160e01b5f52601160045260245ffd5b9291505056fea2646970667358221220550fbe02c34bbf880b632f2e9e937266b869dc777da392b2cfceaf158da2014364736f6c63430008250033",
        "storage": []
      }
    ]
  },
  "plan": {
    "shard_budget": 7500000,
    "consensus": true,
    "shards": [
      {
        "index": 0,
        "tx_start": 0,
        "tx_end": 2,
        "over_budget": false,
        "pre_root": "0x4e1a7b269c47c71e358118eed382ac4664194b44e85b43dc4ccdc3869dab75bd",
        "post_root": "0x5b18b3a58f6c1d21b22caad4a1dbd9ee8a6394a02db2220255e556a9d4f90878",
        "receipts_root": "0x9efcc914e2358eb95f50b110aeb57ba17341cb89f831a4f0e322d6aeef2e8e9c",
        "link_in": "0x38046159e1bf364d16df7645adc5a18f254dd70ffab279ed30785b727b52a3d5",
        "link_out": "0xc4c3d444f20dc46d276d1e68e5c6d19da9577b3474fd7fcd8bb2cf36a41ed6f2",
        "gas_used": 45354,
        "pgas_used": 1488,
        "executed": 1,
        "skipped": 1,
        "witness": [
          6,
          2,
          10,
          2,
          8116
        ]
      }
    ]
  },
  "expected": {
    "pre_state_root": "0x4e1a7b269c47c71e358118eed382ac4664194b44e85b43dc4ccdc3869dab75bd",
    "post_state_root": "0x5b18b3a58f6c1d21b22caad4a1dbd9ee8a6394a02db2220255e556a9d4f90878",
    "receipts_root": "0x9efcc914e2358eb95f50b110aeb57ba17341cb89f831a4f0e322d6aeef2e8e9c",
    "tx_commitment": "0x610f9af32c5a42c4674f071e3c24d5935d877e2830f611e130c132ce64aaef6c",
    "gas_used": 45354,
    "pgas_used": 1488,
    "executed": 1,
    "skipped": 1,
    "node_state_root": "0x5b18b3a58f6c1d21b22caad4a1dbd9ee8a6394a02db2220255e556a9d4f90878"
  }
}