{
  "type": "ZkVmReceipt",
  "system": "risc0",
  "receiptFormat": "groth16-bn254",
  "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
  "seal": "HOxVpb/CJYMDRjmGCYJqnKWtY6W5rvODjh/NEWsyq8QJGDSE2qKYHnVy2NTnsgLdo5/AHheu9NCrbKghlW/d4iek4SUY24RiwjDu33hW1oFNFaP/cdcZjpLQY68U/7CKGRzLGVml5EkkGeyTvQke2zrFSvcnpa4lqAMoc3i/9ccIxIejs7EwUfj4z+vIWE61KKDyL7aShM00QpOgOgPKAQa76QaYoUe3KzZqhLc6gG4B0TotxBTl4cxDfnR7Z2USEsaTuDSKa9hk62txAOSuS3QpYrNzUlonwyQnlwrdYOgVG6Qvr8iHQ++fSJbzgQMqIfuiycnzUS+VX3LNmTOAIA==",
  "journal": {
    "chaingraph_version": "0.4.0",
    "kernel_digest": "sha256:215ed9bd2894a54272548fd48ec1f4074bc2cf5cc5d20fbf3bc99fede4245be6",
    "output": {
      "illegal_transitions": [],
      "lifecycle_valid": true,
      "transition_count": 4
    }
  }
}