diff --git a/benchmarks-pr/1158/ecrecover-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md b/benchmarks-pr/1158/ecrecover-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md
new file mode 100644
index 000000000..201a4d170
--- /dev/null
+++ b/benchmarks-pr/1158/ecrecover-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md
@@ -0,0 +1,116 @@
+| ecrecover_program |||||
+|:---|---:|---:|---:|---:|
+|metric|avg|sum|max|min|
+| `total_proof_time_ms ` | <span style='color: green'>(-9 [-0.3%])</span> 2,903 | <span style='color: green'>(-9 [-0.3%])</span> 2,903 | <span style='color: green'>(-9 [-0.3%])</span> 2,903 | <span style='color: green'>(-9 [-0.3%])</span> 2,903 |
+| `total_cells_used    ` |  15,230,037 |  15,230,037 |  15,230,037 |  15,230,037 |
+| `total_cycles        ` |  290,016 |  290,016 |  290,016 |  290,016 |
+| `execute_time_ms     ` | <span style='color: red'>(+1 [+0.2%])</span> 482 | <span style='color: red'>(+1 [+0.2%])</span> 482 | <span style='color: red'>(+1 [+0.2%])</span> 482 | <span style='color: red'>(+1 [+0.2%])</span> 482 |
+| `trace_gen_time_ms   ` | <span style='color: green'>(-5 [-6.5%])</span> 72 | <span style='color: green'>(-5 [-6.5%])</span> 72 | <span style='color: green'>(-5 [-6.5%])</span> 72 | <span style='color: green'>(-5 [-6.5%])</span> 72 |
+| `stark_prove_excluding_trace_time_ms` | <span style='color: green'>(-5 [-0.2%])</span> 2,349 | <span style='color: green'>(-5 [-0.2%])</span> 2,349 | <span style='color: green'>(-5 [-0.2%])</span> 2,349 | <span style='color: green'>(-5 [-0.2%])</span> 2,349 |
+| `main_trace_commit_time_ms` |  405 |  405 |  405 |  405 |
+| `generate_perm_trace_time_ms` |  41 |  41 |  41 |  41 |
+| `perm_trace_commit_time_ms` | <span style='color: red'>(+1 [+0.2%])</span> 523 | <span style='color: red'>(+1 [+0.2%])</span> 523 | <span style='color: red'>(+1 [+0.2%])</span> 523 | <span style='color: red'>(+1 [+0.2%])</span> 523 |
+| `quotient_poly_compute_time_ms` |  273 |  273 |  273 |  273 |
+| `quotient_poly_commit_time_ms` | <span style='color: red'>(+3 [+1.0%])</span> 309 | <span style='color: red'>(+3 [+1.0%])</span> 309 | <span style='color: red'>(+3 [+1.0%])</span> 309 | <span style='color: red'>(+3 [+1.0%])</span> 309 |
+| `pcs_opening_time_ms ` | <span style='color: green'>(-8 [-1.0%])</span> 796 | <span style='color: green'>(-8 [-1.0%])</span> 796 | <span style='color: green'>(-8 [-1.0%])</span> 796 | <span style='color: green'>(-8 [-1.0%])</span> 796 |
+
+
+
+<details>
+<summary>Detailed Metrics</summary>
+
+| group | num_segments | keygen_time_ms | fri.log_blowup | commit_exe_time_ms |
+| --- | --- | --- | --- | --- |
+| ecrecover_program | 1 | 1,174 | 2 | 8 | 
+
+| group | air_name | quotient_deg | interactions | constraints |
+| --- | --- | --- | --- | --- |
+| ecrecover_program | AccessAdapterAir<16> | 2 | 5 | 14 | 
+| ecrecover_program | AccessAdapterAir<2> | 2 | 5 | 14 | 
+| ecrecover_program | AccessAdapterAir<32> | 2 | 5 | 14 | 
+| ecrecover_program | AccessAdapterAir<4> | 2 | 5 | 14 | 
+| ecrecover_program | AccessAdapterAir<64> | 2 | 5 | 14 | 
+| ecrecover_program | AccessAdapterAir<8> | 2 | 5 | 14 | 
+| ecrecover_program | BitwiseOperationLookupAir<8> | 2 | 2 | 4 | 
+| ecrecover_program | KeccakVmAir | 2 | 321 | 4,571 | 
+| ecrecover_program | MemoryMerkleAir<8> | 2 | 4 | 40 | 
+| ecrecover_program | PersistentBoundaryAir<8> | 2 | 3 | 6 | 
+| ecrecover_program | PhantomAir | 2 | 3 | 5 | 
+| ecrecover_program | Poseidon2PeripheryAir<BabyBearParameters>, 1> | 2 | 1 | 286 | 
+| ecrecover_program | ProgramAir | 1 | 1 | 4 | 
+| ecrecover_program | RangeTupleCheckerAir<2> | 1 | 1 | 4 | 
+| ecrecover_program | VariableRangeCheckerAir | 1 | 1 | 4 | 
+| ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 2 | 19 | 43 | 
+| ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 2 | 17 | 39 | 
+| ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 2 | 23 | 90 | 
+| ecrecover_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 2 | 11 | 25 | 
+| ecrecover_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 2 | 13 | 41 | 
+| ecrecover_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 2 | 10 | 22 | 
+| ecrecover_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 2 | 15 | 17 | 
+| ecrecover_program | VmAirWrapper<Rv32IsEqualModAdapterAir<2, 1, 32, 32>, ModularIsEqualCoreAir<32, 4, 8> | 2 | 25 | 223 | 
+| ecrecover_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 2 | 16 | 20 | 
+| ecrecover_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 2 | 18 | 33 | 
+| ecrecover_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 2 | 17 | 38 | 
+| ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 2 | 25 | 88 | 
+| ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 2 | 24 | 38 | 
+| ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 2 | 19 | 26 | 
+| ecrecover_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 2 | 11 | 15 | 
+| ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<1, 2, 2, 32, 32>, FieldExpressionCoreAir> | 2 | 411 | 449 | 
+| ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularAddSubCoreAir> | 2 | 94 | 126 | 
+| ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularMulDivCoreAir> | 2 | 156 | 188 | 
+| ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 2, 2, 32, 32>, FieldExpressionCoreAir> | 2 | 422 | 456 | 
+| ecrecover_program | VmConnectorAir | 2 | 3 | 9 | 
+
+| group | air_name | segment | rows | prep_cols | perm_cols | main_cols | cells |
+| --- | --- | --- | --- | --- | --- | --- | --- |
+| ecrecover_program | AccessAdapterAir<16> | 0 | 16,384 |  | 24 | 25 | 802,816 | 
+| ecrecover_program | AccessAdapterAir<2> | 0 | 256 |  | 24 | 11 | 8,960 | 
+| ecrecover_program | AccessAdapterAir<32> | 0 | 8,192 |  | 24 | 41 | 532,480 | 
+| ecrecover_program | AccessAdapterAir<4> | 0 | 128 |  | 24 | 13 | 4,736 | 
+| ecrecover_program | AccessAdapterAir<8> | 0 | 32,768 |  | 24 | 17 | 1,343,488 | 
+| ecrecover_program | BitwiseOperationLookupAir<8> | 0 | 65,536 | 3 | 8 | 2 | 655,360 | 
+| ecrecover_program | KeccakVmAir | 0 | 128 |  | 1,288 | 3,164 | 569,856 | 
+| ecrecover_program | MemoryMerkleAir<8> | 0 | 4,096 |  | 20 | 32 | 212,992 | 
+| ecrecover_program | PersistentBoundaryAir<8> | 0 | 4,096 |  | 12 | 20 | 131,072 | 
+| ecrecover_program | PhantomAir | 0 | 64 |  | 12 | 6 | 1,152 | 
+| ecrecover_program | Poseidon2PeripheryAir<BabyBearParameters>, 1> | 0 | 4,096 |  | 8 | 300 | 1,261,568 | 
+| ecrecover_program | ProgramAir | 0 | 16,384 |  | 8 | 10 | 294,912 | 
+| ecrecover_program | RangeTupleCheckerAir<2> | 0 | 524,288 | 2 | 8 | 1 | 4,718,592 | 
+| ecrecover_program | VariableRangeCheckerAir | 0 | 262,144 | 2 | 8 | 1 | 2,359,296 | 
+| ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 0 | 131,072 |  | 80 | 36 | 15,204,352 | 
+| ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 0 | 2,048 |  | 40 | 37 | 157,696 | 
+| ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 0 | 16,384 |  | 52 | 53 | 1,720,320 | 
+| ecrecover_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 0 | 16,384 |  | 48 | 26 | 1,212,416 | 
+| ecrecover_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 0 | 32,768 |  | 56 | 32 | 2,883,584 | 
+| ecrecover_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 0 | 4,096 |  | 44 | 18 | 253,952 | 
+| ecrecover_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 0 | 256 |  | 36 | 26 | 15,872 | 
+| ecrecover_program | VmAirWrapper<Rv32IsEqualModAdapterAir<2, 1, 32, 32>, ModularIsEqualCoreAir<32, 4, 8> | 0 | 4,096 |  | 56 | 166 | 909,312 | 
+| ecrecover_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 0 | 8,192 |  | 36 | 28 | 524,288 | 
+| ecrecover_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 0 | 4,096 |  | 76 | 35 | 454,656 | 
+| ecrecover_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 0 | 131,072 |  | 72 | 40 | 14,680,064 | 
+| ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 0 | 8 |  | 104 | 57 | 1,288 | 
+| ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 0 | 8 |  | 100 | 39 | 1,112 | 
+| ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 0 | 4,096 |  | 80 | 31 | 454,656 | 
+| ecrecover_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 0 | 4,096 |  | 28 | 21 | 200,704 | 
+| ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<1, 2, 2, 32, 32>, FieldExpressionCoreAir> | 0 | 2,048 |  | 828 | 543 | 2,807,808 | 
+| ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularAddSubCoreAir> | 0 | 8 |  | 192 | 199 | 3,128 | 
+| ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularMulDivCoreAir> | 0 | 16 |  | 316 | 261 | 9,232 | 
+| ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 2, 2, 32, 32>, FieldExpressionCoreAir> | 0 | 1,024 |  | 848 | 619 | 1,502,208 | 
+| ecrecover_program | VmConnectorAir | 0 | 2 | 1 | 12 | 4 | 32 | 
+
+| group | segment | trace_gen_time_ms | total_proof_time_ms | total_cycles | total_cells_used | total_cells | stark_prove_excluding_trace_time_ms | quotient_poly_compute_time_ms | quotient_poly_commit_time_ms | perm_trace_commit_time_ms | pcs_opening_time_ms | main_trace_commit_time_ms | generate_perm_trace_time_ms | execute_time_ms |
+| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
+| ecrecover_program | 0 | 72 | 2,903 | 290,016 | 15,230,037 | 55,907,135 | 2,349 | 273 | 309 | 523 | 796 | 405 | 41 | 482 | 
+
+</details>
+
+
+Commit: https://github.com/openvm-org/openvm/commit/4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b
+
+Max Segment Length: 1048476
+
+Instance Type: 64cpu-linux-arm64
+
+Memory Allocator: mimalloc
+
+[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12586089068)
diff --git a/benchmarks-pr/1158/fibonacci-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md b/benchmarks-pr/1158/fibonacci-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md
new file mode 100644
index 000000000..bb9b72008
--- /dev/null
+++ b/benchmarks-pr/1158/fibonacci-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md
@@ -0,0 +1,96 @@
+| fibonacci_program |||||
+|:---|---:|---:|---:|---:|
+|metric|avg|sum|max|min|
+| `total_proof_time_ms ` | <span style='color: green'>(-154 [-2.1%])</span> 7,350 | <span style='color: green'>(-154 [-2.1%])</span> 7,350 | <span style='color: green'>(-154 [-2.1%])</span> 7,350 | <span style='color: green'>(-154 [-2.1%])</span> 7,350 |
+| `total_cells_used    ` |  51,505,102 |  51,505,102 |  51,505,102 |  51,505,102 |
+| `total_cycles        ` |  1,500,137 |  1,500,137 |  1,500,137 |  1,500,137 |
+| `execute_time_ms     ` | <span style='color: green'>(-57 [-3.4%])</span> 1,634 | <span style='color: green'>(-57 [-3.4%])</span> 1,634 | <span style='color: green'>(-57 [-3.4%])</span> 1,634 | <span style='color: green'>(-57 [-3.4%])</span> 1,634 |
+| `trace_gen_time_ms   ` | <span style='color: green'>(-15 [-5.7%])</span> 249 | <span style='color: green'>(-15 [-5.7%])</span> 249 | <span style='color: green'>(-15 [-5.7%])</span> 249 | <span style='color: green'>(-15 [-5.7%])</span> 249 |
+| `stark_prove_excluding_trace_time_ms` | <span style='color: green'>(-82 [-1.5%])</span> 5,467 | <span style='color: green'>(-82 [-1.5%])</span> 5,467 | <span style='color: green'>(-82 [-1.5%])</span> 5,467 | <span style='color: green'>(-82 [-1.5%])</span> 5,467 |
+| `main_trace_commit_time_ms` | <span style='color: green'>(-4 [-0.5%])</span> 860 | <span style='color: green'>(-4 [-0.5%])</span> 860 | <span style='color: green'>(-4 [-0.5%])</span> 860 | <span style='color: green'>(-4 [-0.5%])</span> 860 |
+| `generate_perm_trace_time_ms` |  177 |  177 |  177 |  177 |
+| `perm_trace_commit_time_ms` | <span style='color: green'>(-24 [-1.4%])</span> 1,725 | <span style='color: green'>(-24 [-1.4%])</span> 1,725 | <span style='color: green'>(-24 [-1.4%])</span> 1,725 | <span style='color: green'>(-24 [-1.4%])</span> 1,725 |
+| `quotient_poly_compute_time_ms` | <span style='color: green'>(-15 [-1.8%])</span> 838 | <span style='color: green'>(-15 [-1.8%])</span> 838 | <span style='color: green'>(-15 [-1.8%])</span> 838 | <span style='color: green'>(-15 [-1.8%])</span> 838 |
+| `quotient_poly_commit_time_ms` | <span style='color: green'>(-5 [-1.0%])</span> 491 | <span style='color: green'>(-5 [-1.0%])</span> 491 | <span style='color: green'>(-5 [-1.0%])</span> 491 | <span style='color: green'>(-5 [-1.0%])</span> 491 |
+| `pcs_opening_time_ms ` | <span style='color: green'>(-34 [-2.4%])</span> 1,372 | <span style='color: green'>(-34 [-2.4%])</span> 1,372 | <span style='color: green'>(-34 [-2.4%])</span> 1,372 | <span style='color: green'>(-34 [-2.4%])</span> 1,372 |
+
+
+
+<details>
+<summary>Detailed Metrics</summary>
+
+| group | num_segments | keygen_time_ms | fri.log_blowup | commit_exe_time_ms |
+| --- | --- | --- | --- | --- |
+| fibonacci_program | 1 | 355 | 2 | 6 | 
+
+| group | air_name | quotient_deg | interactions | constraints |
+| --- | --- | --- | --- | --- |
+| fibonacci_program | AccessAdapterAir<16> | 2 | 5 | 14 | 
+| fibonacci_program | AccessAdapterAir<2> | 2 | 5 | 14 | 
+| fibonacci_program | AccessAdapterAir<32> | 2 | 5 | 14 | 
+| fibonacci_program | AccessAdapterAir<4> | 2 | 5 | 14 | 
+| fibonacci_program | AccessAdapterAir<64> | 2 | 5 | 14 | 
+| fibonacci_program | AccessAdapterAir<8> | 2 | 5 | 14 | 
+| fibonacci_program | BitwiseOperationLookupAir<8> | 2 | 2 | 4 | 
+| fibonacci_program | MemoryMerkleAir<8> | 2 | 4 | 40 | 
+| fibonacci_program | PersistentBoundaryAir<8> | 2 | 3 | 6 | 
+| fibonacci_program | PhantomAir | 2 | 3 | 5 | 
+| fibonacci_program | Poseidon2PeripheryAir<BabyBearParameters>, 1> | 2 | 1 | 286 | 
+| fibonacci_program | ProgramAir | 1 | 1 | 4 | 
+| fibonacci_program | RangeTupleCheckerAir<2> | 1 | 1 | 4 | 
+| fibonacci_program | VariableRangeCheckerAir | 1 | 1 | 4 | 
+| fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 2 | 19 | 43 | 
+| fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 2 | 17 | 39 | 
+| fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 2 | 23 | 90 | 
+| fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 2 | 11 | 25 | 
+| fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 2 | 13 | 41 | 
+| fibonacci_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 2 | 10 | 22 | 
+| fibonacci_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 2 | 15 | 17 | 
+| fibonacci_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 2 | 16 | 20 | 
+| fibonacci_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 2 | 18 | 33 | 
+| fibonacci_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 2 | 17 | 38 | 
+| fibonacci_program | VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 2 | 25 | 88 | 
+| fibonacci_program | VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 2 | 24 | 38 | 
+| fibonacci_program | VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 2 | 19 | 26 | 
+| fibonacci_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 2 | 11 | 15 | 
+| fibonacci_program | VmConnectorAir | 2 | 3 | 9 | 
+
+| group | air_name | segment | rows | prep_cols | perm_cols | main_cols | cells |
+| --- | --- | --- | --- | --- | --- | --- | --- |
+| fibonacci_program | AccessAdapterAir<8> | 0 | 64 |  | 24 | 17 | 2,624 | 
+| fibonacci_program | BitwiseOperationLookupAir<8> | 0 | 65,536 | 3 | 8 | 2 | 655,360 | 
+| fibonacci_program | MemoryMerkleAir<8> | 0 | 512 |  | 20 | 32 | 26,624 | 
+| fibonacci_program | PersistentBoundaryAir<8> | 0 | 64 |  | 12 | 20 | 2,048 | 
+| fibonacci_program | PhantomAir | 0 | 2 |  | 12 | 6 | 36 | 
+| fibonacci_program | Poseidon2PeripheryAir<BabyBearParameters>, 1> | 0 | 256 |  | 8 | 300 | 78,848 | 
+| fibonacci_program | ProgramAir | 0 | 4,096 |  | 8 | 10 | 73,728 | 
+| fibonacci_program | RangeTupleCheckerAir<2> | 0 | 524,288 | 2 | 8 | 1 | 4,718,592 | 
+| fibonacci_program | VariableRangeCheckerAir | 0 | 262,144 | 2 | 8 | 1 | 2,359,296 | 
+| fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 0 | 1,048,576 |  | 80 | 36 | 121,634,816 | 
+| fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 0 | 524,288 |  | 40 | 37 | 40,370,176 | 
+| fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 0 | 2 |  | 52 | 53 | 210 | 
+| fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 0 | 262,144 |  | 48 | 26 | 19,398,656 | 
+| fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 0 | 8 |  | 56 | 32 | 704 | 
+| fibonacci_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 0 | 131,072 |  | 44 | 18 | 8,126,464 | 
+| fibonacci_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 0 | 4 |  | 36 | 26 | 248 | 
+| fibonacci_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 0 | 16 |  | 36 | 28 | 1,024 | 
+| fibonacci_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 0 | 32 |  | 72 | 40 | 3,584 | 
+| fibonacci_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 0 | 16 |  | 28 | 21 | 784 | 
+| fibonacci_program | VmConnectorAir | 0 | 2 | 1 | 12 | 4 | 32 | 
+
+| group | segment | trace_gen_time_ms | total_proof_time_ms | total_cycles | total_cells_used | total_cells | stark_prove_excluding_trace_time_ms | quotient_poly_compute_time_ms | quotient_poly_commit_time_ms | perm_trace_commit_time_ms | pcs_opening_time_ms | main_trace_commit_time_ms | generate_perm_trace_time_ms | execute_time_ms |
+| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
+| fibonacci_program | 0 | 249 | 7,350 | 1,500,137 | 51,505,102 | 197,453,854 | 5,467 | 838 | 491 | 1,725 | 1,372 | 860 | 177 | 1,634 | 
+
+</details>
+
+
+Commit: https://github.com/openvm-org/openvm/commit/4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b
+
+Max Segment Length: 1048476
+
+Instance Type: 64cpu-linux-arm64
+
+Memory Allocator: mimalloc
+
+[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12586089068)
diff --git a/benchmarks-pr/1158/regex-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md b/benchmarks-pr/1158/regex-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md
new file mode 100644
index 000000000..7b6a12657
--- /dev/null
+++ b/benchmarks-pr/1158/regex-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md
@@ -0,0 +1,104 @@
+| regex_program |||||
+|:---|---:|---:|---:|---:|
+|metric|avg|sum|max|min|
+| `total_proof_time_ms ` |  22,284 |  22,284 |  22,284 |  22,284 |
+| `total_cells_used    ` |  165,028,173 |  165,028,173 |  165,028,173 |  165,028,173 |
+| `total_cycles        ` |  4,190,904 |  4,190,904 |  4,190,904 |  4,190,904 |
+| `execute_time_ms     ` | <span style='color: green'>(-28 [-0.5%])</span> 5,730 | <span style='color: green'>(-28 [-0.5%])</span> 5,730 | <span style='color: green'>(-28 [-0.5%])</span> 5,730 | <span style='color: green'>(-28 [-0.5%])</span> 5,730 |
+| `trace_gen_time_ms   ` | <span style='color: green'>(-19 [-2.6%])</span> 724 | <span style='color: green'>(-19 [-2.6%])</span> 724 | <span style='color: green'>(-19 [-2.6%])</span> 724 | <span style='color: green'>(-19 [-2.6%])</span> 724 |
+| `stark_prove_excluding_trace_time_ms` | <span style='color: red'>(+32 [+0.2%])</span> 15,830 | <span style='color: red'>(+32 [+0.2%])</span> 15,830 | <span style='color: red'>(+32 [+0.2%])</span> 15,830 | <span style='color: red'>(+32 [+0.2%])</span> 15,830 |
+| `main_trace_commit_time_ms` | <span style='color: red'>(+12 [+0.5%])</span> 2,449 | <span style='color: red'>(+12 [+0.5%])</span> 2,449 | <span style='color: red'>(+12 [+0.5%])</span> 2,449 | <span style='color: red'>(+12 [+0.5%])</span> 2,449 |
+| `generate_perm_trace_time_ms` | <span style='color: red'>(+13 [+2.6%])</span> 506 | <span style='color: red'>(+13 [+2.6%])</span> 506 | <span style='color: red'>(+13 [+2.6%])</span> 506 | <span style='color: red'>(+13 [+2.6%])</span> 506 |
+| `perm_trace_commit_time_ms` | <span style='color: red'>(+20 [+0.4%])</span> 5,486 | <span style='color: red'>(+20 [+0.4%])</span> 5,486 | <span style='color: red'>(+20 [+0.4%])</span> 5,486 | <span style='color: red'>(+20 [+0.4%])</span> 5,486 |
+| `quotient_poly_compute_time_ms` | <span style='color: red'>(+52 [+1.9%])</span> 2,721 | <span style='color: red'>(+52 [+1.9%])</span> 2,721 | <span style='color: red'>(+52 [+1.9%])</span> 2,721 | <span style='color: red'>(+52 [+1.9%])</span> 2,721 |
+| `quotient_poly_commit_time_ms` | <span style='color: red'>(+15 [+1.2%])</span> 1,285 | <span style='color: red'>(+15 [+1.2%])</span> 1,285 | <span style='color: red'>(+15 [+1.2%])</span> 1,285 | <span style='color: red'>(+15 [+1.2%])</span> 1,285 |
+| `pcs_opening_time_ms ` | <span style='color: green'>(-80 [-2.3%])</span> 3,379 | <span style='color: green'>(-80 [-2.3%])</span> 3,379 | <span style='color: green'>(-80 [-2.3%])</span> 3,379 | <span style='color: green'>(-80 [-2.3%])</span> 3,379 |
+
+
+
+<details>
+<summary>Detailed Metrics</summary>
+
+| group | num_segments | keygen_time_ms | fri.log_blowup | commit_exe_time_ms |
+| --- | --- | --- | --- | --- |
+| regex_program | 1 | 731 | 2 | 43 | 
+
+| group | air_name | quotient_deg | interactions | constraints |
+| --- | --- | --- | --- | --- |
+| regex_program | AccessAdapterAir<16> | 2 | 5 | 14 | 
+| regex_program | AccessAdapterAir<2> | 2 | 5 | 14 | 
+| regex_program | AccessAdapterAir<32> | 2 | 5 | 14 | 
+| regex_program | AccessAdapterAir<4> | 2 | 5 | 14 | 
+| regex_program | AccessAdapterAir<64> | 2 | 5 | 14 | 
+| regex_program | AccessAdapterAir<8> | 2 | 5 | 14 | 
+| regex_program | BitwiseOperationLookupAir<8> | 2 | 2 | 4 | 
+| regex_program | KeccakVmAir | 2 | 321 | 4,571 | 
+| regex_program | MemoryMerkleAir<8> | 2 | 4 | 40 | 
+| regex_program | PersistentBoundaryAir<8> | 2 | 3 | 6 | 
+| regex_program | PhantomAir | 2 | 3 | 5 | 
+| regex_program | Poseidon2PeripheryAir<BabyBearParameters>, 1> | 2 | 1 | 286 | 
+| regex_program | ProgramAir | 1 | 1 | 4 | 
+| regex_program | RangeTupleCheckerAir<2> | 1 | 1 | 4 | 
+| regex_program | VariableRangeCheckerAir | 1 | 1 | 4 | 
+| regex_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 2 | 19 | 43 | 
+| regex_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 2 | 17 | 39 | 
+| regex_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 2 | 23 | 90 | 
+| regex_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 2 | 11 | 25 | 
+| regex_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 2 | 13 | 41 | 
+| regex_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 2 | 10 | 22 | 
+| regex_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 2 | 15 | 17 | 
+| regex_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 2 | 16 | 20 | 
+| regex_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 2 | 18 | 33 | 
+| regex_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 2 | 17 | 38 | 
+| regex_program | VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 2 | 25 | 88 | 
+| regex_program | VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 2 | 24 | 38 | 
+| regex_program | VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 2 | 19 | 26 | 
+| regex_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 2 | 11 | 15 | 
+| regex_program | VmConnectorAir | 2 | 3 | 9 | 
+
+| group | air_name | segment | rows | prep_cols | perm_cols | main_cols | cells |
+| --- | --- | --- | --- | --- | --- | --- | --- |
+| regex_program | AccessAdapterAir<2> | 0 | 64 |  | 24 | 11 | 2,240 | 
+| regex_program | AccessAdapterAir<4> | 0 | 32 |  | 24 | 13 | 1,184 | 
+| regex_program | AccessAdapterAir<8> | 0 | 131,072 |  | 24 | 17 | 5,373,952 | 
+| regex_program | BitwiseOperationLookupAir<8> | 0 | 65,536 | 3 | 8 | 2 | 655,360 | 
+| regex_program | KeccakVmAir | 0 | 32 |  | 1,288 | 3,164 | 142,464 | 
+| regex_program | MemoryMerkleAir<8> | 0 | 131,072 |  | 20 | 32 | 6,815,744 | 
+| regex_program | PersistentBoundaryAir<8> | 0 | 131,072 |  | 12 | 20 | 4,194,304 | 
+| regex_program | PhantomAir | 0 | 512 |  | 12 | 6 | 9,216 | 
+| regex_program | Poseidon2PeripheryAir<BabyBearParameters>, 1> | 0 | 16,384 |  | 8 | 300 | 5,046,272 | 
+| regex_program | ProgramAir | 0 | 131,072 |  | 8 | 10 | 2,359,296 | 
+| regex_program | RangeTupleCheckerAir<2> | 0 | 524,288 | 2 | 8 | 1 | 4,718,592 | 
+| regex_program | VariableRangeCheckerAir | 0 | 262,144 | 2 | 8 | 1 | 2,359,296 | 
+| regex_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 0 | 2,097,152 |  | 80 | 36 | 243,269,632 | 
+| regex_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 0 | 65,536 |  | 40 | 37 | 5,046,272 | 
+| regex_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 0 | 262,144 |  | 52 | 53 | 27,525,120 | 
+| regex_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 0 | 524,288 |  | 48 | 26 | 38,797,312 | 
+| regex_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 0 | 262,144 |  | 56 | 32 | 23,068,672 | 
+| regex_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 0 | 131,072 |  | 44 | 18 | 8,126,464 | 
+| regex_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 0 | 16,384 |  | 36 | 26 | 1,015,808 | 
+| regex_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 0 | 131,072 |  | 36 | 28 | 8,388,608 | 
+| regex_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 0 | 1,024 |  | 76 | 35 | 113,664 | 
+| regex_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 0 | 2,097,152 |  | 72 | 40 | 234,881,024 | 
+| regex_program | VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 0 | 128 |  | 104 | 57 | 20,608 | 
+| regex_program | VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 0 | 256 |  | 100 | 39 | 35,584 | 
+| regex_program | VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 0 | 65,536 |  | 80 | 31 | 7,274,496 | 
+| regex_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 0 | 65,536 |  | 28 | 21 | 3,211,264 | 
+| regex_program | VmConnectorAir | 0 | 2 | 1 | 12 | 4 | 32 | 
+
+| group | segment | trace_gen_time_ms | total_proof_time_ms | total_cycles | total_cells_used | total_cells | stark_prove_excluding_trace_time_ms | quotient_poly_compute_time_ms | quotient_poly_commit_time_ms | perm_trace_commit_time_ms | pcs_opening_time_ms | main_trace_commit_time_ms | generate_perm_trace_time_ms | execute_time_ms |
+| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
+| regex_program | 0 | 724 | 22,284 | 4,190,904 | 165,028,173 | 632,452,480 | 15,830 | 2,721 | 1,285 | 5,486 | 3,379 | 2,449 | 506 | 5,730 | 
+
+</details>
+
+
+Commit: https://github.com/openvm-org/openvm/commit/4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b
+
+Max Segment Length: 1048476
+
+Instance Type: 64cpu-linux-arm64
+
+Memory Allocator: mimalloc
+
+[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12586089068)
diff --git a/benchmarks-pr/1158/summary.md b/benchmarks-pr/1158/summary.md
index 87aa82da6..171e8ce8d 100644
--- a/benchmarks-pr/1158/summary.md
+++ b/benchmarks-pr/1158/summary.md
@@ -1,11 +1,11 @@
 | group | app.proof_time_ms | app.cycles | app.cells_used | leaf.proof_time_ms | leaf.cycles | leaf.cells_used |
 | -- | -- | -- | -- | -- | -- | -- |
