Skip to content

Instantly share code, notes, and snippets.

@leonardoalt

leonardoalt/metrics_baseline.json

Created April 2, 2026 09:19
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save leonardoalt/116252da97292c3efd65bffe5e99eda1 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save leonardoalt/116252da97292c3efd65bffe5e99eda1 to your computer and use it in GitHub Desktop.
Download ZIP
OpenVM metrics: keccak 100 iterations — BASELINE (32 registers)
Raw
metrics_baseline.json
{
"counter": [
{
"labels": [
[
"air_name",
"ProgramAir"
]
],
"metric": "quotient_deg",
"value": "1"
},
{
"labels": [
[
"air_name",
"ProgramAir"
]
],
"metric": "constraints",
"value": "4"
},
{
"labels": [
[
"air_name",
"ProgramAir"
]
],
"metric": "interactions",
"value": "1"
},
{
"labels": [
[
"air_name",
"VmConnectorAir"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmConnectorAir"
]
],
"metric": "constraints",
"value": "11"
},
{
"labels": [
[
"air_name",
"VmConnectorAir"
]
],
"metric": "interactions",
"value": "5"
},
{
"labels": [
[
"air_name",
"PersistentBoundaryAir<8>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"PersistentBoundaryAir<8>"
]
],
"metric": "constraints",
"value": "7"
},
{
"labels": [
[
"air_name",
"PersistentBoundaryAir<8>"
]
],
"metric": "interactions",
"value": "3"
},
{
"labels": [
[
"air_name",
"MemoryMerkleAir<8>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"MemoryMerkleAir<8>"
]
],
"metric": "constraints",
"value": "39"
},
{
"labels": [
[
"air_name",
"MemoryMerkleAir<8>"
]
],
"metric": "interactions",
"value": "4"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<2>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<2>"
]
],
"metric": "constraints",
"value": "12"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<2>"
]
],
"metric": "interactions",
"value": "5"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<4>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<4>"
]
],
"metric": "constraints",
"value": "12"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<4>"
]
],
"metric": "interactions",
"value": "5"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<8>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<8>"
]
],
"metric": "constraints",
"value": "12"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<8>"
]
],
"metric": "interactions",
"value": "5"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<16>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<16>"
]
],
"metric": "constraints",
"value": "12"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<16>"
]
],
"metric": "interactions",
"value": "5"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<32>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<32>"
]
],
"metric": "constraints",
"value": "12"
},
{
"labels": [
[
"air_name",
"AccessAdapterAir<32>"
]
],
"metric": "interactions",
"value": "5"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8>"
]
],
"metric": "constraints",
"value": "84"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8>"
]
],
"metric": "interactions",
"value": "25"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8>"
]
],
"metric": "constraints",
"value": "31"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8>"
]
],
"metric": "interactions",
"value": "24"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8>"
]
],
"metric": "constraints",
"value": "19"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8>"
]
],
"metric": "interactions",
"value": "19"
},
{
"labels": [
[
"air_name",
"RangeTupleCheckerAir<2>"
]
],
"metric": "quotient_deg",
"value": "1"
},
{
"labels": [
[
"air_name",
"RangeTupleCheckerAir<2>"
]
],
"metric": "constraints",
"value": "4"
},
{
"labels": [
[
"air_name",
"RangeTupleCheckerAir<2>"
]
],
"metric": "interactions",
"value": "1"
},
{
"labels": [
[
"air_name",
"Rv32HintStoreAir"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"Rv32HintStoreAir"
]
],
"metric": "constraints",
"value": "28"
},
{
"labels": [
[
"air_name",
"Rv32HintStoreAir"
]
],
"metric": "interactions",
"value": "18"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"
]
],
"metric": "constraints",
"value": "14"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"
]
],
"metric": "interactions",
"value": "12"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"
]
],
"metric": "constraints",
"value": "20"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"
]
],
"metric": "interactions",
"value": "16"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"
]
],
"metric": "constraints",
"value": "18"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"
]
],
"metric": "interactions",
"value": "10"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"
]
],
"metric": "constraints",
"value": "35"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"
]
],
"metric": "interactions",
"value": "13"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"
]
],
"metric": "constraints",
"value": "20"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"
]
],
"metric": "interactions",
"value": "11"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8>"
]
],
"metric": "constraints",
"value": "33"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8>"
]
],
"metric": "interactions",
"value": "18"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"
]
],
"metric": "constraints",
"value": "40"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"
]
],
"metric": "interactions",
"value": "17"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"
]
],
"metric": "constraints",
"value": "91"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"
]
],
"metric": "interactions",
"value": "24"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8>"
]
],
"metric": "constraints",
"value": "40"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8>"
]
],
"metric": "interactions",
"value": "18"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"
]
],
"metric": "constraints",
"value": "37"
},
{
"labels": [
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"
]
],
"metric": "interactions",
"value": "20"
},
{
"labels": [
[
"air_name",
"BitwiseOperationLookupAir<8>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"BitwiseOperationLookupAir<8>"
]
],
"metric": "constraints",
"value": "4"
},
{
"labels": [
[
"air_name",
"BitwiseOperationLookupAir<8>"
]
],
"metric": "interactions",
"value": "2"
},
{
"labels": [
[
"air_name",
"PhantomAir"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"PhantomAir"
]
],
"metric": "constraints",
"value": "5"
},
{
"labels": [
[
"air_name",
"PhantomAir"
]
],
"metric": "interactions",
"value": "3"
},
{
"labels": [
[
"air_name",
"Poseidon2PeripheryAir<BabyBearParameters>, 1>"
]
],
"metric": "quotient_deg",
"value": "2"
},
{
"labels": [
[
"air_name",
"Poseidon2PeripheryAir<BabyBearParameters>, 1>"
]
],
"metric": "constraints",
"value": "286"
},
{
"labels": [
[
"air_name",
"Poseidon2PeripheryAir<BabyBearParameters>, 1>"
]
],
"metric": "interactions",
"value": "1"
},
{
"labels": [
[
"air_name",
"VariableRangeCheckerAir"
]
],
"metric": "quotient_deg",
"value": "1"
},
{
"labels": [
[
"air_name",
"VariableRangeCheckerAir"
]
],
"metric": "constraints",
"value": "4"
},
{
"labels": [
[
"air_name",
"VariableRangeCheckerAir"
]
],
"metric": "interactions",
"value": "1"
},
{
"labels": [
[
"group",
"app_proof"
]
],
"metric": "fri.log_blowup",
"value": "1"
},
{
"labels": [
[
"group",
"app_proof"
]
],
"metric": "execute_metered_insns",
"value": "3484621"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "execute_preflight_insns",
"value": "3484621"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "main_cells_used",
"value": "138870279"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "total_cells_used",
"value": "323386753"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"0"
]
],
"metric": "weighted_sum",
"value": "10093316"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"0"
]
],
"metric": "threshold",
"value": "2013265921"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"1"
]
],
"metric": "weighted_sum",
"value": "29494528"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"1"
]
],
"metric": "threshold",
"value": "2013265921"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"2"
]
],
"metric": "weighted_sum",
"value": "5046658"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"2"
]
],
"metric": "threshold",
"value": "2013265921"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"3"
]
],
"metric": "weighted_sum",
"value": "36310276"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"3"
]
],
"metric": "threshold",
"value": "2013265921"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"4"
]
],
"metric": "weighted_sum",
"value": "2048"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"4"
]
],
"metric": "threshold",
"value": "2013265921"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"5"
]
],
"metric": "weighted_sum",
"value": "1024"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"5"
]
],
"metric": "threshold",
"value": "2013265921"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"6"
]
],
"metric": "weighted_sum",
"value": "13042560"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"6"
]
],
"metric": "threshold",
"value": "2013265921"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"7"
]
],
"metric": "weighted_sum",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"7"
]
],
"metric": "threshold",
"value": "2013265921"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"8"
]
],
"metric": "weighted_sum",
"value": "94909450"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"trace_height_constraint",
"8"
]
],
"metric": "threshold",
"value": "2013265921"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"ProgramAir"
],
[
"air_id",
"0"
]
],
"metric": "rows",
"value": "1024"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"ProgramAir"
],
[
"air_id",
"0"
]
],
"metric": "cells",
"value": "18432"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"ProgramAir"
],
[
"air_id",
"0"
]
],
"metric": "prep_cols",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"ProgramAir"
],
[
"air_id",
"0"
]
],
"metric": "main_cols",
"value": "10"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"ProgramAir"
],
[
"air_id",
"0"
]
],
"metric": "perm_cols",
"value": "8"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmConnectorAir"
],
[
"air_id",
"1"
]
],
"metric": "rows",
"value": "2"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmConnectorAir"
],
[
"air_id",
"1"
]
],
"metric": "cells",
"value": "42"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmConnectorAir"
],
[
"air_id",
"1"
]
],
"metric": "prep_cols",
"value": "1"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmConnectorAir"
],
[
"air_id",
"1"
]
],
"metric": "main_cols",
"value": "5"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmConnectorAir"
],
[
"air_id",
"1"
]
],
"metric": "perm_cols",
"value": "16"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"PersistentBoundaryAir<8>"
],
[
"air_id",
"2"
]
],
"metric": "rows",
"value": "512"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"PersistentBoundaryAir<8>"
],
[
"air_id",
"2"
]
],
"metric": "cells",
"value": "16384"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"PersistentBoundaryAir<8>"
],
[
"air_id",
"2"
]
],
"metric": "prep_cols",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"PersistentBoundaryAir<8>"
],
[
"air_id",
"2"
]
],
"metric": "main_cols",
"value": "20"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"PersistentBoundaryAir<8>"
],
[
"air_id",
"2"
]
],
"metric": "perm_cols",
"value": "12"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"MemoryMerkleAir<8>"
],
[
"air_id",
"3"
]
],
"metric": "rows",
"value": "512"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"MemoryMerkleAir<8>"
],
[
"air_id",
"3"
]
],
"metric": "cells",
"value": "24576"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"MemoryMerkleAir<8>"
],
[
"air_id",
"3"
]
],
"metric": "prep_cols",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"MemoryMerkleAir<8>"
],
[
"air_id",
"3"
]
],
"metric": "main_cols",
"value": "32"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"MemoryMerkleAir<8>"
],
[
"air_id",
"3"
]
],
"metric": "perm_cols",
"value": "16"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"AccessAdapterAir<8>"
],
[
"air_id",
"6"
]
],
"metric": "rows",
"value": "512"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"AccessAdapterAir<8>"
],
[
"air_id",
"6"
]
],
"metric": "cells",
"value": "16896"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"AccessAdapterAir<8>"
],
[
"air_id",
"6"
]
],
"metric": "prep_cols",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"AccessAdapterAir<8>"
],
[
"air_id",
"6"
]
],
"metric": "main_cols",
"value": "17"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"AccessAdapterAir<8>"
],
[
"air_id",
"6"
]
],
"metric": "perm_cols",
"value": "16"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"RangeTupleCheckerAir<2>"
],
[
"air_id",
"12"
]
],
"metric": "rows",
"value": "524288"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"RangeTupleCheckerAir<2>"
],
[
"air_id",
"12"
]
],
"metric": "cells",
"value": "4718592"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"RangeTupleCheckerAir<2>"
],
[
"air_id",
"12"
]
],
"metric": "prep_cols",
"value": "2"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"RangeTupleCheckerAir<2>"
],
[
"air_id",
"12"
]
],
"metric": "main_cols",
"value": "1"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"RangeTupleCheckerAir<2>"
],
[
"air_id",
"12"
]
],
"metric": "perm_cols",
"value": "8"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"
],
[
"air_id",
"14"
]
],
"metric": "rows",
"value": "128"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"
],
[
"air_id",
"14"
]
],
"metric": "cells",
"value": "6144"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"
],
[
"air_id",
"14"
]
],
"metric": "prep_cols",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"
],
[
"air_id",
"14"
]
],
"metric": "main_cols",
"value": "20"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"
],
[
"air_id",
"14"
]
],
"metric": "perm_cols",
"value": "28"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"
],
[
"air_id",
"15"
]
],
"metric": "rows",
"value": "256"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"
],
[
"air_id",
"15"
]
],
"metric": "cells",
"value": "16384"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"
],
[
"air_id",
"15"
]
],
"metric": "prep_cols",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"
],
[
"air_id",
"15"
]
],
"metric": "main_cols",
"value": "28"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"
],
[
"air_id",
"15"
]
],
"metric": "perm_cols",
"value": "36"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"
],
[
"air_id",
"16"
]
],
"metric": "rows",
"value": "65536"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"
],
[
"air_id",
"16"
]
],
"metric": "cells",
"value": "3014656"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"
],
[
"air_id",
"16"
]
],
"metric": "prep_cols",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"
],
[
"air_id",
"16"
]
],
"metric": "main_cols",
"value": "18"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"
],
[
"air_id",
"16"
]
],
"metric": "perm_cols",
"value": "28"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"
],
[
"air_id",
"17"
]
],
"metric": "rows",
"value": "131072"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"
],
[
"air_id",
"17"
]
],
"metric": "cells",
"value": "8388608"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"
],
[
"air_id",
"17"
]
],
"metric": "prep_cols",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"
],
[
"air_id",
"17"
]
],
"metric": "main_cols",
"value": "32"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"
],
[
"air_id",
"17"
]
],
"metric": "perm_cols",
"value": "32"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"
],
[
"air_id",
"18"
]
],
"metric": "rows",
"value": "131072"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"
],
[
"air_id",
"18"
]
],
"metric": "cells",
"value": "7077888"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"
],
[
"air_id",
"18"
]
],
"metric": "prep_cols",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"
],
[
"air_id",
"18"
]
],
"metric": "main_cols",
"value": "26"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"
],
[
"air_id",
"18"
]
],
"metric": "perm_cols",
"value": "28"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"
],
[
"air_id",
"20"
]
],
"metric": "rows",
"value": "2097152"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"
],
[
"air_id",
"20"
]
],
"metric": "cells",
"value": "195035136"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"
],
[
"air_id",
"20"
]
],
"metric": "prep_cols",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"
],
[
"air_id",
"20"
]
],
"metric": "main_cols",
"value": "41"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"
],
[
"air_id",
"20"
]
],
"metric": "perm_cols",
"value": "52"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"
],
[
"air_id",
"21"
]
],
"metric": "rows",
"value": "524288"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"
],
[
"air_id",
"21"
]
],
"metric": "cells",
"value": "55050240"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"
],
[
"air_id",
"21"
]
],
"metric": "prep_cols",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"
],
[
"air_id",
"21"
]
],
"metric": "main_cols",
"value": "53"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"
],
[
"air_id",
"21"
]
],
"metric": "perm_cols",
"value": "52"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"
],
[
"air_id",
"23"
]
],
"metric": "rows",
"value": "2097152"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"
],
[
"air_id",
"23"
]
],
"metric": "cells",
"value": "184549376"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"
],
[
"air_id",
"23"
]
],
"metric": "prep_cols",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"
],
[
"air_id",
"23"
]
],
"metric": "main_cols",
"value": "36"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"
],
[
"air_id",
"23"
]
],
"metric": "perm_cols",
"value": "52"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"BitwiseOperationLookupAir<8>"
],
[
"air_id",
"24"
]
],
"metric": "rows",
"value": "65536"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"BitwiseOperationLookupAir<8>"
],
[
"air_id",
"24"
]
],
"metric": "cells",
"value": "655360"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"BitwiseOperationLookupAir<8>"
],
[
"air_id",
"24"
]
],
"metric": "prep_cols",
"value": "3"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"BitwiseOperationLookupAir<8>"
],
[
"air_id",
"24"
]
],
"metric": "main_cols",
"value": "2"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"BitwiseOperationLookupAir<8>"
],
[
"air_id",
"24"
]
],
"metric": "perm_cols",
"value": "8"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"Poseidon2PeripheryAir<BabyBearParameters>, 1>"
],
[
"air_id",
"26"
]
],
"metric": "rows",
"value": "512"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"Poseidon2PeripheryAir<BabyBearParameters>, 1>"
],
[
"air_id",
"26"
]
],
"metric": "cells",
"value": "157696"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"Poseidon2PeripheryAir<BabyBearParameters>, 1>"
],
[
"air_id",
"26"
]
],
"metric": "prep_cols",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"Poseidon2PeripheryAir<BabyBearParameters>, 1>"
],
[
"air_id",
"26"
]
],
"metric": "main_cols",
"value": "300"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"Poseidon2PeripheryAir<BabyBearParameters>, 1>"
],
[
"air_id",
"26"
]
],
"metric": "perm_cols",
"value": "8"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VariableRangeCheckerAir"
],
[
"air_id",
"27"
]
],
"metric": "rows",
"value": "262144"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VariableRangeCheckerAir"
],
[
"air_id",
"27"
]
],
"metric": "cells",
"value": "2359296"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VariableRangeCheckerAir"
],
[
"air_id",
"27"
]
],
"metric": "prep_cols",
"value": "2"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VariableRangeCheckerAir"
],
[
"air_id",
"27"
]
],
"metric": "main_cols",
"value": "1"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
],
[
"air_name",
"VariableRangeCheckerAir"
],
[
"air_id",
"27"
]
],
"metric": "perm_cols",
"value": "8"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "total_cells",
"value": "461105706"
}
],
"gauge": [
{
"labels": [
[
"group",
"app_proof"
]
],
"metric": "execute_metered_time_ms",
"value": "95"
},
{
"labels": [
[
"group",
"app_proof"
]
],
"metric": "execute_metered_insn_mi/s",
"value": "36.39252853756096"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "execute_preflight_insn_mi/s",
"value": "8.043796715650291"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "memory_finalize_time_ms",
"value": "0"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "execute_preflight_time_ms",
"value": "438"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "memory_to_vec_partition_time_ms",
"value": "73"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "single_trace_gen_time_ms",
"value": "191"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "system_trace_gen_time_ms",
"value": "683"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "trace_gen_time_ms",
"value": "683"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "main_trace_commit_time_ms",
"value": "4538"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "generate_perm_trace_time_ms",
"value": "1126"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "perm_trace_commit_time_ms",
"value": "4644"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "quotient_poly_compute_time_ms",
"value": "4073"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "quotient_poly_commit_time_ms",
"value": "1370"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "pcs_opening_time_ms",
"value": "4171"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "stark_prove_excluding_trace_time_ms",
"value": "19949"
},
{
"labels": [
[
"segment",
"0"
],
[
"group",
"app_proof"
]
],
"metric": "total_proof_time_ms",
"value": "22905"
},
{
"labels": [
[
"group",
"app_proof"
]
],
"metric": "prove_segment_time_ms",
"value": "22905"
},
{
"labels": [
[
"group",
"app_proof"
]
],
"metric": "compute_user_public_values_proof_time_ms",
"value": "0"
},
{
"labels": [],
"metric": "app_prove_time_ms",
"value": "23019"
}
]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment