[
 {
  "id": "C01",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:56:12+00:00",
  "ms": 1607,
  "reply": {
   "product": "zk",
   "preset": "risk_under_ceiling",
   "request": {
    "trajectory_id": "demo-z1",
    "agent_id": "demo-agent",
    "trace_steps": [
     {
      "step_index": 0,
      "action_type": "read",
      "resource_id": "r",
      "risk_score": 0.2
     }
    ]
   },
   "reply": {
    "proof_id": "zkproof-57679cbc1ee9a552e6e8bf38",
    "trajectory_id": "demo-z1",
    "agent_id": "demo-agent",
    "circuit_name": "CAIN-RISK-CEILING-RANGE-V1",
    "is_valid": true,
    "verdict": "PROOF_VALID",
    "public_inputs_hash": "1992a431141ce681b8933028d8c9cc76e134435044134d8b56ac678382c71e26",
    "trace_length": 1,
    "proof_bytes": 37923,
    "prove_ms": 570.1,
    "verify_ms": 449.32,
    "violations": [],
    "proved_by": "server",
    "bundle": {
     "circuit": "CAIN-RISK-CEILING-RANGE-V1",
     "public_inputs": {
      "circuit": "CAIN-RISK-CEILING-RANGE-V1",
      "trajectory_id": "demo-z1",
      "agent_id": "demo-agent",
      "nonce": "f7c0b23cd55f6a44fb328c0915f7367a",
      "steps": [
       {
        "step_index": 0,
        "action_type": "read",
        "resource_id": "r",
        "ceiling_milli": 850,
        "memory_modified_bytes": 0
       }
      ]
     },
     "public_inputs_hash": "1992a431141ce681b8933028d8c9cc76e134435044134d8b56ac678382c71e26",
     "steps": [
      {
       "commitment": "2a13929def396138a3cbecc395f55683c021c36b3324d5296defb7329503cdbc352a7a928b74816b2cec6c2ba6c39543821ef75065e0fb0e8d246767fdf6e70896a7482139bcd2a87ba7fa6b217c3438a1800d16c05b6e0a52945caf05e853e80ac761c7567e8549c58b58e31d05131d25b10961a7359bca48d9386a13345f93494fb7b3f855e0d2264c41eb05b323c3ed2661c288c6c4d82869f6ebd0dd150fbaecc0b9ca54a450767a7d18f997446ce489a605703566317b7544f81004ee2ae67d14732912d51994f83874506ef36239bf65edb0d18580c049f8b4a13d149e90b5d7e4b68abc47d6eef531972ce77e369eb934a670e59e989767d3c99a0537",
       "range_value": {
        "bit_commitments": [
         "61a05e707bf7085ba548a6298e33981463648025c08dcf68f4d3c3e1faa7766e8bc8bcad054d077c029e9714ba6db54d75084fd66f53c946858dbf48bf62245a311ade77a6d5102b8e06db8766f931a06977d4a860452617b3d5ceeaea37bf13e9db4aba020f61754d9ea8070ff36969f44bc3ac48ac6fe539aaf6b9044fc5af95031e75b8c9b116e4cf36a4f3aa21e710ba25cc5ad3e72e862abd66d532a1cfc7ed0e42b70036ff52c149edd8fada4122b4944c5c41b884e1b4c5cdc629223e77fc173cc72b814af82dab7fb9ccc51a90c1952d0e92dfc36d89eb59425c17715a50e6493bc157478a615744c20e9a54727612b232c604d3e5ef62c87212eab3",
         "9e56c0f4614f12928fcec92a61cd2438c3e6852c9aae1b2e500e85dd7c6728e9259c22d7a6d91f3d7c229db90328911a4f50cf062f58c36ec160631fa1d63514856ac40f590e5f82a396b9f1c26d910548b9683ec3cc77ca8d835479a4f19a372bb462365c1cd144ab87ae20c316f9b43948a627f3e1b383e1cff2c4fc66494c0d730ab1ccb380cbcceecedcd5b398734137f4e616f8a73fdfd235b59d73394f51663d347ca800dd1ea84744a054951d20f37624c17824be31c6fcfeaa878adc4714f516cf20ea7c7645f5581e3783b7062c28d6f5a7b38d9c0e1512c6d83845cc7c17aaf929e3d2b31c37260cb34fd25bd18a437ec295c4974278640bc993dd",
         "8e9ce314673e6176af934612cb6b2b19d0e79a9105fbd156c6b5f0c0616800aa797c5fbc82e55510f53bf774a20228e15b5ab17ec89b94b327f0c437e7d7d42e6b69b1955f6f89ee6688c29e067a5bf454770811fc11d0d05b0587697559940c1a63c4be17a4a6320011f5d411dfbb4464efc4974bd3e88555cc5c82757f800ddd32fa3e0b00e94a8aa1b536b72784b643980f488ab883f3999e66db63d0846ebbdfd64461071b3b4edde32153fd69f3a2ff607353d25093f7e1b8beec8963021a8fc5b95d555a9ac0ce7bdea1c8b9ca415f0b32bec3df80eb7bab2e7b97d12f5a60d5a47efce6f54b7031f88b1e8c99896c1759e894dc795bc2cb2ae0b6dab9",
         "6215a94428cab24aa43faac601a51de868fe4e71ddf0215731846508d478725fff4202170880ca15a167829efc2619eedb64158994a2c2f2f597bb9d647d3db811f8b01cd519dd47b7f53e1b889c46ddf89ca3bb8256b5cf4965d8be140cacbefbdb1ce5876678c49d797a10ff0c6f6795aca544fe1208efff8b0bc16b0df624a8e31fed2bec937c0cbfadd31c6dee3ca2c127c0aa3fba20bdddfdfb6df15f0c7288b8c83e279d5ea9691a1d6a39ca5e1b69a271dbdd9726bb97dd9b80d75f93696d23d963254c9678197d93ab3c75adf7642ed098c494b95c5b6ed82a0d88dd8e096b61d979865ff9c9ac94abb2dcb1c6055f588bb1180bd1ea377bc01f68d9",
         "5436ae27321a8288375f4e11f48daca8e1a416933d835afc8a372f3c9612b9fc1d332f5aea401524637acb88f72c6aab0d4671759b4e060e8e3fc3cfa51d3f732716bd916b920583399dd40ae1b29e0d231de0ed0b2ff9482b0a9d0c72812abb153da46e3eb26a9f04a4d52865d12c92fd40a2a9a7fb43096b465f88b3832d7757e28391909b5dc0a95109b190586c7099555fc7e800fbec4cf4069804239edc0ff81eb0ac1d299f497a4eb7154135700e8e3657abe013c6642dbb11b3dabe464e5021de68e03be1f307c95eb7c879d5375a1be370801d224d5730765b835a83ef9a3224917ef460bf8baf3f3bf83a89aaf12cf7eec1ea5688eed39ef5e4809c",
         "7d91601ca9ca62df6c2f34f3a0b226516e7f99ff21119394c9ecad1c0a1c4d5c0474430eb9918e8c980b50113fc79666f2e91ce2420910845b37f1d5eeccd0a3fc90053909fb9db3b9e56b7a6732e2bb63db58b4affafb50039eeab74f27727c4e5e73e09e36939e860ffe36d3c9e39283dc4f54ee35b6a18a610587ec8bf1f7d3281638a3415b2501fb465f2066bff66c7ad5abee1991d0b9350ebdb70318c772f8c11974b9e8056f0ae3965dfcc2a4638733ec7be29a99e82f74acad208684c5ce2d7fe5714027762c72b4352eef1f2001b12c76eba6ecfd90370fcf83470a075b857fcae10a817866e040fe1e32088789819852ca20419eeec12ec02fc251",
         "12ab4006fc36fc6f136a96648c4eca64460806e397d644d089cf5dd8fdd8440b89e8f21d509387a7b2a7351d774e4e996aba08d53ee008aa2aaa40921ed22422057fd2038f892994e9b3b832f5386ddfd27c82fb5fff098ceef4e3b9e3286a006cfc39750257a71c30cdf306fc82edb2395bec0436f6bdf258151f5d54590294635c8f54a3b0b64edadb3c35cad23170183c29f651f9e966d9c452f05335fd12bf32af874581753c52f34a8f4292bfbb25b7b125286221e7ed0227cb3c4ae7cebbfbd71ad40e5d7a881989dac00b55bf28924922e6c1531b27ec611b655ba22286efb64897a254929bd654f3617eaa006c9f55efa3451c4821b761262a946637",
         "5ee92185c04e3719b5418a4e8cee9a84a7aeab9d1f31915562bf9410d936d8d0c50943080bcf4b1bb74d10c5c3e24e4de497393ae837713ee889de61df4097a6df457a09413d0da58a96f163b16299fa3e62a17e01e649216c150a54d0b104be6b147b3343603c8aaf069ee9e65ded27eed1aba7595cd2d61412552da897f3e72ee526b10bfc5e2c433ca7df7f0a81c7a47fcdbc1292d631ac350afb3569ab93ebab1912b7658672523998da641c8184eec538910caec4e05d5234f2aafb1f0a1bf1b94decf36f41bfe334e90cee06ecabad03f38e15ce9c3817f3eec06198b3d5799a74941f4de07920de93fd7c36de53f5aea69450d3d2af08de2b22eede6a",
         "32e850d5e5520760bccd7eec5aba40ebbfe7cc970f8c20a77ab80d4a838956d0a310d9d8bdd86ef916b1bc909cf08354a17b663753c3878c601f9576cc6e2f188ef4bca4490aecd93c161ba0b4e261bd2a56df5ff5e765a216542b4a032862e0baa55ac35e351e90932e818ef06917c10e5f260c6a389889573b67797e6d979a426563a01bf2a9cca1e9844ce8473f424ab98c7f6689ba4a411e9f07699ee9ba33dfafccadf6dc7793933780de3c71941bd21c778beae8a28f96560518ad766f1cea79dd72dfa2917ea7005a0f33c467a02d8cd09af8e2c75ead2280c2f94d1fa6b5b60f42077f7e0a8e701c41292e4723b9a531ef3f5ad0736fb42af0fb5359",
         "3b4518cddbb7fedc7ded5126a652bb8c2b1635618a5ec4d25fd6caf2fece3ba7c31884ec63fb7d903353617f14f5954aaddc7156f3a6b379b4d1ed445dea8694217be911df6442da5648cad39475716bc01571f86c17a91ee4c64411a95317710184b70503c4fcd3ee2c46f66db8db3e9d68e2b69afa4c93d29732d6f47d6d59a6c4c8816007d474a215ffed923e917ae154dbce92f345f5f5c94d429db26a09a692866e6be6618ec2f7696569fef1e7abe7712940d7ab00590d6ca00bb2d2e7de01f4eb1ad95ba7b958584ea81a718cdf7972cd2cd6c4c1266c604d0e390daab68f118254e3a49073cb3b2e11afff09def5698ec2bc71580cabe2207f1ffb3f"
        ],
        "bit_proofs": [
         {
          "a0": "57f4bb198680a731a51fc9fccf1863d26eed8a0b4a5c209ce5d4c9f6b34d6a9c07ced018cf4f49eda4356264d071444ce2224037fd49f6ff8991cf5e288aee80593f7281d7cc8f92262158621d913b02429ddffdb52330e7283cc07852023f212cc95f044b5fe2ed75fa16e9c946d33be9240453ed396e85d762f56acb2c39ec2b16a277ab7d63b88fe8bb5cbf0110df1d42dee010b70a8d272e0d446ec290a1b93b2c6aa085fe6ed696cff0ce9943079294145ade2a04efada6a951cc4825ef9528800f7e5590754e46e5cc45ef2c9e5bf6b34a4a9b9e66d31535d155276eb422bd82dd4c658d99ebbad5f6a0f3c78b83b8ddb2dbdcb425c47f8b631d2297c7",
          "a1": "2ca95a8dea90264fc7021095adecfc7ea7a53122fe7e249c6519054593295ed1179d7eb2c60cc6a53c25c3c84c00fbed83c3ec01754bb37014ae7502c51c372257802869e24819291b706908280e85aec944bf4990b04f96e64a41fe3a267c3e46af95723380f11973787fcbe95c31c69ae7d8addf93d926d6ac9331d12231e1ced2140f637ed0542d2f029f49270f538dc81359757b6b7208803ca2f7caa6886add47476aabc7bc213d9cd5f355ec19f05c58ff5bf4edd74e04e77be55e2ac725c534be57b07a8707121df79bc7a28a7a06cfbddd098bf5956ab302d3d07cb909c0ec1119645e4c1423224b533b514201e32d1090dff7c7ee16bff8a1a3f3f5",
          "e0": "cd59937ccf41784f371e3081852b3e104cd8e91c3a1ed42687b1ce8868c30301",
          "e1": "54ac8ece663fe03738eccdbdfd077a9a304fd84c291504f8be46d9e9f19af4d9",
          "z0": "200a40e25ba41eed127b5470aeb44bd775679d7f88291d9e70da57a8b623b189",
          "z1": "23ee71629e0289c527701a4e44ed284f0b4f6ebc852434bf24c8e37575d969e2"
         },
         {
          "a0": "16596918277371b8a96919397e13dadd98cac49a882303d2c1b81f05f7a7b128943a6c0c97cdb3226d6fc7fb1856d844a6dc20bcb141c7c5a083c198e25621f9c25c38f01dd668711fddc681b1da765d5aed082d438a151dd37d568648d820a6c36ad0849a6b4a9f10556cbb04fee9af470d0f79f0f0fac18c57258ff1a52f17c43e1a0309ed5168499fab476468932aea89906330d6b152e1080bebe1a48d700524128029599f0d16871ec0fcfda1d4080ffe78e08c707449b72b2d058755dbe1f8d20456359faad3155034c0331d714b995df18d07c073590686505aca24d15e5bbe5c7d151e63e9405b057318318806dbf61b3864da8245d67fded9890242",
          "a1": "408c02dc2b52cab6e8091f2e0cfb0696f5ee485b2db52ec65a52cbff1d3472558205e0d5b3f42bd4f54db95375340a7c08d7e64a975d3bfea0ea674da2e7884b04a41fa25f59b8d98823391b1503bab75e6d18b6d4f34ccbe797bfc3f22436f2965da812943a8febc79d1db696c4101c126494cddb6ecaa62d61996c89668304a711247c53c1a78d7f094ceda7a367759fb3a345abb9b9736d872bd950dce0b8021d47a2f5bab7cba845b7a7f923609c644cd2e7d277916568dfd4af19438b6e67fbbde9188ac7cafcbcba7a3d3e0333e94b6a2ac39f7a5679d5b37979957fd8dd4d0e33df461b119f292ffaba97f7be2b0dc1ac2c16417e4df78b92a2bceb0d",
          "e0": "a13260e16f90ffa6ff8f98176a61453f2f0ddcdfd43fa59e3555553555bdb3e1",
          "e1": "bb8bcb8687ce87d083a518b998b2af5dc4fd072e43b5fbdcf2038be2addc01da",
          "z0": "7df45ae076ec41429a8ca40b990580ea505ab2303be3271982edea3c3ecd3b4e",
          "z1": "85165ed4fc52a32187034e49381c4aba6ad052404b0001f7251d821936e9a445"
         },
         {
          "a0": "9d1b3fd671604728ddce1b45da14c8bf0244e1615d92606b744dd649b5aee3759b1c6289b1df0cebc50e68c1036bd12d47f1d38257df7acf3275081f0aaf0840a606ccc517ae6bf7f46c7a8ae0bf49306de84ac3011813ee382f5251428cf32f7356e67b845bcdad74a11dd21bfd6e7a178a3f7549bd6b7cacf2554bac85a5ecc966e94d6954a213d3e53777c3d0fc9252d2f7f20d11014dcbc29233e7c9ddc3d22b7b308da00e7271bdb79c3086acb71e7278040c61c83e20c5270e862e7d5e34625dc19548843caf16c324ae079e5fea120dbb8cada63d01331c4cfff1dd4a8ac80f4504bae155254abe2e941aa40b6e2cbb3556316ac64bc9d9f5cec9d33",
          "a1": "59415cd5843fe30fb6adb6543a9f86e9b1912d5aa7b7815823c7eb297692bb5b26f47990a641b40ba7f409224cb7e3c1fcd83645568a11eea67ece2d3fbfd2f72f179091d689f7c5d638cf03e3ed52839685f7927fe5e4ce1e318c046f4b8ac94ea2a55ea0282bc591d55d22b724b3b3e30da7da65435e2bd4c95e85cef649fccb0c442deb05520606338ef43f08073d8e6783b8e24e09fc2c1cf9568fab1c2e27683b82ed66e1aefdb896fad3f34790aadd4f3c02d60b1c77f34760143f393822db647fb712af8fada86c398be8c474fe31f9ea46a6de713e2c4f4de9069149ba48d76085925ea1562f0fddd0ec249b7b0004f37bdc870e1dd73162829fa20e",
          "e0": "b7e279a3650687c396d6f68655f1e3dff84c9c7911bc33d2ecf5a5caa254bb07",
          "e1": "449e85bde132ccb1af4f06fbc0eb612b2eb4cc03293d802f5f8b2d4137679e0c",
          "z0": "2e6ad1a9396b560f2021774b3ff6e1f7d1976bd60fd776644317403865b5f593",
          "z1": "6583fe33735d0dcb0666666de58cc037675c1dba726d0186979de3e7154c3ea7"
         },
         {
          "a0": "ab7efa72ff838be999e501efc323725f4171566a0eea80e656e6b17b4284902ab20bb81febf5d2918c3981001a407fe6123f49bf203775b9be9fbea40aed02e7da43c22017024e9f3ef5dc52d4492a87f2fb3dabc7b91433d38d2b4e9a042f7e4c8ba6cdcb981713e518cb6ddcaa48cafa741595f34e423374b27571791c3b24ea78f937d868aa8184552e74e6fa07675bc5b25febd65f3261900500b30d5f8393b157836916c91f507130e4c38550f9d4f9d18fecaf4be4343281c64984401ca25bb809cfb14939a554661c3b57d3ab11cda8d2e220830438d77380006ce37c15784241778505c8c74766fce8c40c60c6b9152056367e928ae74c10e9355307",
          "a1": "7c898d6de4cad084d13f80e200929e2bf5c630058b81d74fe66d6e826bc5d224397cb34cbabc2edac3c446c1e6a313a5cc4edda92efa6a405cb9d5de9044a0604cd5ff0fc16a79521518af6439fb2477aac1d13005ce78658c000dc00835571a420902a1166a18acfd7d0ded907b4058ea25973cd1d7c21c80d742dc3d30b8bb7a8d66ef71c9dd7ada607b18024c4e887452167929de26d41432a57b03c9af1832823b089539a763ed7d259bcf35b7f75ba1e3ea323c38c103b64bd801cb7725d992f2e0647d534ed47e7e2211febd19d64f8e3fc63037c0b853ac15f4c52bc0814066b0187ab95c3da26db2ec1a7d5525184a93bf9126cf989ae4e4e32b423a",
          "e0": "19279b472f0308140b044bda116eaaad7644a95ea8c9bd2d491508e4964deba6",
          "e1": "55337d5ea32ea30f145e5c90360f2d24f89982376e306d1f85f76d04ae4388ed",
          "z0": "d2f04185425fb67e66c8d4c75d355fad49499629fc2cf43a0f4e2dd88a5e9b2",
          "z1": "266aa90e2325df255311bc588177c9981a4d4c229d0f5f2a2b48fe39fbec76b6"
         },
         {
          "a0": "64f0a6fd91dcc0304225c278f7cc0914ab81dd0f08311bcf409db022096da3ea5bbb0df1ec89515684d22f0971c03804222ab13b3c16893dd7c6d8839a72836017600ecae18367fcb5e2e8796fbad2673b73ee324e67993ea25eda772aed28ec3e0125415194293b96c846bf03ac7d5c9f90231f9f23bcb78378a072d8bf4cd03b21bfa21370d71db9f49ac8d41822596efa365bc8947f45443d1d60d4d5e1f072a91890863a18c29c21740e60987bd3c449657b1453a2645b8cac8f387752faa53ba636d2a2f38a36e8928f74dff489885cd536c95ea37f1d3627b51522164fe7a8a34447bdb7e2eff6c4f214da4f9bec3923961f48536affb994411990b926",
          "a1": "ab459f1ebfa7adf01f870c5e143870ba2188358e38a001f4fe15647853f01e9a68d96d4a431fd8bc31ace13c15de9ea604c50521618a66379a0fcd41d3c09c3c639be7346b95c295fb53f0b32490d4ff9f4782b997318b9a983c2d28220b93d6223a2f5e17a6ae044ab1623b8b287dce1891b3771ccec1bccd7edb2dd047234a940c2acdc8b4784f5a30bd3cd617637e367f265df029683063f2acd301ec90fce6267bc8f8c7e1412e373be845764bb907f0d0e64f2a88406edd6fbc4e4be8b8b01a7b7596829616533fc52a14934f77ee71b7290aa623823e91fbff18c179a1ce3d34e75145bf70854e9c3441ddaf6927a6ef686e1e230e5e51c3f0cab971a6",
          "e0": "82094723af57984488c1a008f680db0af91aa50c304a36efb95e23cde032b1d7",
          "e1": "6de43c8c86a57e7cc48c7b37aef6c8727dbd333b0077d0df6debfbb0c25c29a1",
          "z0": "c331dafdf7738180b02546b3a1cab297a4d06ecc9e8294f35392c2dad666150f",
          "z1": "3c9bccd7de89620605f709f9c12326d6b2ffc58f514de9045d9a064233ff7593"
         },
         {
          "a0": "4a15fe12ba2672929f1f989e2f868dd3af322a0090f4f94e24599f77668a3dcecea679286aa2a29383be5b8ff7e2697ba76a5275a3eb7a60663a08b26da9259d16903b00d8ea8b80d13ca1227f89447244209d8bde1dadaf5587880af3faf78ae23e730638f5d0dd7b4c3837ad7b8344d81a88eb88d45f3775a794aa4a736013983b641e40761c91280a4db3b033b76a3c4c9cad16b7f64936ecca572a96d7974b0d93bb28ee80aada4a8f00b2859f71b2f7d6176ca1d768296a7493dcccc7d87f61891a8ab68a3925ec6943e1523b2ae2054c6f2be89509610414a52007299830716e0d46a5ce7bd8501b0d965c089064298436a0ab50440384d29183afb6e",
          "a1": "7dcf07a4a99ff4f5c38fd6671ea7a27339cf7474c17b9ce69b5daf238d9becc7492e02af2ed54c6836dc62c04fd1c054159c58f698bfdfdaa549729c3c2479477052e906e2b2c84479b604b885d296becced35fea30197b6b900924b66161dc4cf732cf3016a7aebb047b669a3ec1d591b575cc37f0209f7770f67461ac2a6d1c621cc6f7342eec84d4e55ab8ab0e4fcdc24563e751122c1871cccf9adb0b2e82a391053a6eded049fbdaef62b324feecae9effcdff4f88fafc67e8d3515b651323893af9e02faca3685cf0efe9ed7dcda5dfb48a7f47e27ee8fb74ebbef2c473dc18f3bb42d550888df7d8cc4e3a0f5c46c185d164eeea47a1f212fe975667a",
          "e0": "bbfddfecb29f72d58bdaa1c710f8a52171de4db2d91b1d2d97cffd3bf4ed7475",
          "e1": "14ecf841ca99a203789c951c97f73a72f1933bf839054985a7b25018f74016e3",
          "z0": "2109673a1f887209d6d4f870d09b554964a7cf586b7c947dcd280acca5ca4d",
          "z1": "8760af8f2e6844b860fc74f4586d0348f8e3bad7ec25fc60ee8081b621f29261"
         },
         {
          "a0": "664ed936f788dd63b930f68e186c5cad571b0f2b37e5ec30fc1407ac8ed3c2cbe682a7c91a93381759a07c5006648360174cbb7d6cd81002a7d82128806cc2eb2c2dc197dbd1c01bab1e36a61e743e18a9574b6ede8226e5b53db42dbbcc6f61811580408a748b6697bb928652a13ad3809ee371ac1219e81a4ec8c0af377efbcf640f751a09ba020ef9ffefc6aed81a0e828787b50a2086d89289bf113fa89f1285d6bed248220e0ebc13b38536743df092bd9f219a4ff239bd972170c6230c4d85573d360e87472e20fcecebf6185d903c154f7dcf40a3940ae23c3c2515b52de999db36557babb81c7d966489754e1497d3b64b66a6964287de7a02c60ed4",
          "a1": "390286b332cf42fba97d05eaea6cb2b2ba160e5deac839e82e44c56812a894bed388d1485e4714282efbf094fe1fb3e40e87fa0234ac377cd866b72e97df5632306db6784c968e5b24045653c36a5a25a1c3dc7049490aa8a6439d0128919348a6906b66ce3c87fb01487303cd852beef8696c62fc931691c91396f7dba87c5b56280e40546c2e062266d7e5ac86724cbbea4d65cc7ae9d70740afe61faef9a8aab471d795df4ce557c3df76b9b949f5dc5f4a1afd96dad33aa9949de024746f42849badf836abc91cbe98eab4b55bf87fd714be01196f421b971cb6a1638ce7e402f71f9fefe94d8f5ff28449c0d5798dc158eee0dcac96565bed3b223fe171",
          "e0": "3401437d998714a52047d9d6f7931a436294aa52b8ecc482844ee5357333dd9f",
          "e1": "88736e67931a8ad205f3ffa4bfff2a1ee976d93a3f3d15b397000a9fc4fb3ef2",
          "z0": "51ab5f5e39124e931c9344002b48834b837c98247a6feda69006d312254f990e",
          "z1": "535b7d540c964814c0312d178a42139761b9a1469c8f056d3c64fd5e953b0be4"
         },
         {
          "a0": "638f81f2ebeb807d6acf7ab713f136b94e9139dcab6d56e89805ed85e35228000556732ea67227d0b7242aa0227b8195f008b50690b68199313d627db9d7489aecfdf23d9a80530c9c0f6f2b3129e4d5fd3b96f41e85bc26bb11c8942a2f67890ceb099a253a070943cacc5451bae0cf63688559aa6258134d8d8f7b331fd9f33a9c35578560338d0b17d9a2e0442556cc19dcbe0cec89dbd890c0a909adb26447e2c876b16d0c46695096cb7f553ab066c953d2ab099eca1697abe5cc51e81ded70864be5b86e70efbd7a13c616e998806f1c56113851359412fbaf661de7126c2abfd1c8d58c2888d7f1e0498d72667e480acb6f41fa08c8a6fafc91800dd2",
          "a1": "8e56365f6e22a38972dea5e2a7f085799731a12d6e8ee19aa79836de0cf924dd8a7146071f8c7d0bc821d64086b791573949f8ec9a6e4736af71e3439f9b1180ff109533b9e0e25c333207ac4a1fcc14169a39031e61050c97b8dd450b3b754cca9fa6e076dcc01ecb68241ccebaa857beb5ce154ca186776efa6b8f5c80043d3b0d9c55306100638dc3e1ae55292f93233d9df70c050eb42d02456f683297e9bcb06662ea23427b5c58fd70eb8626f185e7238aeaffae0c69f1289c510cdb7acf600cd563def3079ab0726bf0a099284324269ef624f2da269d904729b3422610a65c1da4ec79581d05ba0b7218d6a39d327b6c7da20ca56f0d7a3354a640d1",
          "e0": "a09b2c25f98c5b830a7ed03fd5751155b4468556b0486bd54ac79265bf1e5dea",
          "e1": "8d7496da7c619d0c800e07c29b35077cf18fdfb859faf2e07a0b3f7c48adcda7",
          "z0": "2e6df2bf7000338e1003ef38725a927efdca1c8c7a26e157cadb203d91cb00e0",
          "z1": "37b88019519a3090f4a6e9d212cd82c002c8585a556bddc5fdea9f94d9f3b1e7"
         },
         {
          "a0": "3ee9a3f541783b79a7e6f799149c18a312de1bcdafb8bf57edc0a8f350a25645833580e4bbdc1c67a15a528b2d6dbbc654960aadd4b0a5528deb47954b516e20c6f71e2ee38916dc63ce29bd3a977f0424c33df4c53263055e297b95aed387505884ccc83e57a87095962c963a7959fe59a86168fd1ca1a6f67a4bcc15e9100d3848fee90c2533d5067354c77e2cd3cd2216845940d840b598252039dde74a9add8241175da273b5af22d9e061e9947fdf9541b0038fea2e6529abca1d901f8e7aff1f673642fb9b3138db4f465275434e98d2988b70ca9008ebdebd7079d1bdeb6a9fa0d088299b54dd50b898c6e36bf6170b8064b3587824ce78a835eeac17",
          "a1": "9d939c6d45a885e906fea50182970a8cd824bafe9a013610efb1b90f95929fd6cd9d688af1b5e04d38a78d5a608020bb171d8ad14041266d70023ae6c4f38be4b0317e1b54a9c837c5ae2e1f8d317882e4a5b8edf6ce9a471a93853a554b280862a9905193933712d9e2e7743ef21b382c86a238ad2750cf00463b2f2239551edd9cabf939230328869f46f02c0f894e7f570dfc3c70d57d847494cda3405d31751e1b51d6b0bee3e6be01adffe2d9ea133b3d7348eb1542b71a5e5914aa27f186ea55a2b95176ae9aff3bb84bf144ba96f769c734e6a245deee71cc5c90fc85f789560dc774f14d703a8e3e57780739e040f90e3b9de934932dfba71202ca30",
          "e0": "74e2c027c86dedc3f882ea19379164edf2ab360b6945cfd4486743b270d08dd4",
          "e1": "3d59a7c395e4fb2e1026ae0705a02f2c42d64878d643070744a2691c6d870680",
          "z0": "553df8cf3a5c0655fc6b1fe5a8ea4fc73d3f204162236a6178a8e09dbd41c398",
          "z1": "7e27a5d319425e0d30070e4e45dc3d09abbb6723cfc38a66ffe12ac5837224e9"
         },
         {
          "a0": "552cf3d41a60ef042a0a56126a4eb18bc28b9b706164ad92cc5ec5700dceaf0ec340b05417d8e7b2b37c43392844f17334d2d8b41de237c5f7627a8860fc35fc31107568be607bbaffce194aa8519800897bbb7dfd005c9404275e0265f582a13a548a19110e11c8dcb7e44daab09c38090116277af5715bb780438744e468d7e13a88d61c6da02f0ca3d053a42904dc22e5aa9882c41676944f94da561ac49ef1f7b4f6c1874761748894976cb578ca08978a21141946b485f59f9eafb78f9d97199ed90ed383e5af120b594267929769f55bbd009fee7ab4557c81b682ffaf8be8354b6d143f70c8b9b461663a497aeee83065844103b6332f9c047148350d",
          "a1": "1773f09e354809aba1c49664ca5f68c6a2b777215ad0a717b6ef4404ec80ace6d3c91dce50549eb4fd60038411a2346c41d3a71e1aa2c5adc38ed9a1f5698768e53f3a073f3f9e46d610fc531743d486ca55c4a93097f09d92ccc3dab3102c41af9fd3f6ed3c4f4fea3413d3b28a547f15b7a0f4977f18ec42f395750091065bb891de5582a9592e330ab08b93fdb0a9ac2155ce33a65e4298fb4a4ef33fa6bd190f8ce346931332111aaa0b1a996b24832a72f3cd0f0ab98160c7e2a9f27a9080bfcc37a1998c3118219962cd697d8dea22175fb83bec776488c064cd60b17f1eb3bb2e49f40f61534ddf0f37b16249612565f7210ae278994a2212982a0d2a",
          "e0": "6d387ebb1fa391ddc149254082613b1f2afb85d136ee6d75741e03db6bff6286",
          "e1": "76278d47da0708918a0351ae7c4340aea7f2b17f8fcbed05210a23ecd5c0a703",
          "z0": "3d915490c38bca737311cbcac5fec15d22e852db59d412bcbb1b15a24ebb018d",
          "z1": "39b2b1931d91624d2538f0c1ac5446f2e7acdcabb241082bd8318a27a18c4569"
         }
        ]
       },
       "range_headroom": {
        "bit_commitments": [
         "7dad452cd383392275bb7a22deb4e919cb5f2e459a8268701ecec54e21ceb9beef167fbf600bf2a83d853a2eea6caafaf14ac3e1bec54ddcbfa115ff12b7c136fd73dcb8c709ea59129010377401f033e09fe3d48955b1d7b9e421ed02a31d5cf0042ff51acfa51610bf68f1f7eade49d6fcb0acacb16ae733824535383ab05d216f833c8b8a94a2c9774d615d08668a09cd09099bb0ae11490bda75026f5ae124bfdc97b02f1b0b11ab4013bd9feda93ddf82393116db86641b1f12de14ef134292a98c6dc242885698ffac66e482dd6685e6159282f784a354cd9de4e365e1ffbaaa0835e1d3e76ccfe7027760db774b7b93a0a3b2dd0f84daa4a6dbe4bbea",
         "82b2cf9485666283ab00a39789a57b5f697b8e6707f37495c93757e0cf7cb2099cb0bb52cd2b1ec99f5a93cf1ced25e9780c6cc79e0e9039e9041db8471b9927f474eedc2aadf1002bb5ef7186623404b90df135848e035fbc17378ad9692e464cd99dcec1df7f82871f3530bc94083421452feab7b8efc00e733d047456e5c5e42f40b7c290b0065e6e02c08c70e7019ec81e6774cdee5dd600d2ab529eda194fa53967d156dfa39cfd7f7763bf24acff57948b9a7fa7de864435f974dec38a9878ffaf3d8989a442dea2d492a6c4dd3d48ba8affc83e7edf01320cbfd65dd0bdd1b658af6319ce364395fa9e8146f387f957277047ea3a689d3dd3f0f134a9",
         "93d01b7915949b88e4ff54cdae16c9b0373943f50d132acec1c6570afec3949197acd46d457f8e2d5b77c2814f5b54c312f207993c1317de2ff7202a900f6ce53659f690de2e3e0eaf335d229beb66acf07524cbd8977882f36e922388b1fb7696a7a1614a481a4328d5d6ea7440f1647ce4aa98ad8d45042c675d53300f0f7602aff1205c2df8d1a0b5592a5a8a238e978dbe65c03c088b12b37ca4efe5cd2c08a27842cf8cf0fb8d9f4161f01cbf5fefc27c555eee9e140f8b2eb1be454549e8a7fdfcd74bb1ed632f0078949be1d1ca5f92e48673f53391a88526db39bffa574b65ac2600efde5873945afae59d286d2fddaa688103b3b303fa255b524e3",
         "866fe93b6f8f36334e70823ecac6d26a7f20c99d7bd20d906e2213e2a1ab7910fb7afa0822b30926414bbb6c9b093c05ab9480c634c0c81b9d2ac58cb639e8f735f249c9e2a0a047b95652a9dae5c71af5e7986740f07537a6de14c543149ff95357f4eef6c8e7cb3bbe864f5cd6d76fd110dfe8cf9fe3220f0ae55eb50097ea93c642c100e5eff2a8bf2be2e2dd7dcb7e7452cccb3b89964c3fe6d4c82fcb1326a2da387589cf97ae1ee5da7a485982638a12342850f44122c1f94db806fe40c775a6838bea8661e3dad30a82137aed35dd5210c3089a6e6c14bd90b4565eaa694f7631bb8cd9490c5763667422947862d3c3878fbd7596c148f4b7bf7e2809",
         "95418b23d0ca0b3c60e351ad524ad3bf2dd018140afd3fc7ceedfdeb71258017ce3912a6bacc1d53efed67accfb7338e5229c644c35d61a1407fd40f92e4d0cca2c4baab41c177a61306bf28a66ea02064d7b974b8f0ed24a79e1ef3d535f2cfc5b6baa2e314835112dc689be388647360e3203752973f7806e4898c0bdbe4739fad1683bdab428c87ca3a25690faeeb156e477bea65384134676940f8d6520bd7e7bff33cc2538c4efd33bbf5126d5c2b9e0c2d1fa85a4cf6355f2acff34679985e6de9bbef9e029ac10252f8cbbbbb0f11ba8e5414d5c9125a48245e24038b6692061eaf522f28e1f91cc975fb5554f656a3a571b35ee24047ba47b0f0b0d0",
         "8217c1c4ece7d3ab1dd35171f5401581a10f08b069a6cc14a0eaa17171db53fc13b6848255e31514f1d57eae1af963fa81ef8f4484ab440fbc3e60b7bec54dba3ff5bc2f94aba8f6a5cb7a603eedce18955c38db387f6d839a52a5c7ff5f1de3b6b96203d4e27610f70cf4e620cfd35de0d2036219f4c386073a1e5953a001814927eb346d7bef6282f518768c91ac1d1014272e882744fee532d19ce1dd55aeee9e51c9bfffd60a14640f45c972af59d129118d280e648c47422bdcba49b41bd58c181238c17be803af8e43d6be0cf81fa1d230323df056e10e971ecd05db8f85adab923f707c2c5f48a249d9ecabfedcebae10588ecf3fa7df55f1da9a4c4f",
         "9e4ad1cc53dcba0819f8d09ad33e1f718d11253d73832ad008743885b6ef2817cdc9b2d20b98f3fc03706b9910ff04b3eb2b72fd2fcef5307546065ec49654639de833c87d0f443ea5e0f305c0e57a86c6a8a2aae281b926db87c6cc8c13ab42b180fefb0ddb7b1c86b156fb15db5bd73cbc0ad78ae9190ef25d94e5572f5bf5e773c2e1a6a182be417a81929cdc4c77d0359eb539a88eec63f6771302b0af646f8d3d5537f43a4bc674b08385ca907c0e2a560a7ac1ac5da8d9a622aea61e846046a1195426abb7fd19ec804876fe24e722cde2c39e42ee1b44368ce78327f947def716e4d17d4cc44bbc1bfcc012fe89185306dc306441d61bac34c919cfe9",
         "9bcb2dfa220ef20c22d360be51853723675fd62d8c58a0c5a44278e76f1233eb7cd670171eba0b3da6d5da932f41923c93e8a68a2e15149f60acaee07630d94a2e43ca9d8dfedde7dd79adb93e8a25b87d8c9087e1815a861dacff4efcef979d054c2fa3d362defc481246da922f8815590c617c21bf00b8423af4b240c561f475a859e3c1b7d91ea06257a9759caa3c0d696c7e1c79f8e7717fa156e0a08c8be2473dec69371564ff0e47b8dd6281730e825f710f0e3b42121c5168abc02967208c35287223cd5ac849cf31e099657256a5c7a48dba3e4af15c9c73d6d24a20f9c06ce49bd90a8c2a2f0f61288f09a2a7a591ec0bc8b8ca5ec66f1cd25ed30f",
         "5069870a57a9a0d17c0e5719d498cd78bbedc0681c3a6d311facae870b85f50d960afa2c21bc22be30ea12556d7a3f042c8c1e973b97fcc787ee7b42774b62a0abb209ac972471a01eec9d750dd5edcd3d668e2ada982aed90fad16034747d1f0c552fb4cf6eaf6832c1e23a0e69402d2247a889cab154ccabd2b27ae11554da0cec0df20069ef65a67eea4bf6537cac7ab20f6586d62c6918d766569dc9ea354fb250372b905819346d4d2b8d8b1f8d99a1914da15bfae7989f236afb7d5257e36a5531440c76ace34ca79bd251de4c6f0da131a65b74fa23615bf6b2957f3b4e6012932af14cbd9f281690fe9a3b83aa7bf981b9ba8dadd5b4ce3ec357828a",
         "368ba58e53a156e8cc84e9791f4683be66f6882296d10513ec7ee747c29c08bfb6c00a65f09d406eb16288fc10cdb9daa38d790954368955adf9efb2408543f8604993b8fabb49cc433252344a4a405830d97c02ea5855a3a4a4641f0e66d9dd12b7e2edd0c12ebeb3e3335cc441fed090b4f9d27073d6a6b02f42693daaf06c14d402bd8a3c7e6aa45ad253f16ecd27f752a01887c99b3e8527c292fc1a911c0513a1922dfd9cb53e0295ac35055b210ec7beec3a8f0680b39249cae7111a405ebb53182ea3031a988bcf49cce784a587a52c8798eb1aaed702382abb629c870fa38fe95dd2b75cf163594ac101792ccee13c0435e15681451091ab8200a200"
        ],
        "bit_proofs": [
         {
          "a0": "6b52a295945ac63d61d8b0e1dac0b24855586000d14bead2fce2e22c572c33a9f0f682a0431b21389054643abfc5ea0cf0756024d193301f902a8ab055d7fc3119d60cac10b591790dbdb1b3a08c57239964d665ec2feadbeceaa8c12fdf4230347fa2b6654b6a0582ba51340a6addaf7c33af8404c1d616041ca32a0284189e13caa6cc6721cc5e389a3a8be8249242600f219f9fecb60cd81fd442b1f64eaed11237f06fe29bac6e23213e35db9f1dd08dada8ab2938fd9947ee10d5497351acf0d8745e07f521cb47d3cb54e854b2344642b210cf8feb52f2554be42a8c0e0552a0713e11eaa87ab288aac252903160374bd8d0750cabf2cf54b3cebe522",
          "a1": "556b334319c92fc9a4f6ded8e12f17e79d6078ee71504f73980260639674aa512c154076341cbcc885fa7bf4108469aec1a35addfe851bf5d4ca5f49f7c0120898a588e2188219f0ca64a7d8124a7a8e892521ed59efc12ce9bac6cea4675ced469a7e517ed2ab018ca61f567abb6debb06be7093cc4f2ff91eded482a657a8aaeaa627fecf76be02dd5e387291c6dbea5e485c49ff18dbc77f2c854b64a57154100c4fa9d8171ece15fa40dc1d54976fa9fb9c306fac44996669e069cfc5ce3d816860c454bba6eb49a86adf047908bab1fef1d17e44a038947f2505bb5e005afb856b5fecf912676189a9217fe6313108f2a17f8b03d942e45b99ecf295ce8",
          "e0": "26d17a74158fc4f667a202ec09cb72fb85bd2510c8d114084a36180275e88e8b",
          "e1": "c7850b63ff4f3a9ab758661201d31d8e43fad52a595420b5f8cf41fdbc5ec4a4",
          "z0": "5edb1380081430373a21aaab00b2af0bbc8b415047e2a6b56d9e566499101f6",
          "z1": "40ab04da4d56f81c171f18f3c5fdd88d39cbe2af49e5ad15d3c34497bacc1126"
         },
         {
          "a0": "8e89bdff27403d38ecf9cb68ac89bed0dfcebb098de8031ab5744e17219da923aa65654cb7e07a534778591d7f0b98cc2caafce90642435209f9127765c900b3741f535862f205cd6dec6552faeb56ef1e5b4f8c281ae1389267985e99dd324815debdc9aa93fa8d297988f70c5ad8148fcd5517b27abe81ceb93f45147b5586e2fca7c4cac73150d8d8eb297b34341443f92151daa01ec7df3a2e85c7c136ff0a90aeb6ee8f918d69c58670c6308c81d21fdfe57adbece413f9bc5dba9687b1181eab724a9133d23a9a4df18583ea8613740062f10ffeee71c3f5b67258bbc2f82ae7cdde655e3e95ab7566e733c8b6c612f2af28126d346d9de6ea8818b8ed",
          "a1": "5c8ce7399be5a17b398408d8c7784648c1d549c6a9104dbda629297008707c6bd7823378cde660a02470c1eac09099ef44a9963a4ba8474d22875533653a14e0f4c2532cbee00c672e6ea95342bfab8c8b15874a2b958b8d18247396edc0fc140ca50fa4719c82f08a59f4de163af96cc3479b2655b065c6b6c1bf6a34a7d335d524e2a6874ae0a9005bc8a2a1a46d0fd807d22877a382de15361a78570c03fc3843d9edd83a6d8ce379c2603bec5391203a404677fac4c4d5f3ee653f48d6be48fd89041f969834d176da22dc5cbd3557735c73e221740bd7bd090595f4d8e628f94303c71bb43acce915a3953f0b14edc1929e660f0a6cec5e583c0b8e29a6",
          "e0": "9981ed7a4f5e864c14716eb7a8b6e2578d63abb668990f66e7d56ba0baccdc9a",
          "e1": "18cd4ffa6735ea831df8e46b85b362e105d5373c53b214c9f662075dc4ff90f2",
          "z0": "4217149a37ef7e4cc14975c27a82830ee525b2b2eb034447825cbe8ecb405d18",
          "z1": "3b35739ea5049162e1bb1e2a25430f742d06fcea6ae836f3f69db8ae1cd54658"
         },
         {
          "a0": "11f7aab519316be5b060a5126729a55035dc56538531ec0fd509dcf7e7e9d6512c73839ebe66f3cfbc6d82ad7df00b3350d8dec50d02e3a79c4e37426c29fb5a445d6bca190bc3c4e5cb5dbf0c41e0666c989eba4fa28e0e4e7b959900bf1b2ab10c1af091a5bda904425b1d2cfc1700943d35e81a65c1242e18762c84a22847b349088fd618ad20f39fb1bda10ee63131c5a2b7660d9838c1a7407acf7ebe71e02fcf3033586a199d34fc01a6a276b809555837ea59e6db974fddb5c0c28b2ba46448bb2d14c59ee8161dbfeb0b9ea6605b4e44f747b50c70a70e03a71d41f3c84219a173763b64d22c71e29bd998f9c49f71b1c943f15d35f9debf7e151764",
          "a1": "8bc5a71efe995cb410b341cbe019b123bb4c6d3aef6151fc2326a25b92d7ed2a32f86db882eb729611b76489c5a4c39a2882dd1e129cb5f4dd473becb02c9464ebc735e5ecfdcda990e18ae3c376d74e2598de188d42405ab07e3e16af7cab35fb527f3f81b1423ab0212b0f1c21a8bbcda9706fa152a0053e9052d17d41fda1e15549e9aac12abbb9af39178176f0e0436d9c5dbee374f3d7c91fc25db4b385481337da1b04bc2901f81b813acfc709b8151946de0e81c8c910660d6780786db245a69a99677a3cbfc848f4a1824335cd29b30cd496288d17870e641afa86967ba8e1b5c187b4f2d4a373c54bea749216010bb315c32305c9adf9b64f0709b1",
          "e0": "8b407ac1be31315e183cbe9a625869760b844b906a98748148f40c5c367d0ce6",
          "e1": "6befc5e992c882bf92f26cd49f9ec5bcbd52014e3c85357f0caecb5fb5786a47",
          "z0": "57a8f643e38c56bd9ff9ca1305bf3727ec3a49fdf26bb9c09f1e962bd25d1dd6",
          "z1": "43a4e13a89cebb7b3b4cbad0aceca3d80a20ec4e74d746f6c4a26b0670e9daea"
         },
         {
          "a0": "5b90b4de4bbdf9d9e7aae017e4f716234b5b5c233249b978b9d49da1d4fea31d7c50100450643d7696e11d4d9cb807afadf739367701c30ec999aab13c90c4e55fd779109b47466091d100ce8afe5b53f421500c42dd722dd44748d9d1e249edbfbfe3898418e265653603d5411bc5048419db2d01e96e0967f2122ee9134920fe9c778dd45262ccf9a696045e8dc68b3878dbb069e487319e5bd6f54d4c8dcd2344c02aa29585487d553734499aa9e9cc9ff035446b1915e50d34a5889d065ff4a239417d48f6b56b905a20025a064bab62bd3019de11901e269c1c21a549d99ea07cd23d7dd9422373371f259d57d92671126dbc6eb4331a89227b103b0cad",
          "a1": "20c77e9c73cb40a06358440ad7e4c8c7bb9bf1b1a6ae5b855b67506ca9d8279056066df7f78ae2535abf649366aa8dfa5d21b9c656555fc09b5a2cc2d19c6721358e5067c3a053d720380d6bcc9407ba7fe7a01f9675372365f147ad428a8dda9fb8560439af8e34648ff93e9c0695bcf353d39580365337fdb175e9e58817798c0fa33f37a2676ebd39ef8540e67b4168d2191f27e1cb4d12d8bb1288fdb5b71ea3fefb57e2cf876b1d81a6486fb38c47857f37a022bbe9e3a81dc08bcec65f491ac5d8f18c3c387e0e0835ec8ffb1f8b1803bbcf51108445e83c77dea6e4d1d3ce12f2b492d7241526a3b9ab876e64802363b4cb57f97566b9da13b38031fa",
          "e0": "429f3b08042ecf708428f702c3f31d44bb4421b0615c314373cae7cc2b52b195",
          "e1": "b121cc8df67c6b347a8c211c8c4377292e071e657623a3ac938ef859b91278bd",
          "z0": "3d9ba11e98ab65ec51f840ef7a42989906e24940561ad21c357a72ba2cc2cbf0",
          "z1": "73ad4217c667ba2dab1a25f21c86c968eab124906316c10e4be110fefc1604d2"
         },
         {
          "a0": "5fb1fe4243de7e4c683ab78784b626d4d04aa2401e1dc0ddc14a4bd444beb67a8b78244188e125418d6338291759b1207e3b1dea5c8e8b2520ee20058033405c7af62a55b7aadda7be91d5ae47470ed2d0c5abd5294136c6048485990ddc7c31135000f0581b94afd9ee835fda77a2a660571bbe5660067237a03530f0fbe8c9a8e911c8885bbef3a5271f710b4743676c631407811c7980ec257d3efc524c6db22727fc4ff9d8b5a67f0e8fb74987d7705a70b750ae28a86465c6c73820c4de7aa21abe0ab4caa528f998ab573e81a796ac818925f64c91ad9550fc2b6206fb953fc7c646ce3fa334195cfa986bebb40034e5bf74a3efaf18dac4c0a7b9655e",
          "a1": "93fe2b8142b169e68fc705419b169d84e039e3d071c798b3e00a1affb596082a32ba0bfe8fd7597ae69b27a34a28f3d6f434835ca62b505826a457d0a9dc29644fc3748d9794ca71ab4ece7620f2d304df28d24ebeb43603b1906dfb71f9b16368469cf3fa66fdf819f55163461de805a694827fb9cefc25897dea9004e3e42a7b5f64066e0ec28596235419063a08aeb77908086f633d67e4613050b4b6944b9be1afdb7b4f29dcc0009360144a4fb9ec212a54ba4021c97e591c4282e562660d398783c008d7c731f972007c1528caa565ab2e70c7ec7870a179d45affef2de439e0e449392f14fab064552a2aea78d7de9be8253dccc57dffc393d772f5c1",
          "e0": "39285f40948f1db3ff9247698797426913c339ae0ca87903a1119791d549d59e",
          "e1": "1b160fba20033e5d028799acd76426ad84f8478c9993841cfb244af30b2ba30",
          "z0": "6eece28bf394c6ec90b8a33195e7e66cf0508b8826903d61ff129734f936c973",
          "z1": "91398c320d9b2cf3e4a0ab8a11a3e256f6e92fb4a2e50699bdd7e26a9513c16f"
         },
         {
          "a0": "42a42f4e8167e9180b7468cdb89f56043bfab448d2181ab349904698101dd584997e7732b2452889b5a3f147e521bd435d23089911f5e6a85a5a585b813f325987183e15a28e6879fdbabd018a3e9fde6a4ab7a2b47aa1bf9a25323fb588003362a94b727859c1d8109e3bd3849607cfd57b712c52df053dc3a2fc48b0db4bcb7d0025100ec4e06f9d2c35ea87d578cdcac817d5f08e7a4828d144e8a5a0be38951415de1b3c38eb4c95faf68d55ecb12437b97010a09878f0c2fdfc9da15ff36c5c25609da72e0e49a6af372d61fcec10b3f740966d7c59d3fca0438988064bd57110c11bbed43ad8889076a4e864be97ce3bd77a87795a5693372264e6587f",
          "a1": "2009fbcc5da0031b542055490a44af32faf4c6a12d8fd511fcd53a29b7dec74e051d88d352d0b190a62b0512db76ed45ab1f7a1a56d26ed8bdb5a394631e642b1d769908cd88fbae32b41bf66dd4edf21e43f7fc3b6063f808f98a9821f25f43acc1a1628aee301b1aaaa5784d786c9c2483030494e3ef473c3a89ee3be02f2f2dbe358c03df1e5166f03289b64b10cfc6528e5b8eeed3047a210b7e7f9a776e462b4456639221d98833b7fc16c46bd69fde8e0b119a175657307c2ffdf3284eb6c933d6ad7b22e437d7d88e27b6cb850b724eb8bc72b2a13ce92c372086263173c1c9df015faec74f6dd4668ae7967a0f368793e4c99d8717c6290156e24131",
          "e0": "94b0cf60c5b58caf8df6ed03c8b99af871e2b10b8dc9cef8d9f6ad004692786a",
          "e1": "6fa811e663957a1e630898a68d2b8b7bc213c09a53a19c5d8de7e10f2fb0131d",
          "z0": "11c7c40c2bf9785734cc6e8c91101662fb8ba6ce790a23167091d3d5e8eee10c",
          "z1": "837b7de165d47a85e5661fa72a5ed5120a345ec1944ad05856eb2c9b72420300"
         },
         {
          "a0": "a01d641120a2ec37e7378264979907f15c2d661a9c656884dc11699dbbaad2c17c41fe47d692770ad09a7263945dc9ecd0825c2471dd4fa92f2ddee3516653e25496521997b96e9ed83276e47ee3a53e6d7f0f6c578c3a3c83584f7d39763fe3a35f1a3a27a6aad631ba964e911e34efbbdec2636bb77e558bfc38f14427a19f1dc7d5ee8633f77716aecc33fd8cf5dcd8dc10d87acc189f2e1d21278300a284cb3f1c962f58981d2ceb37eabb8dc3cb866df001d1f51a38e7260e6d9a962b68c120c13197e69a1fc3fd3d3cdb8d42d962c625d854749eec0dbec86c82c76d8be77f5b2a44730cd4e662ba6f6ad0df28e0fa03a486f63f89d3fcf4d5be0dbae",
          "a1": "994187e6760f32a5f48d301d67c899f77bfea03704486ee386a92d6c2fba2415e77a3fbb4b1c1ef556b4901ab40e54aca2af0ed41e6740c616a63b698448dfa80565f8d289c387883d7dd53898f24806e1df5161add2dcf9f1c1854ffe076f6261b5d0fbe4666df1daa121941ee0f99ab9cd4b2a027fc727666c14238bf317d1b5578c78369ed99bbee301d2c70858c64c3a652542f690f3236b3965de8741f64de9adaa90547bf15bb8787d834d336871e86bfa94998571da72d061107e2551c54742dea048ad44efed9cfda5a212d67701778898221d46950d6fa6ed88c9b49bd61566806f36c7aa67959757ca9eaacc9bb4c8903164cbeb7bb65cbd53d174",
          "e0": "64d01c4c1294986c486601b5af484c3b6177aced0312edda10715278617a0f0e",
          "e1": "8f328bd84aaac6ed2a3b64bcc64f8566597c5980d9fe3f8270ab878e4473a178",
          "z0": "b2aede9307b7f0b0842ec36b3ee2627ce764f28baf0bf63531c0c0b73dee192",
          "z1": "a5e11ca0bb4cc60383e3e52f7025acb811f1b9948c4269cfed8e93dd8bfdd82"
         },
         {
          "a0": "5101a1e5285776423d25da038d987c18ae88df7d7e8b650d6a7a48dd9b93f630a29d4156a8c61d62d74eb7c4e1f0fc534d56c331b6db4e935469f10e089ada3c5efff9e0195ea157121bd8c420229a6353b7f0b98d6503f6d03bb4733b6096c810962200111e05f591eeedaec6469f8534fb6623d5a29b177eb34d6b82d1b178e0c244ce82dee09a5229c977ad91d781a80c95fbcc041f45dcaf29f8cf6e8bbec46fbd445484ed36588f964b3795c0ae9653a321b9a7ee293146c80e9d7fece95bea9c5c2bc89954c7fe0b9f3176bf7da2e90e7ed96a79a46ecaea78f25af03cc47e03073a13ed684af34f239b2c7be829db11d16e745cac0b3a00af87aa2883",
          "a1": "424566e93cb1fdc66c477dbbf8e438cb95046af0f12a8ff734733247780e3802faaf3b0389a25fba926ce38eccbb8c44552af2ec733c1fa05320e92fb8571c7f22b6ae10b243c8bf8ca57756329232a5a5c8eccea44d06f202515b5aaba56c4056e347c5f1f7075cf573dcf757a1537433492c96e75a68fdf741153dc2b8ee83375637e9a56f19fee84120676949a38c323d4e4bdc5c9dc9aead2d31e06e979d43c1674564477217feed5fdf9b91f140ae38502f20babf1db97cedde8527bbd135bcddaf852a1773150e982a8c50ede4d84c5c062a2eb0bd888649795fedd584c6b4fa1c78344e32879a80c7ee6eedd29e9620c25aeebb165e7f363be7700871",
          "e0": "20357ed24cfbd8894619c746b29c9f6b3b5ffab7b2ae3c6be950e7e64da0748d",
          "e1": "62276bcd2fd037e504e290f0811bbf59291f776202a705eea4a03ed8b8ab1b08",
          "z0": "647727646e9bb24a19e8f06ef7ee7e6a65acf14788d86673664cb32736b2d75c",
          "z1": "6705d2b923bb5186c7bbee05211818b2637f6ac7b376e27810ec97f196dedd6a"
         },
         {
          "a0": "4ea4557c0f764d03d08ba013fdda87d486174b883728d0a57d0e6919f562118b969324f1052208c761d5698bc6b30f6741ce8b373a29dc524d1a6bc042b3dcecf569b03405e44dfe943095be6698fd1ae62cb54c6313c6fe574574f581fc748c7f2f8c21132be910aa26175d1679ac009d50328f552082db8b519bb625db2b689f0b4cde52b2da31753afabd31e07c01390082625c2fec49a76dbaccf4a04159f8753e005e78006be12849cda370a069e842e7dad0968cb4fabd1a5c382f34f4407b2b6ce4631579f52906beff22ab70d41db6ba8565d80acd083213a37f4d0c84b63f30d16d8e614e86d07b1dc1bbcb534f7daace1ba6975e87575f14915bcf",
          "a1": "807a830a62367cbd26422c6106824cc9cf5d9ceecb6f95fdb364d1446cdd5ad2aa1be226634e7f5a36e71cc5a34ddf53c5a3e853d49d46cebe1f6f31ad4b55a92492d30eef937f8c1275ca190a90d364da29e67360bef96b5e59a1400bc2720ac35d8942320c5ebd9dc45a30e6d931d734f01a55cc487c2681b19dcf2d71a3b7d224890eac0d0da324d29818f9c705be8aa6f9ca353028b4b1979ab25da753cf3bf603070e425a69dd5f2845a0fdb9f7eee4ba46c4538aa591dafbb56ad396e1bd0ed8d8d37ab8c583baa51b06ad0f00d0dac6a2cc7bdeceea5ab0a8de8376f90e63041c786d13145987c3132c36c4759f7e17159f33d0756bf82e812d4c0c5d",
          "e0": "a92b8f26ef1b9a4f9feacec16ad7a81af0a04fddf4d9421caf78964dad6cc7dc",
          "e1": "ced8147f951cb46b76525b5b42db6469508f0169636175fcddb203d55e647fb7",
          "z0": "3e1e98893d82d7cb6908eaa61e7a463cd9a07948c5cbe5e131af08f09da3c1cb",
          "z1": "3b243157f00f6e61e49d44ceaf3b5f8c9dd7e194ff9317f6229aeebfafe6f6f3"
         },
         {
          "a0": "a5a5a9e223f29ff51eb3f9905bebce920429df650aab9ed1df0181ac4f09cbb9c23e34bd75a7bf210c5245c7907fefdff9a9f6b1f0d99085d7dc9bc53ce944860b1a115518889c12c21a9fa3c0c9f12cfe470beddb5a387a65f9c1d7e7f4a6754782c26fd447dec7adde8c098c6f68191606ab70004ca61cd685b1c64be065ef15af33519d75f95ec51c3a1d56e4276aacda83901e777acce8cb1f593785e41b75cd7936ddb51aeb6249beb2ee327a10ec5f3ae0ecb7744e5055293a0b4f18c2355a9f5155dae6a48ea11fbc558f9f72e56c117e25a61b464443790c443a5e6125e6f5a95a77a4afbeee2380d519b56e88610af69d586ebb9b613a3c0a90c1a7",
          "a1": "7b54fc3bb5237f5719743c91a86c7db21e5d053c0faf2b28da89a7d9adf6e80938af571bdb3983f86baf9349733f529b50359c870a2f796760ca329992c118a017648e675dd5f5605db705dbbd4354ffd54e9925084853f883958f0c6fcdc0012f404d7850271232d95cf9fca1674de477828a0777a524b33ef1bdb1e06f3b94920e6449aa61904209dbe64b59a0a9488c55909aec28f305d4f9c38e379a244afb47c055f4de1af160855c8469ccc061b71b36c9d6f7b698e14387435b8bc8480467db046b6a1618507f832ec5aabb97784d8c44e16d6158821eb7d02eaf1b6d80e8f7141056edb2c20ff2ffe6e2ee6a96773549fb9a230c1a1385faef289833",
          "e0": "7c2d606d519b8ddb560ac8dfcde6d62b6fd454acdd1695f41ea87adcc06129bd",
          "e1": "6b513e969bacac5e5dff80e67ff4e62837e2fa1636c31884920d19c02d8cf484",
          "z0": "384e15b7ff97cbeb406196b618d4578606c3851414318649889d045f383271bc",
          "z1": "a1b16df125f8add88ef3911186c1ac2d7c2e5c535a696cb76ee7dc978e0b55f5"
         }
        ]
       }
      }
     ]
    },
    "timestamp": 1793746572.5428674
   }
  }
 },
 {
  "id": "C02",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:56:13+00:00",
  "ms": 544,
  "reply": {
   "product": "zk",
   "preset": "risk_over_ceiling",
   "request": {
    "trajectory_id": "demo-z2",
    "agent_id": "demo-agent",
    "trace_steps": [
     {
      "step_index": 0,
      "action_type": "wire",
      "resource_id": "r",
      "risk_score": 0.97
     }
    ]
   },
   "reply": {
    "proof_id": "",
    "trajectory_id": "demo-z2",
    "agent_id": "demo-agent",
    "circuit_name": "CAIN-RISK-CEILING-RANGE-V1",
    "is_valid": false,
    "verdict": "INVALID_WITNESS_DOES_NOT_SATISFY_CIRCUIT",
    "public_inputs_hash": "",
    "trace_length": 1,
    "proof_bytes": 0,
    "prove_ms": 0.06,
    "verify_ms": 0.0,
    "violations": [
     "step 0: risk outside [0, ceiling]"
    ],
    "proved_by": "server",
    "bundle": null,
    "timestamp": 1793746573.6252537
   }
  }
 }
]