Skip to content

Instantly share code, notes, and snippets.

@leonardoalt

leonardoalt/metrics_combined.json

Created April 2, 2026 09:22
Show Gist options

  • Select an option

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

Select an option

Learn more about clone URLs
Save leonardoalt/9cebb14b86c9c6beaedba735693b4c8c to your computer and use it in GitHub Desktop.
Download ZIP
OpenVM metrics combined: keccak 100 iterations — baseline (32 regs) vs extended (1024 regs)
Raw
metrics_combined.json
{"metrics_baseline": {"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"}]}, "metrics_extended": {"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": "3212910"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "execute_preflight_insns", "value": "3212910"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "main_cells_used", "value": "127896844"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "total_cells_used", "value": "298398042"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "weighted_sum", "value": "7995652"}, {"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": "23202304"}, {"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": "3997826"}, {"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": "27920388"}, {"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": "13041792"}, {"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": "77080074"}, {"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<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "rows", "value": "128"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "cells", "value": "8192"}, {"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": "1048576"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "cells", "value": "97517568"}, {"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": "363573802"}], "gauge": [{"labels": [["group", "app_proof"]], "metric": "execute_metered_time_ms", "value": "82"}, {"labels": [["group", "app_proof"]], "metric": "execute_metered_insn_mi/s", "value": "39.11599990260294"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "execute_preflight_insn_mi/s", "value": "8.182443290488694"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "memory_finalize_time_ms", "value": "1"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "execute_preflight_time_ms", "value": "399"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "memory_to_vec_partition_time_ms", "value": "71"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "single_trace_gen_time_ms", "value": "206"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "system_trace_gen_time_ms", "value": "653"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "trace_gen_time_ms", "value": "653"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "main_trace_commit_time_ms", "value": "4226"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "generate_perm_trace_time_ms", "value": "914"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "perm_trace_commit_time_ms", "value": "4047"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "quotient_poly_compute_time_ms", "value": "3198"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "quotient_poly_commit_time_ms", "value": "1348"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "pcs_opening_time_ms", "value": "3608"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "stark_prove_excluding_trace_time_ms", "value": "17375"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "total_proof_time_ms", "value": "20636"}, {"labels": [["group", "app_proof"]], "metric": "prove_segment_time_ms", "value": "20636"}, {"labels": [["group", "app_proof"]], "metric": "compute_user_public_values_proof_time_ms", "value": "0"}, {"labels": [], "metric": "app_prove_time_ms", "value": "20736"}]}}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment