Skip to content

Instantly share code, notes, and snippets.

@leonardoalt

leonardoalt/metrics_combined_1000.json

Created April 2, 2026 09:32
Show Gist options

  • Select an option

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

Select an option

Learn more about clone URLs
Save leonardoalt/acfa2a722c08ca0a0326bef3c06a01de to your computer and use it in GitHub Desktop.
Download ZIP
OpenVM metrics combined: keccak 1000 iterations — baseline (32 regs) vs extended (1024 regs)
Raw
metrics_combined_1000.json
{"metrics_baseline_1000": {"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": "34846021"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "execute_preflight_insns", "value": "9538000"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "main_cells_used", "value": "378459129"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "total_cells_used", "value": "868557679"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "weighted_sum", "value": "23071748"}, {"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": "66591744"}, {"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": "11535874"}, {"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": "85469188"}, {"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": "31198720"}, {"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": "218789386"}, {"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": "512"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "cells", "value": "24576"}, {"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": "1024"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "cells", "value": "65536"}, {"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": "262144"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "cells", "value": "12058624"}, {"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": "524288"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "cells", "value": "33554432"}, {"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": "262144"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "cells", "value": "14155776"}, {"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": "4194304"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "cells", "value": "390070272"}, {"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": "2097152"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "cells", "value": "220200960"}, {"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": "4194304"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "cells", "value": "369098752"}, {"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": "1047196202"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "execute_preflight_insns", "value": "9538000"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "main_cells_used", "value": "378453879"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "total_cells_used", "value": "868546881"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "weighted_sum", "value": "23071748"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "1"]], "metric": "weighted_sum", "value": "66590720"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "1"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "2"]], "metric": "weighted_sum", "value": "11535874"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "2"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "3"]], "metric": "weighted_sum", "value": "85468676"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "3"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "4"]], "metric": "weighted_sum", "value": "1792"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "4"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "5"]], "metric": "weighted_sum", "value": "768"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "5"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "6"]], "metric": "weighted_sum", "value": "31198720"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "6"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "7"]], "metric": "weighted_sum", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "7"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "8"]], "metric": "weighted_sum", "value": "218787850"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "8"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "rows", "value": "1024"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "cells", "value": "18432"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "main_cols", "value": "10"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "rows", "value": "2"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "cells", "value": "42"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "prep_cols", "value": "1"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "main_cols", "value": "5"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "rows", "value": "256"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "cells", "value": "8192"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "main_cols", "value": "20"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "perm_cols", "value": "12"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "cells", "value": "24576"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "main_cols", "value": "32"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "rows", "value": "256"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "cells", "value": "8448"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "main_cols", "value": "17"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "rows", "value": "524288"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "cells", "value": "4718592"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "prep_cols", "value": "2"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "main_cols", "value": "1"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "cells", "value": "24576"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "main_cols", "value": "20"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "rows", "value": "1024"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "cells", "value": "65536"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "main_cols", "value": "28"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "perm_cols", "value": "36"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "cells", "value": "12058624"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "main_cols", "value": "18"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "rows", "value": "524288"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "cells", "value": "33554432"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "main_cols", "value": "32"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "perm_cols", "value": "32"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "cells", "value": "14155776"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "main_cols", "value": "26"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "rows", "value": "4194304"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "cells", "value": "390070272"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "main_cols", "value": "41"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "rows", "value": "2097152"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "cells", "value": "220200960"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "main_cols", "value": "53"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "rows", "value": "4194304"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "cells", "value": "369098752"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "main_cols", "value": "36"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "rows", "value": "65536"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "cells", "value": "655360"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "prep_cols", "value": "3"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "main_cols", "value": "2"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "rows", "value": "1024"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "cells", "value": "315392"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "main_cols", "value": "300"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "cells", "value": "2359296"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "prep_cols", "value": "2"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "main_cols", "value": "1"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "total_cells", "value": "1047337258"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "execute_preflight_insns", "value": "9538000"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "main_cells_used", "value": "378453880"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "total_cells_used", "value": "868546906"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "weighted_sum", "value": "23071748"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "1"]], "metric": "weighted_sum", "value": "66590720"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "1"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "2"]], "metric": "weighted_sum", "value": "11535874"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "2"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "3"]], "metric": "weighted_sum", "value": "85468676"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "3"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "4"]], "metric": "weighted_sum", "value": "1792"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "4"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "5"]], "metric": "weighted_sum", "value": "768"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "5"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "6"]], "metric": "weighted_sum", "value": "31198720"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "6"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "7"]], "metric": "weighted_sum", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "7"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "8"]], "metric": "weighted_sum", "value": "218787850"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "8"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "rows", "value": "1024"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "cells", "value": "18432"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "main_cols", "value": "10"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "rows", "value": "2"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "cells", "value": "42"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "prep_cols", "value": "1"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "main_cols", "value": "5"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "rows", "value": "256"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "cells", "value": "8192"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "main_cols", "value": "20"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "perm_cols", "value": "12"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "cells", "value": "24576"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "main_cols", "value": "32"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "rows", "value": "256"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "cells", "value": "8448"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "main_cols", "value": "17"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "rows", "value": "524288"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "cells", "value": "4718592"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "prep_cols", "value": "2"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "main_cols", "value": "1"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "cells", "value": "24576"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "main_cols", "value": "20"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "rows", "value": "1024"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "cells", "value": "65536"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "main_cols", "value": "28"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "perm_cols", "value": "36"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "cells", "value": "12058624"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "main_cols", "value": "18"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "rows", "value": "524288"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "cells", "value": "33554432"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "main_cols", "value": "32"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "perm_cols", "value": "32"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "cells", "value": "14155776"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "main_cols", "value": "26"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "rows", "value": "4194304"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "cells", "value": "390070272"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "main_cols", "value": "41"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "rows", "value": "2097152"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "cells", "value": "220200960"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "main_cols", "value": "53"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "rows", "value": "4194304"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "cells", "value": "369098752"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "main_cols", "value": "36"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "rows", "value": "65536"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "cells", "value": "655360"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "prep_cols", "value": "3"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "main_cols", "value": "2"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "rows", "value": "1024"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "cells", "value": "315392"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "main_cols", "value": "300"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "cells", "value": "2359296"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "prep_cols", "value": "2"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "main_cols", "value": "1"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "total_cells", "value": "1047337258"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "execute_preflight_insns", "value": "6232021"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "main_cells_used", "value": "247604717"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "total_cells_used", "value": "570808283"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "weighted_sum", "value": "19924484"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "1"]], "metric": "weighted_sum", "value": "58461696"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "1"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "2"]], "metric": "weighted_sum", "value": "9962242"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "2"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "3"]], "metric": "weighted_sum", "value": "72094724"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "3"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "4"]], "metric": "weighted_sum", "value": "1792"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "4"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "5"]], "metric": "weighted_sum", "value": "768"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "5"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "6"]], "metric": "weighted_sum", "value": "26085120"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "6"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "7"]], "metric": "weighted_sum", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "7"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "8"]], "metric": "weighted_sum", "value": "187449866"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "8"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "rows", "value": "1024"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "cells", "value": "18432"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "main_cols", "value": "10"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "rows", "value": "2"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "cells", "value": "42"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "prep_cols", "value": "1"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "main_cols", "value": "5"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "rows", "value": "256"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "cells", "value": "8192"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "main_cols", "value": "20"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "perm_cols", "value": "12"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "cells", "value": "24576"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "main_cols", "value": "32"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "rows", "value": "256"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "cells", "value": "8448"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "main_cols", "value": "17"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "rows", "value": "524288"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "cells", "value": "4718592"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "prep_cols", "value": "2"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "main_cols", "value": "1"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "rows", "value": "256"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "cells", "value": "12288"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "main_cols", "value": "20"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>"], ["air_id", "14"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "cells", "value": "32768"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "main_cols", "value": "28"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "perm_cols", "value": "36"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "rows", "value": "131072"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "cells", "value": "6029312"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "main_cols", "value": "18"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "cells", "value": "16777216"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "main_cols", "value": "32"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "perm_cols", "value": "32"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "rows", "value": "131072"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "cells", "value": "7077888"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "main_cols", "value": "26"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "rows", "value": "4194304"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "cells", "value": "390070272"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "main_cols", "value": "41"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "rows", "value": "1048576"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "cells", "value": "110100480"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "main_cols", "value": "53"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "rows", "value": "4194304"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "cells", "value": "369098752"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "main_cols", "value": "36"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "rows", "value": "65536"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "cells", "value": "655360"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "prep_cols", "value": "3"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "main_cols", "value": "2"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "cells", "value": "157696"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "main_cols", "value": "300"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "cells", "value": "2359296"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "prep_cols", "value": "2"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "main_cols", "value": "1"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "total_cells", "value": "907149610"}], "gauge": [{"labels": [["group", "app_proof"]], "metric": "execute_metered_time_ms", "value": "936"}, {"labels": [["group", "app_proof"]], "metric": "execute_metered_insn_mi/s", "value": "37.21310969456135"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "execute_preflight_insn_mi/s", "value": "7.997893614095344"}, {"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": "1198"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "memory_to_vec_partition_time_ms", "value": "72"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "single_trace_gen_time_ms", "value": "390"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "system_trace_gen_time_ms", "value": "1364"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "trace_gen_time_ms", "value": "1364"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "main_trace_commit_time_ms", "value": "9641"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "generate_perm_trace_time_ms", "value": "2417"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "perm_trace_commit_time_ms", "value": "10431"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "quotient_poly_compute_time_ms", "value": "9038"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "quotient_poly_commit_time_ms", "value": "2922"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "pcs_opening_time_ms", "value": "5807"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "stark_prove_excluding_trace_time_ms", "value": "40303"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "total_proof_time_ms", "value": "44576"}, {"labels": [["group", "app_proof"]], "metric": "prove_segment_time_ms", "value": "37972"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "execute_preflight_insn_mi/s", "value": "7.783574519687841"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "memory_finalize_time_ms", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "execute_preflight_time_ms", "value": "1230"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "memory_to_vec_partition_time_ms", "value": "55"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "single_trace_gen_time_ms", "value": "374"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "system_trace_gen_time_ms", "value": "1039"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "trace_gen_time_ms", "value": "1039"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "main_trace_commit_time_ms", "value": "9510"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "generate_perm_trace_time_ms", "value": "2461"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "perm_trace_commit_time_ms", "value": "10399"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "quotient_poly_compute_time_ms", "value": "9289"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "quotient_poly_commit_time_ms", "value": "2773"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "pcs_opening_time_ms", "value": "5514"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "stark_prove_excluding_trace_time_ms", "value": "39952"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "total_proof_time_ms", "value": "43403"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "execute_preflight_insn_mi/s", "value": "7.576281108783736"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "memory_finalize_time_ms", "value": "1"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "execute_preflight_time_ms", "value": "1264"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "memory_to_vec_partition_time_ms", "value": "54"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "single_trace_gen_time_ms", "value": "373"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "system_trace_gen_time_ms", "value": "1031"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "trace_gen_time_ms", "value": "1031"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "main_trace_commit_time_ms", "value": "9431"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "generate_perm_trace_time_ms", "value": "2391"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "perm_trace_commit_time_ms", "value": "10379"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "quotient_poly_compute_time_ms", "value": "9259"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "quotient_poly_commit_time_ms", "value": "2772"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "pcs_opening_time_ms", "value": "5139"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "stark_prove_excluding_trace_time_ms", "value": "39383"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "total_proof_time_ms", "value": "42869"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "execute_preflight_insn_mi/s", "value": "7.511119601400978"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "memory_finalize_time_ms", "value": "1"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "execute_preflight_time_ms", "value": "835"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "memory_to_vec_partition_time_ms", "value": "54"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "single_trace_gen_time_ms", "value": "247"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "system_trace_gen_time_ms", "value": "738"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "trace_gen_time_ms", "value": "738"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "main_trace_commit_time_ms", "value": "8196"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "generate_perm_trace_time_ms", "value": "2111"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "perm_trace_commit_time_ms", "value": "9139"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "quotient_poly_compute_time_ms", "value": "7872"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "quotient_poly_commit_time_ms", "value": "2472"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "pcs_opening_time_ms", "value": "5387"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "stark_prove_excluding_trace_time_ms", "value": "35233"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "total_proof_time_ms", "value": "37972"}, {"labels": [["group", "app_proof"]], "metric": "compute_user_public_values_proof_time_ms", "value": "0"}, {"labels": [], "metric": "app_prove_time_ms", "value": "169778"}]}, "metrics_extended_1000": {"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": "32129010"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "execute_preflight_insns", "value": "8861000"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "main_cells_used", "value": "351059783"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "total_cells_used", "value": "806159137"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "weighted_sum", "value": "23069700"}, {"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": "66588672"}, {"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": "11534850"}, {"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": "85464068"}, {"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": "31195648"}, {"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": "218775050"}, {"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": "512"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "cells", "value": "32768"}, {"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": "262144"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "cells", "value": "12058624"}, {"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": "524288"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "cells", "value": "33554432"}, {"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": "262144"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "cells", "value": "14155776"}, {"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": "4194304"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "cells", "value": "390070272"}, {"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": "2097152"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "cells", "value": "220200960"}, {"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": "4194304"}, {"labels": [["segment", "0"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "cells", "value": "369098752"}, {"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": "1047138858"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "execute_preflight_insns", "value": "8861000"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "main_cells_used", "value": "351059544"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "total_cells_used", "value": "806158162"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "weighted_sum", "value": "23069700"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "1"]], "metric": "weighted_sum", "value": "66588672"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "1"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "2"]], "metric": "weighted_sum", "value": "11534850"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "2"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "3"]], "metric": "weighted_sum", "value": "85464068"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "3"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "4"]], "metric": "weighted_sum", "value": "2048"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "4"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "5"]], "metric": "weighted_sum", "value": "1024"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "5"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "6"]], "metric": "weighted_sum", "value": "31195648"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "6"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "7"]], "metric": "weighted_sum", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "7"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "8"]], "metric": "weighted_sum", "value": "218775562"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["trace_height_constraint", "8"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "rows", "value": "1024"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "cells", "value": "18432"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "main_cols", "value": "10"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "rows", "value": "2"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "cells", "value": "42"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "prep_cols", "value": "1"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "main_cols", "value": "5"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "cells", "value": "16384"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "main_cols", "value": "20"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "perm_cols", "value": "12"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "cells", "value": "24576"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "main_cols", "value": "32"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "cells", "value": "16896"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "main_cols", "value": "17"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "rows", "value": "524288"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "cells", "value": "4718592"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "prep_cols", "value": "2"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "main_cols", "value": "1"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "cells", "value": "32768"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "main_cols", "value": "28"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "perm_cols", "value": "36"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "cells", "value": "12058624"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "main_cols", "value": "18"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "rows", "value": "524288"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "cells", "value": "33554432"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "main_cols", "value": "32"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "perm_cols", "value": "32"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "cells", "value": "14155776"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "main_cols", "value": "26"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "rows", "value": "4194304"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "cells", "value": "390070272"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "main_cols", "value": "41"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "rows", "value": "2097152"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "cells", "value": "220200960"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "main_cols", "value": "53"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "rows", "value": "4194304"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "cells", "value": "369098752"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "main_cols", "value": "36"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "rows", "value": "65536"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "cells", "value": "655360"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "prep_cols", "value": "3"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "main_cols", "value": "2"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "rows", "value": "1024"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "cells", "value": "315392"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "main_cols", "value": "300"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "cells", "value": "2359296"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "prep_cols", "value": "2"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "main_cols", "value": "1"}, {"labels": [["segment", "1"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "total_cells", "value": "1047296554"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "execute_preflight_insns", "value": "8861000"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "main_cells_used", "value": "351059544"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "total_cells_used", "value": "806158162"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "weighted_sum", "value": "23069700"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "1"]], "metric": "weighted_sum", "value": "66588672"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "1"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "2"]], "metric": "weighted_sum", "value": "11534850"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "2"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "3"]], "metric": "weighted_sum", "value": "85464068"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "3"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "4"]], "metric": "weighted_sum", "value": "2048"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "4"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "5"]], "metric": "weighted_sum", "value": "1024"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "5"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "6"]], "metric": "weighted_sum", "value": "31195648"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "6"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "7"]], "metric": "weighted_sum", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "7"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "8"]], "metric": "weighted_sum", "value": "218775562"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["trace_height_constraint", "8"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "rows", "value": "1024"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "cells", "value": "18432"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "main_cols", "value": "10"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "rows", "value": "2"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "cells", "value": "42"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "prep_cols", "value": "1"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "main_cols", "value": "5"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "cells", "value": "16384"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "main_cols", "value": "20"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "perm_cols", "value": "12"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "cells", "value": "24576"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "main_cols", "value": "32"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "cells", "value": "16896"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "main_cols", "value": "17"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "rows", "value": "524288"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "cells", "value": "4718592"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "prep_cols", "value": "2"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "main_cols", "value": "1"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "cells", "value": "32768"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "main_cols", "value": "28"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "perm_cols", "value": "36"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "cells", "value": "12058624"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "main_cols", "value": "18"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "rows", "value": "524288"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "cells", "value": "33554432"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "main_cols", "value": "32"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "perm_cols", "value": "32"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "cells", "value": "14155776"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "main_cols", "value": "26"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "rows", "value": "4194304"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "cells", "value": "390070272"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "main_cols", "value": "41"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "rows", "value": "2097152"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "cells", "value": "220200960"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "main_cols", "value": "53"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "rows", "value": "4194304"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "cells", "value": "369098752"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "main_cols", "value": "36"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "rows", "value": "65536"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "cells", "value": "655360"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "prep_cols", "value": "3"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "main_cols", "value": "2"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "rows", "value": "1024"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "cells", "value": "315392"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "main_cols", "value": "300"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "cells", "value": "2359296"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "prep_cols", "value": "2"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "main_cols", "value": "1"}, {"labels": [["segment", "2"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "total_cells", "value": "1047296554"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "execute_preflight_insns", "value": "5546010"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "main_cells_used", "value": "220080095"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "total_cells_used", "value": "508141509"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "weighted_sum", "value": "15729156"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "0"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "1"]], "metric": "weighted_sum", "value": "45878272"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "1"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "2"]], "metric": "weighted_sum", "value": "7864578"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "2"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "3"]], "metric": "weighted_sum", "value": "55315460"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "3"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "4"]], "metric": "weighted_sum", "value": "2048"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "4"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "5"]], "metric": "weighted_sum", "value": "1024"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "5"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "6"]], "metric": "weighted_sum", "value": "26083584"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "6"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "7"]], "metric": "weighted_sum", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "7"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "8"]], "metric": "weighted_sum", "value": "151793674"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["trace_height_constraint", "8"]], "metric": "threshold", "value": "2013265921"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "rows", "value": "1024"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "cells", "value": "18432"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "main_cols", "value": "10"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "ProgramAir"], ["air_id", "0"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "rows", "value": "2"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "cells", "value": "42"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "prep_cols", "value": "1"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "main_cols", "value": "5"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmConnectorAir"], ["air_id", "1"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "cells", "value": "16384"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "main_cols", "value": "20"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "PersistentBoundaryAir<8>"], ["air_id", "2"]], "metric": "perm_cols", "value": "12"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "cells", "value": "24576"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "main_cols", "value": "32"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "MemoryMerkleAir<8>"], ["air_id", "3"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "rows", "value": "512"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "cells", "value": "16896"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "main_cols", "value": "17"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "AccessAdapterAir<8>"], ["air_id", "6"]], "metric": "perm_cols", "value": "16"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "rows", "value": "524288"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "cells", "value": "4718592"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "prep_cols", "value": "2"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "main_cols", "value": "1"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "RangeTupleCheckerAir<2>"], ["air_id", "12"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "rows", "value": "256"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "cells", "value": "16384"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "main_cols", "value": "28"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>"], ["air_id", "15"]], "metric": "perm_cols", "value": "36"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "rows", "value": "131072"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "cells", "value": "6029312"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "main_cols", "value": "18"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>"], ["air_id", "16"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "cells", "value": "16777216"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "main_cols", "value": "32"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>"], ["air_id", "17"]], "metric": "perm_cols", "value": "32"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "rows", "value": "131072"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "cells", "value": "7077888"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "main_cols", "value": "26"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>"], ["air_id", "18"]], "metric": "perm_cols", "value": "28"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "rows", "value": "2097152"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "cells", "value": "195035136"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "main_cols", "value": "41"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>"], ["air_id", "20"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "rows", "value": "1048576"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "cells", "value": "110100480"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "main_cols", "value": "53"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>"], ["air_id", "21"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "rows", "value": "4194304"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "cells", "value": "369098752"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "main_cols", "value": "36"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>"], ["air_id", "23"]], "metric": "perm_cols", "value": "52"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "rows", "value": "65536"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "cells", "value": "655360"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "prep_cols", "value": "3"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "main_cols", "value": "2"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "BitwiseOperationLookupAir<8>"], ["air_id", "24"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "rows", "value": "1024"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "cells", "value": "315392"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "prep_cols", "value": "0"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "main_cols", "value": "300"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "Poseidon2PeripheryAir<BabyBearParameters>, 1>"], ["air_id", "26"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "rows", "value": "262144"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "cells", "value": "2359296"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "prep_cols", "value": "2"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "main_cols", "value": "1"}, {"labels": [["segment", "3"], ["group", "app_proof"], ["air_name", "VariableRangeCheckerAir"], ["air_id", "27"]], "metric": "perm_cols", "value": "8"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "total_cells", "value": "712260138"}], "gauge": [{"labels": [["group", "app_proof"]], "metric": "execute_metered_time_ms", "value": "456"}, {"labels": [["group", "app_proof"]], "metric": "execute_metered_insn_mi/s", "value": "70.39490722178037"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "execute_preflight_insn_mi/s", "value": "7.691279455317495"}, {"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": "1158"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "memory_to_vec_partition_time_ms", "value": "56"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "single_trace_gen_time_ms", "value": "353"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "system_trace_gen_time_ms", "value": "938"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "trace_gen_time_ms", "value": "938"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "main_trace_commit_time_ms", "value": "9652"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "generate_perm_trace_time_ms", "value": "2372"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "perm_trace_commit_time_ms", "value": "10422"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "quotient_poly_compute_time_ms", "value": "8973"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "quotient_poly_commit_time_ms", "value": "2912"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "pcs_opening_time_ms", "value": "6038"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "stark_prove_excluding_trace_time_ms", "value": "40378"}, {"labels": [["segment", "0"], ["group", "app_proof"]], "metric": "total_proof_time_ms", "value": "43982"}, {"labels": [["group", "app_proof"]], "metric": "prove_segment_time_ms", "value": "33111"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "execute_preflight_insn_mi/s", "value": "8.141068987313862"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "memory_finalize_time_ms", "value": "0"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "execute_preflight_time_ms", "value": "1093"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "memory_to_vec_partition_time_ms", "value": "53"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "single_trace_gen_time_ms", "value": "357"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "system_trace_gen_time_ms", "value": "909"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "trace_gen_time_ms", "value": "909"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "main_trace_commit_time_ms", "value": "9510"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "generate_perm_trace_time_ms", "value": "2355"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "perm_trace_commit_time_ms", "value": "10392"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "quotient_poly_compute_time_ms", "value": "9063"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "quotient_poly_commit_time_ms", "value": "2805"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "pcs_opening_time_ms", "value": "5592"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "stark_prove_excluding_trace_time_ms", "value": "39728"}, {"labels": [["segment", "1"], ["group", "app_proof"]], "metric": "total_proof_time_ms", "value": "42958"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "execute_preflight_insn_mi/s", "value": "8.050082944653296"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "memory_finalize_time_ms", "value": "1"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "execute_preflight_time_ms", "value": "1106"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "memory_to_vec_partition_time_ms", "value": "53"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "single_trace_gen_time_ms", "value": "356"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "system_trace_gen_time_ms", "value": "908"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "trace_gen_time_ms", "value": "908"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "main_trace_commit_time_ms", "value": "9542"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "generate_perm_trace_time_ms", "value": "2343"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "perm_trace_commit_time_ms", "value": "10456"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "quotient_poly_compute_time_ms", "value": "8814"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "quotient_poly_commit_time_ms", "value": "2789"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "pcs_opening_time_ms", "value": "5686"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "stark_prove_excluding_trace_time_ms", "value": "39657"}, {"labels": [["segment", "2"], ["group", "app_proof"]], "metric": "total_proof_time_ms", "value": "42878"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "execute_preflight_insn_mi/s", "value": "8.269727424549684"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "memory_finalize_time_ms", "value": "1"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "execute_preflight_time_ms", "value": "677"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "memory_to_vec_partition_time_ms", "value": "53"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "single_trace_gen_time_ms", "value": "223"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "system_trace_gen_time_ms", "value": "622"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "trace_gen_time_ms", "value": "622"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "main_trace_commit_time_ms", "value": "7100"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "generate_perm_trace_time_ms", "value": "1684"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "perm_trace_commit_time_ms", "value": "7899"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "quotient_poly_compute_time_ms", "value": "6199"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "quotient_poly_commit_time_ms", "value": "2364"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "pcs_opening_time_ms", "value": "5322"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "stark_prove_excluding_trace_time_ms", "value": "30575"}, {"labels": [["segment", "3"], ["group", "app_proof"]], "metric": "total_proof_time_ms", "value": "33111"}, {"labels": [["group", "app_proof"]], "metric": "compute_user_public_values_proof_time_ms", "value": "0"}, {"labels": [], "metric": "app_prove_time_ms", "value": "163401"}]}}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment