{
  "tool_id": "art-279-state-proof-verifier",
  "kernel_id": "art-279-state-proof-verifier",
  "display_name": "State-Proof Verifier",
  "tool_version": "1.0.0",
  "mandate_type": "cryptographic_mandate",
  "purpose": "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.",
  "control_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.",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:cdf00978c1f9c8e64aa49fd927d7dab925a232f49b3f745381396674785ce592",
  "trust_label": "independently verified -- zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-07-10",
  "last_validated": "2026-07-10",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 49,
  "source_url": "https://ainumbers.co/chaingraph/art-279-state-proof-verifier.html",
  "generated_at": "2026-07-25T20:02:55.601Z"
}