[
  {
    "name": "tasmlib_verifier_claim_instantiate_fiat_shamir_with_claim",
    "benchmark_result": {
      "clock_cycle_count": 172,
      "hash_table_height": 96,
      "u32_table_height": 10,
      "op_stack_table_height": 127,
      "ram_table_height": 12
    },
    "case": "CommonCase"
  },
  {
    "name": "tasmlib_verifier_claim_instantiate_fiat_shamir_with_claim",
    "benchmark_result": {
      "clock_cycle_count": 292,
      "hash_table_height": 216,
      "u32_table_height": 14,
      "op_stack_table_height": 207,
      "ram_table_height": 212
    },
    "case": "WorstCase"
  }
]