{
  "type": "ZkVmReceipt",
  "system": "risc0",
  "receiptFormat": "groth16-bn254",
  "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
  "seal": "DwHv0wKiQF2wUEZfjy4ILVzBVduiu66867h9lk4CBJ0mB9zqoeB8cE0fX+Rt7GEe/7G0H3oMqVZojBqA+2vCIRqF1anWTOiA8DBfENmZNmgsOqhqvubS+Odvv+S/YaJLGwqEz6l9d3QSjWCHLEDVJagAgXuFGBN+4YjwcJGLm0wtfP+uIX3gFaXpzaKDbcUuqARTU5ZmYJazgzIVsX9+OCqc0FXDuil/dq4CA0GYila4aYRqDIuEt33YZzy+SEpwJqZu4fWMJHuOvfxpRl7CdBC1DUg3yAAsgnDzBMMo5BwS1W2dnv1jgvOFv6qlZDe1NtuwmXIOXB3WajfFB5fsvA==",
  "journal": {
    "chaingraph_version": "0.4.0",
    "kernel_digest": "sha256:a3479c6ee0c683f60a491a11d4ba95dbd84e6515cec5686f5642e6c6e68b87a6",
    "output": {
      "context_ok": true,
      "invalid_statements": [],
      "statement_count": 1,
      "vex_valid": true
    }
  }
}