{ "bundle_version": "0.1", "receipt": { "type": "ZkVmReceipt", "system": "risc0", "receiptFormat": "groth16-bn254", "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6", "seal": "EkUFKQ7Zelu/tv9T4LnWTWO9ogmfRe8tiIoKzjSIY0sihjZAtWEaU9Vc7kCq9cPXkFGZ46+JXt0dLe2OC97nWiFgJus7viYehYp+Tx74mte4kwwm2aSdPqpEm8QazSU+Hqyy+cd5n7vG8isnemK9z3f/WBt9hmjp3RBhLYZT0xMn9aVpShfA15qCYishSafo72Fhaa0HIr+IuKK8M0NdmgSi2cdUV8ib2BJQKlmTqDu3JdHPpt9HFSmq36H9w6wrI/xYsD0aFtEpxrxya6QKOmYRWPpJ2d8/k/rieedxHjEKcmGg8UlI1VqL4nOGO8t+h0D41yOCqD7+YkrgmneWMQ==", "journal": { "chaingraph_version": "0.4.0", "kernel_digest": "sha256:5590e940c1c036d108e0bfb8662b88bdfec6c275cc55843ac2a9f14cd0c78ba9", "output": { "chain_id": "1", "entry_point": { "address": "0x5ff137d4b0fdcd49dca30c7cf57e578a026d2789", "address_matches_canonical": true, "canonical_address_for_declared_version": "0x5ff137d4b0fdcd49dca30c7cf57e578a026d2789", "declared_version": "0.6" }, "field_hashes": { "call_data_hash": "0x8f54361c53196a7fbccb94b6951e30560cd56ed2372519e43070080b38f6f453", "init_code_hash": "0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", "paymaster_and_data_hash": "0x36d2122e1bfd3419690d0aeaf5131561065b8fe2c4eb07bad7c36e924076362d" }, "gas_accounting": { "declared_base_fee_per_gas": null, "effective_gas_price_basis": "requires_declared_base_fee -- the fee caps differ, so the price depends on block.basefee, which this kernel never fetches. Supply declaredBaseFeePerGas.", "effective_gas_price_wei": null, "entry_point_version": "0.6", "paymaster_address": "0x1234567890abcdef1234567890abcdef12345678", "paymaster_fields_note": null, "paymaster_multiplier_applied": "3", "paymaster_post_op_gas_limit": null, "paymaster_present": true, "paymaster_verification_gas_limit": null, "prefund_formula": "v0.6: (callGasLimit + verificationGasLimit * paymasterMultiplier + preVerificationGas) * maxFeePerGas", "required_gas": "571000", "required_prefund_wei": "1142000000000000" }, "never_fetched": [ "L1 data fee / blob fee: never derived. Post-EIP-4844 it depends on the inclusion-time L1 basefee and blob basefee, neither of which is offline-derivable. Supply declaredL1DataFeeWei to include it in reconciliation.", "block.basefee: never fetched. Supply declaredBaseFeePerGas to derive an effective gas price when maxFeePerGas and maxPriorityFeePerGas differ.", "EntryPoint contract state: never read. Deposits, stakes, nonce-sequence validity, and prior spend are not consulted.", "Chain state of any kind: no RPC, no indexer, no receipt lookup. actualGasUsed and actualGasCost are reconciled only as caller-declared values." ], "packed_user_op_hash": "0x25d4eeb27d24d9b4899bb7a22ea8dddeca31d86ce7c8e916b63623dedc0329f1", "packed_words": { "account_gas_limits": null, "gas_fees": null, "layout": "v0.6 UserOperation -- abi.encode(address sender, uint256 nonce, bytes32 keccak(initCode), bytes32 keccak(callData), uint256 callGasLimit, uint256 verificationGasLimit, uint256 preVerificationGas, uint256 maxFeePerGas, uint256 maxPriorityFeePerGas, bytes32 keccak(paymasterAndData))", "word_count": 10 }, "paymaster_reconciliation": { "declared_actual_gas_cost_wei": null, "declared_actual_gas_used": null, "declared_l1_data_fee_wei": null, "missing_declared_inputs": [ "declaredActualGasUsed", "declaredActualGasCostWei", "an effective gas price (supply declaredBaseFeePerGas)" ], "notes": [ "Reconciliation was not attempted because the inputs above were not declared. This kernel never substitutes a fetched or assumed value for a missing declared one." ], "recomputed_execution_cost_wei": null, "recomputed_total_charge_wei": null, "residual_wei": null, "status": "NOT_ATTEMPTED", "tolerance_wei": "0" }, "reasons": [], "scope_note": "Recomputes the ERC-4337 userOpHash from a caller-supplied UserOperation under a DECLARED EntryPoint version (v0.6 or v0.7), computes the required prefund from caller-supplied gas limits, and reconciles a declared paymaster charge against a charge recomputed from declared inputs. Zero network calls and zero chain reads: every field is caller-declared and echoed back, never independently resolved. L1 data and blob fees are NEVER derived -- post-EIP-4844 they depend on the inclusion-time L1 basefee, which is not offline-derivable, so they participate only when the caller declares them and their absence is reported as a named gap. block.basefee is likewise never fetched: absent a declared value the effective gas price is reported as null with the reason. This node recomputes and reconciles; it makes no claim that any operation was settled, accepted, included, or final, and no claim about signature validity (the signature field is excluded from the hashed struct by the ERC-4337 spec itself).", "user_op": { "call_data": "0xb61d27f60000000000000000000000005ff137d4b0fdcd49dca30c7cf57e578a026d2789", "call_gas_limit": "100000", "init_code": "0x", "max_fee_per_gas": "2000000000", "max_priority_fee_per_gas": "1000000000", "nonce": "0", "paymaster_and_data": "0x1234567890abcdef1234567890abcdef12345678000000000000000000000000000138800000000000000000000000000000c350deadbeef", "pre_verification_gas": "21000", "sender": "0x2a1530c4c41db0b0b2bb646cb5eb1a67b7158667", "verification_gas_limit": "150000" }, "user_op_hash": "0x45ab83d646f4aaad28e0d2987bcdacd64d6b2ead0b56520d1d1119f2d942671b", "verdict": "USEROP_RECOMPUTED" } } }, "journal_contract": { "spec": "SPEC.md §18.7", "serialization": "rfc8785-jcs+utf8", "journal_digest": "sha256:bac098bcb093f7c08d098720bc2711d930976e591933f15275a99eec25b9904f", "claim_digest": null }, "provenance": { "repo": "PostOakLabs/ainumbers", "receipt_source": "chaingraph/graph/nodes/art-613-erc4337-userop-math.json", "receipt_source_sha256": "sha256:f83668b0742a4efd47493c967ab160f5fa7252c4491f63f6ae64739f4464c985", "anchor_source": "registry/lineage/checkpoint.sigsum-record.json", "checkpoint_source": "registry/lineage/checkpoint" }, "anchor": { "type": "c2sp-tlog-proof-v1", "record": { "anchor_type": "c2sp-tlog-proof-v1", "log_origin": "sigsum.org/v1/tree/44ad38f8226ff9bd27629a41e55df727308d0a1cd8a2c31d3170048ac1dd22a1", "log_url": "https://seasalp.glasklar.is", "log_public_key": "0ec7e16843119b120377a73913ac6acbc2d03d82432e2c36b841b09a95841f25", "anchored_hash": "sha256:3b9dddcfacf47214cc0bbb19edbc39a5cd3d1c97fa00aa0fd68a517cf67aee2a", "leaf": { "checksum": "76ea62f7c28942563a1008b44ff888a990b6b2f1d740023982bbd04662adbedb", "signature": "2e994211513e790035c9040f4e23b518e64a188f8fd211d203d3a380511fa355e559348b84fc00953c3aa9d91d95bb3696a292054041389943b0fcf4b6c9c502", "public_key": "64ffed0396abb761968b34ce849b7b09bc47b8a492ba2efd006b6b8f5622ceca" }, "tree_head": { "size": 75024, "root_hash": "3cd5407964fe6c6df9f1e7051f5a8e941030b93b68a97656de81f9baa43d640d", "log_signature": "ff6baa55f14a9b9a695483113f00fc5c9f3bbb9ca74c01c83dfd8715ad154b2f2d302e71b1b4f52f87ba58f9c15a80a30c6302f0910dc2f0d3e7d857ab0a5003" }, "inclusion_proof": { "leaf_index": 75022, "path": [ "15d2f7a6315ce3382346be0bae0b920bfa68349ad438b517277c6e973f5343ef", "33dc416363cc76a4e1d907d7c46cafa5ccde896c4b3aac8783b7dc56df5795d8", "d2ee6278e332275416624857eed451d640f159258f4c9b315be88fe939ca8a77", "83e35bee174ca40f3413c410657f7b3a7c444435043c0af96c8865e03095913c", "a59bef38745cdb26f6b87a19b8cd0f609c2e906f02f1d3991d9fa60f0480b580", "3ce012af67840673cbd9835e3e57c1d8c6f47f6d737188365acb80151a30e0cc", "668dba989ea933a1ecea7315cad1eb9b4e65c7bfdf993edb5f9e992e4c7a354d", "6e3104eb98a720cc868416197a730db01f0032cbbb3f74602bf997125a81f28b" ] }, "witness_cosignatures": [ { "key_hash": "0dad9d849c57687454f100d87fa729b54cb69f7af97346613348defcba9c361c", "timestamp": 1792825229, "signature": "b71a5a1b8d95c3a70512cab1930c2468533f3cf40d09d4126fb3c8eadd17fc738a0944b56886befa48d4f917306867b5d669b77f3091c90d936783f470338c07" }, { "key_hash": "cd02db1cc0488c28245d7c3ff50b3e214334c067f2571e849425146bb6bd173d", "timestamp": 1792825229, "signature": "95d726f8522e14a3ec2bd04687b0ea98db64dad72319e1a40653b9d0066423ffd17f37a44c6e7d1da09c13b4cb3c364080a4850aba12a602456706989bfff303" }, { "key_hash": "9a0dcddbd96f6d6d404227b5ff23de7a43f25cdde9790af5ace332d347fac49a", "timestamp": 1792825230, "signature": "86b01971d57851ba8e5fd51e9c3f4845d50dfe9baead1f72a0e759e6a309386cd234321575bac7986b35fd13f98b6ee8e7645a92afef9cfb9f09cf88c0a81c0e" }, { "key_hash": "6d6a78191e59815eff9131941fc3e08dd716a281c8b886dd67880d552e587a23", "timestamp": 1792825229, "signature": "81671d11a22ae26bd348344f7e15db82ca6267f7de4126a8e947a5da628989eb167a8b282d202c62377bf26753a1de62c322b6460b899f854465da5fc1c27601" }, { "key_hash": "6bdf03b285fce48e00ff9b199cb2b77472dcc4a112f067fa5b274929cb9504e3", "timestamp": 1792825229, "signature": "49450a408ffdb2e047076e8ed01beb2f8077a53e3cab765ecec0614151f50c643038be46f4a7266ed6edb30974d4154b9a4c2c6c3b46d71e10f878dbe2c36102" }, { "key_hash": "ff2f237a707a2d3a6adfb1600d3375cafe4527ba4fcec793e6093b9b1a4bd79a", "timestamp": 1792825229, "signature": "dfa05cb7f4c1389903f8377e8f4daf7fbf3a7c99ad65bc9c81029c12cb07004d25473ed022e0cefe5cdf05e497aeded87e57fabcc7d87dbfc1923bee2ab1260e" }, { "key_hash": "81538d254f0a67aa07172826ef46fe0cd04b7425bd634a50bb0a8419d55fa65f", "timestamp": 1792825229, "signature": "6caece92c05dd00057b0c908c969b0eccbcf87c1b418c3fe4cb7b3dad781c125dc86b1895fc7019614a1eca3cfb6fb19f8442e64069d38870f1f620a6d41a60d" }, { "key_hash": "774fafee07d3b0d9399d669676440a6301db9fa8fe2140d7d352418da25144c5", "timestamp": 1792825230, "signature": "7f0c93c5f31347edcd47f5850bf665de43539efb3b295e32563f004f0feec33ae3d9d84e031f1859e42b10218a17a0f0df019253f448ccd76d7499afa2e0ab04" }, { "key_hash": "f6f91669f7955f542718af9edb6a1276d88a0f8822cba9046e549d0b3796f394", "timestamp": 1792825229, "signature": "a3d77cfcafbc1a1d096b422276fa50994e269a7b61797064a4b2e758808bf8c4e27b4f1caae28291bd486c71ae2c2a6b57d0443cc7a7eac11114ce517c3c800c" }, { "key_hash": "5da2b3803c2f802eed9744b74e3e4a3d31e1e77ed994ef56730d57fa52f698a5", "timestamp": 1792825229, "signature": "302d4d04700aff6efa819b203915b04f7ffdac8b1579b969d54d332f3a74063d390383fa77766d4e3fbe995cc2de69be6127d3a0662559db80b9f6e187c59105" }, { "key_hash": "3573fb7fdab7434cd0dad9fd6460abf420388055db8aaaec177c248f03a990cc", "timestamp": 1792825230, "signature": "a6bdce3abf06934fb65d3ccfa49dab537569f36f9ffddb219642104272de95cdadb2f501cfd0e71995328c5b6df899d89f88650c67a3a61f2cca166ac1556c06" }, { "key_hash": "d59098d686f47ec1d4d1984c8ac0ab97a3d8a65c7ba8cb6422ada0fae927e194", "timestamp": 1792825230, "signature": "8dab0aaec1272e078195a13b620c2a6f46128218ac70440383b59f9038d4d42f4bc8b643c001592ae005b157f221ba0387733d1505dd5b3298ad579398129c04" } ] }, "checkpoint_text": "ainumbers.co/registry/lineage\n77\n5z6Ug6W2BZ2nOm3btMKO8R4pkYHtYENH0v+MJOm9qac=\n\n— ainumbers.co/registry/lineage JrLnur2JVUx48WLcyZxWqbSgiY63HRRAlGCvfM7AgCcnBY06MX8kbyWE290q052tS6nQyxTr3fclM7c2Qi/pfqcrGAM=\n", "subject": { "kind": "registry-checkpoint", "origin": "ainumbers.co/registry/lineage", "log_policy": "chaingraph/policies/ainumbers-registry-lineage.tlog-policy" } }, "trust_policy": { "name": "sigsum-generic-2025-1", "source": "chaingraph/policies/sigsum-generic-2025-1.tlog-policy", "sha256": "sha256:666d9d0b9ab2e4019769c42eaccd7d6d502a9abac45979bb9b08b7213e4f53e3", "shape": "2 logs, 3 witnesses, quorum 2-of-3" } }