-| [verify_fibair](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1158/verify_fibair-a25357d14090b56f73c2ccf1ecbda8329dba47bd.md) |<span style='color: green'>(-18 [-1.1%])</span> 1,596 |  194,774 |  8,012,622 |- | - | - |
-| [fibonacci_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1158/fibonacci-a25357d14090b56f73c2ccf1ecbda8329dba47bd.md) |<span style='color: green'>(-53 [-0.7%])</span> 7,451 |  1,500,137 |  51,505,102 |- | - | - |
-| [regex_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1158/regex-a25357d14090b56f73c2ccf1ecbda8329dba47bd.md) |<span style='color: green'>(-121 [-0.5%])</span> 22,178 |  4,190,904 |  165,028,173 |- | - | - |
-| [ecrecover_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1158/ecrecover-a25357d14090b56f73c2ccf1ecbda8329dba47bd.md) |<span style='color: red'>(+4 [+0.1%])</span> 2,916 |  290,016 |  15,230,037 |- | - | - |
+| [verify_fibair](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1158/verify_fibair-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md) |<span style='color: green'>(-10 [-0.6%])</span> 1,604 |  194,676 |  8,011,082 |- | - | - |
+| [fibonacci_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1158/fibonacci-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md) |<span style='color: green'>(-154 [-2.1%])</span> 7,350 |  1,500,137 |  51,505,102 |- | - | - |
+| [regex_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1158/regex-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md) | 22,284 |  4,190,904 |  165,028,173 |- | - | - |
+| [ecrecover_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1158/ecrecover-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md) |<span style='color: green'>(-9 [-0.3%])</span> 2,903 |  290,016 |  15,230,037 |- | - | - |
 
 
-Commit: https://github.com/openvm-org/openvm/commit/a25357d14090b56f73c2ccf1ecbda8329dba47bd
+Commit: https://github.com/openvm-org/openvm/commit/4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b
 
