{
      "tool_id": "art-279-state-proof-verifier",
      "tool_version": "1.0.0",
      "display_name": "State-Proof Verifier",
      "mcp_name": "verify_eth_state_proof",
      "mandate_type": "cryptographic_mandate",
      "wave": 49,
      "gpu": false,
      "url": "https://ainumbers.co/chaingraph/art-279-state-proof-verifier.html",
      "description": "Verifies an EIP-1186 (eth_getProof) account and storage Merkle-Patricia-Trie proof against a caller-supplied trusted state root using a pure-JavaScript keccak-256 plus RLP decoder and bounded trie walk. Zero-egress, no RPC call. Does not verify that the state root itself belongs to a real canonical block; consensus-proof (light-client header) verification is out of scope. Persona: fund administrator or auditor confirming tokenized-MMF or deposit-token holdings without trusting an RPC provider.",
      "input_schema_ref": "chaingraph/art-279-state-proof-verifier.html#manifest",
      "deadline": null,
      "deadline_note": "No statutory deadline; general-purpose cryptographic verification primitive for the Verify-Rails band.",
      "consumes": [],
      "feeds": [],
      "status": "live",
      "conformance_fixtures": true,
      "compute_capability": "server",
      "compute_images": [{"system":"sha256-source","image_id":"sha256:cdf00978c1f9c8e64aa49fd927d7dab925a232f49b3f745381396674785ce592","valid_from":"2026-07-10"},{"system":"risc0","image_id":"sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6","valid_from":"2026-07-10"}],
      "compute_proof": {
        "type": "ZkVmReceipt",
        "system": "risc0",
        "receiptFormat": "groth16-bn254",
        "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
        "seal": "IHiTuIB+jpL6byyhi+4GUigLgGA64hXMkQ4w03gVRWkAkHNsGNLTIUABlqQ6yBFGEpyM93AcVi9IWZj+rQQbBCFSNL2d7GBmX0PwmFT9tAnaP1h+qdvHtYdpjG8xO86HFg1pW4oJyd1a+bXVsWlYVFNEMedgwtCEQIASoGLYQj8G0Xi1On6DhEmrNmC0O4B6VYhIEWtVmKOWc6egp9bMNQYFXaCW1mToFa/et3l6HFKsI3jOOChe9c4k/CsZRQ3EAXSLs8ERgZBEJSsVqjspodPU49GeqFwXWkCm4SU45H8HbOstxxbHN8wDDdzqCYfV6297daeMdA0CRw6pYN4tkg==",
        "journal": {
          "chaingraph_version": "0.4.0",
          "kernel_digest": "sha256:cdf00978c1f9c8e64aa49fd927d7dab925a232f49b3f745381396674785ce592",
          "output": {
            "account": null,
            "account_exists": false,
            "address": "",
            "block_state_root": "",
            "bounded_limits": {
              "max_account_proof_nodes": 32,
              "max_node_hex_len": 1200,
              "max_storage_proof_nodes": 16,
              "max_storage_slots": 8
            },
            "diagnostic": null,
            "errors": [
              "block_state_root must be 32 bytes hex",
              "address must be 20 bytes hex",
              "account_proof must be non-empty"
            ],
            "proof_nodes_consumed": 0,
            "receipt_statement": null,
            "regulatory_note": "Consensus-proof (light-client header) verification is out of scope for this tool — the state root is a caller-supplied trust anchor, not independently verified against a beacon-chain header.",
            "storage_results": [],
            "verdict": "INVALID_PROOF"
          }
        }
      },
      "compute_proof_ready": "ready",
      "export_capability": [
        "json"
      ]
    }