-[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12585349377)
+[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12586089068)
diff --git a/benchmarks-pr/1158/verify_fibair-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md b/benchmarks-pr/1158/verify_fibair-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md
new file mode 100644
index 000000000..d4f595d17
--- /dev/null
+++ b/benchmarks-pr/1158/verify_fibair-4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b.md
@@ -0,0 +1,79 @@
+| verify_fibair |||||
+|:---|---:|---:|---:|---:|
+|metric|avg|sum|max|min|
+| `total_proof_time_ms ` | <span style='color: green'>(-10 [-0.6%])</span> 1,604 | <span style='color: green'>(-10 [-0.6%])</span> 1,604 | <span style='color: green'>(-10 [-0.6%])</span> 1,604 | <span style='color: green'>(-10 [-0.6%])</span> 1,604 |
+| `total_cells_used    ` |  8,011,082 |  8,011,082 |  8,011,082 |  8,011,082 |
+| `total_cycles        ` |  194,676 |  194,676 |  194,676 |  194,676 |
+| `execute_time_ms     ` | <span style='color: red'>(+4 [+2.2%])</span> 182 | <span style='color: red'>(+4 [+2.2%])</span> 182 | <span style='color: red'>(+4 [+2.2%])</span> 182 | <span style='color: red'>(+4 [+2.2%])</span> 182 |
+| `trace_gen_time_ms   ` | <span style='color: green'>(-4 [-8.3%])</span> 44 | <span style='color: green'>(-4 [-8.3%])</span> 44 | <span style='color: green'>(-4 [-8.3%])</span> 44 | <span style='color: green'>(-4 [-8.3%])</span> 44 |
+| `stark_prove_excluding_trace_time_ms` | <span style='color: green'>(-10 [-0.7%])</span> 1,378 | <span style='color: green'>(-10 [-0.7%])</span> 1,378 | <span style='color: green'>(-10 [-0.7%])</span> 1,378 | <span style='color: green'>(-10 [-0.7%])</span> 1,378 |
+| `main_trace_commit_time_ms` | <span style='color: green'>(-10 [-4.6%])</span> 207 | <span style='color: green'>(-10 [-4.6%])</span> 207 | <span style='color: green'>(-10 [-4.6%])</span> 207 | <span style='color: green'>(-10 [-4.6%])</span> 207 |
+| `generate_perm_trace_time_ms` | <span style='color: red'>(+5 [+20.0%])</span> 30 | <span style='color: red'>(+5 [+20.0%])</span> 30 | <span style='color: red'>(+5 [+20.0%])</span> 30 | <span style='color: red'>(+5 [+20.0%])</span> 30 |
+| `perm_trace_commit_time_ms` | <span style='color: green'>(-15 [-8.0%])</span> 173 | <span style='color: green'>(-15 [-8.0%])</span> 173 | <span style='color: green'>(-15 [-8.0%])</span> 173 | <span style='color: green'>(-15 [-8.0%])</span> 173 |
+| `quotient_poly_compute_time_ms` | <span style='color: green'>(-2 [-0.8%])</span> 253 | <span style='color: green'>(-2 [-0.8%])</span> 253 | <span style='color: green'>(-2 [-0.8%])</span> 253 | <span style='color: green'>(-2 [-0.8%])</span> 253 |
+| `quotient_poly_commit_time_ms` | <span style='color: red'>(+11 [+4.5%])</span> 256 | <span style='color: red'>(+11 [+4.5%])</span> 256 | <span style='color: red'>(+11 [+4.5%])</span> 256 | <span style='color: red'>(+11 [+4.5%])</span> 256 |
+| `pcs_opening_time_ms ` | <span style='color: red'>(+1 [+0.2%])</span> 457 | <span style='color: red'>(+1 [+0.2%])</span> 457 | <span style='color: red'>(+1 [+0.2%])</span> 457 | <span style='color: red'>(+1 [+0.2%])</span> 457 |
+
+
+
+<details>
+<summary>Detailed Metrics</summary>
+
+|  | verify_program_compile_ms | total_cells | stark_prove_excluding_trace_time_ms | quotient_poly_compute_time_ms | quotient_poly_commit_time_ms | perm_trace_commit_time_ms | pcs_opening_time_ms | main_trace_commit_time_ms |
+| --- | --- | --- | --- | --- | --- | --- | --- |
+|  | 4 | 32 | 10 | 0 | 1 | 0 | 3 | 5 | 
+
+| air_name | rows | quotient_deg | main_cols | interactions | constraints | cells |
+| --- | --- | --- | --- | --- | --- | --- |
+| AccessAdapterAir<2> |  | 4 |  | 5 | 12 |  | 
+| AccessAdapterAir<4> |  | 4 |  | 5 | 12 |  | 
+| AccessAdapterAir<8> |  | 4 |  | 5 | 12 |  | 
+| FibonacciAir | 16 | 1 | 2 |  | 5 | 32 | 
+| FriReducedOpeningAir |  | 4 |  | 35 | 59 |  | 
+| NativePoseidon2Air<BabyBearParameters>, 1> |  | 4 |  | 31 | 302 |  | 
+| PhantomAir |  | 4 |  | 3 | 4 |  | 
+| ProgramAir |  | 1 |  | 1 | 4 |  | 
+| VariableRangeCheckerAir |  | 1 |  | 1 | 4 |  | 
+| VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> |  | 2 |  | 11 | 23 |  | 
+| VmAirWrapper<JalNativeAdapterAir, JalCoreAir> |  | 4 |  | 7 | 6 |  | 
+| VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> |  | 4 |  | 11 | 22 |  | 
+| VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> |  | 4 |  | 15 | 23 |  | 
+| VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> |  | 4 |  | 19 | 31 |  | 
+| VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> |  | 4 |  | 15 | 23 |  | 
+| VmConnectorAir |  | 4 |  | 3 | 8 |  | 
+| VolatileBoundaryAir |  | 4 |  | 4 | 16 |  | 
+
+| group | trace_gen_time_ms | total_proof_time_ms | total_cycles | total_cells_used | total_cells | stark_prove_excluding_trace_time_ms | quotient_poly_compute_time_ms | quotient_poly_commit_time_ms | perm_trace_commit_time_ms | pcs_opening_time_ms | main_trace_commit_time_ms | generate_perm_trace_time_ms | fri.log_blowup | execute_time_ms |
+| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
+| verify_fibair | 44 | 1,604 | 194,676 | 8,011,082 | 23,304,216 | 1,378 | 253 | 256 | 173 | 457 | 207 | 30 | 2 | 182 | 
+
+| group | air_name | rows | prep_cols | perm_cols | main_cols | cells |
+| --- | --- | --- | --- | --- | --- | --- |
+| verify_fibair | AccessAdapterAir<2> | 32,768 |  | 16 | 11 | 884,736 | 
+| verify_fibair | AccessAdapterAir<4> | 16,384 |  | 16 | 13 | 475,136 | 
+| verify_fibair | AccessAdapterAir<8> | 4,096 |  | 16 | 17 | 135,168 | 
+| verify_fibair | FriReducedOpeningAir | 512 |  | 76 | 64 | 71,680 | 
+| verify_fibair | NativePoseidon2Air<BabyBearParameters>, 1> | 2,048 |  | 36 | 348 | 786,432 | 
+| verify_fibair | PhantomAir | 2,048 |  | 8 | 6 | 28,672 | 
+| verify_fibair | ProgramAir | 8,192 |  | 8 | 10 | 147,456 | 
+| verify_fibair | VariableRangeCheckerAir | 262,144 | 2 | 8 | 1 | 2,359,296 | 
+| verify_fibair | VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> | 32,768 |  | 28 | 23 | 1,671,168 | 
+| verify_fibair | VmAirWrapper<JalNativeAdapterAir, JalCoreAir> | 8,192 |  | 12 | 10 | 180,224 | 
+| verify_fibair | VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> | 131,072 |  | 20 | 30 | 6,553,600 | 
+| verify_fibair | VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> | 131,072 |  | 24 | 41 | 8,519,680 | 
+| verify_fibair | VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> | 4,096 |  | 20 | 40 | 245,760 | 
+| verify_fibair | VmConnectorAir | 2 | 1 | 8 | 4 | 24 | 
+| verify_fibair | VolatileBoundaryAir | 65,536 |  | 8 | 11 | 1,245,184 | 
+
+</details>
+
+
+Commit: https://github.com/openvm-org/openvm/commit/4b5c0b90fd8ff8cf0503458f0e5b904ab48a058b
+
+Max Segment Length: 1048476
+
+Instance Type: 64cpu-linux-arm64
+
+Memory Allocator: mimalloc
+
+[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12586089068)