Skip to content

Commit

Permalink
Update benchmark results at a25357d
Browse files Browse the repository at this point in the history
github-actions[bot] committed Jan 2, 2025

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
1 parent 1be40ce commit 4f27a6a
Showing 5 changed files with 406 additions and 0 deletions.
Original file line number Diff line number Diff line change
@@ -0,0 +1,116 @@
| ecrecover_program |||||
|:---|---:|---:|---:|---:|
|metric|avg|sum|max|min|
| `total_proof_time_ms ` | <span style='color: red'>(+4 [+0.1%])</span> 2,916 | <span style='color: red'>(+4 [+0.1%])</span> 2,916 | <span style='color: red'>(+4 [+0.1%])</span> 2,916 | <span style='color: red'>(+4 [+0.1%])</span> 2,916 |
| `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 ` | 481 | 481 | 481 | 481 |
| `trace_gen_time_ms ` | <span style='color: red'>(+5 [+6.5%])</span> 82 | <span style='color: red'>(+5 [+6.5%])</span> 82 | <span style='color: red'>(+5 [+6.5%])</span> 82 | <span style='color: red'>(+5 [+6.5%])</span> 82 |
| `stark_prove_excluding_trace_time_ms` | 2,353 | 2,353 | 2,353 | 2,353 |
| `main_trace_commit_time_ms` | <span style='color: red'>(+4 [+1.0%])</span> 409 | <span style='color: red'>(+4 [+1.0%])</span> 409 | <span style='color: red'>(+4 [+1.0%])</span> 409 | <span style='color: red'>(+4 [+1.0%])</span> 409 |
| `generate_perm_trace_time_ms` | 41 | 41 | 41 | 41 |
| `perm_trace_commit_time_ms` | <span style='color: red'>(+3 [+0.6%])</span> 525 | <span style='color: red'>(+3 [+0.6%])</span> 525 | <span style='color: red'>(+3 [+0.6%])</span> 525 | <span style='color: red'>(+3 [+0.6%])</span> 525 |
| `quotient_poly_compute_time_ms` | <span style='color: red'>(+1 [+0.4%])</span> 274 | <span style='color: red'>(+1 [+0.4%])</span> 274 | <span style='color: red'>(+1 [+0.4%])</span> 274 | <span style='color: red'>(+1 [+0.4%])</span> 274 |
| `quotient_poly_commit_time_ms` | <span style='color: green'>(-4 [-1.3%])</span> 302 | <span style='color: green'>(-4 [-1.3%])</span> 302 | <span style='color: green'>(-4 [-1.3%])</span> 302 | <span style='color: green'>(-4 [-1.3%])</span> 302 |
| `pcs_opening_time_ms ` | <span style='color: green'>(-4 [-0.5%])</span> 800 | <span style='color: green'>(-4 [-0.5%])</span> 800 | <span style='color: green'>(-4 [-0.5%])</span> 800 | <span style='color: green'>(-4 [-0.5%])</span> 800 |



<details>
<summary>Detailed Metrics</summary>

| group | num_segments | keygen_time_ms | fri.log_blowup | commit_exe_time_ms |
| --- | --- | --- | --- | --- |
| ecrecover_program | 1 | 1,163 | 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 | 82 | 2,916 | 290,016 | 15,230,037 | 55,907,135 | 2,353 | 274 | 302 | 525 | 800 | 409 | 41 | 481 |

</details>


Commit: https://github.com/openvm-org/openvm/commit/a25357d14090b56f73c2ccf1ecbda8329dba47bd

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12585349377)
Original file line number Diff line number Diff line change
@@ -0,0 +1,96 @@
| fibonacci_program |||||
|:---|---:|---:|---:|---:|
|metric|avg|sum|max|min|
| `total_proof_time_ms ` | <span style='color: green'>(-53 [-0.7%])</span> 7,451 | <span style='color: green'>(-53 [-0.7%])</span> 7,451 | <span style='color: green'>(-53 [-0.7%])</span> 7,451 | <span style='color: green'>(-53 [-0.7%])</span> 7,451 |
| `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'>(-47 [-2.8%])</span> 1,644 | <span style='color: green'>(-47 [-2.8%])</span> 1,644 | <span style='color: green'>(-47 [-2.8%])</span> 1,644 | <span style='color: green'>(-47 [-2.8%])</span> 1,644 |
| `trace_gen_time_ms ` | <span style='color: green'>(-11 [-4.2%])</span> 253 | <span style='color: green'>(-11 [-4.2%])</span> 253 | <span style='color: green'>(-11 [-4.2%])</span> 253 | <span style='color: green'>(-11 [-4.2%])</span> 253 |
| `stark_prove_excluding_trace_time_ms` | 5,554 | 5,554 | 5,554 | 5,554 |
| `main_trace_commit_time_ms` | <span style='color: green'>(-6 [-0.7%])</span> 858 | <span style='color: green'>(-6 [-0.7%])</span> 858 | <span style='color: green'>(-6 [-0.7%])</span> 858 | <span style='color: green'>(-6 [-0.7%])</span> 858 |
| `generate_perm_trace_time_ms` | <span style='color: red'>(+2 [+1.1%])</span> 179 | <span style='color: red'>(+2 [+1.1%])</span> 179 | <span style='color: red'>(+2 [+1.1%])</span> 179 | <span style='color: red'>(+2 [+1.1%])</span> 179 |
| `perm_trace_commit_time_ms` | 1,749 | 1,749 | 1,749 | 1,749 |
| `quotient_poly_compute_time_ms` | <span style='color: red'>(+6 [+0.7%])</span> 859 | <span style='color: red'>(+6 [+0.7%])</span> 859 | <span style='color: red'>(+6 [+0.7%])</span> 859 | <span style='color: red'>(+6 [+0.7%])</span> 859 |
| `quotient_poly_commit_time_ms` | <span style='color: red'>(+28 [+5.6%])</span> 524 | <span style='color: red'>(+28 [+5.6%])</span> 524 | <span style='color: red'>(+28 [+5.6%])</span> 524 | <span style='color: red'>(+28 [+5.6%])</span> 524 |
| `pcs_opening_time_ms ` | <span style='color: green'>(-24 [-1.7%])</span> 1,382 | <span style='color: green'>(-24 [-1.7%])</span> 1,382 | <span style='color: green'>(-24 [-1.7%])</span> 1,382 | <span style='color: green'>(-24 [-1.7%])</span> 1,382 |



<details>
<summary>Detailed Metrics</summary>

| group | num_segments | keygen_time_ms | fri.log_blowup | commit_exe_time_ms |
| --- | --- | --- | --- | --- |
| fibonacci_program | 1 | 357 | 2 | 5 |

| 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 | 253 | 7,451 | 1,500,137 | 51,505,102 | 197,453,854 | 5,554 | 859 | 524 | 1,749 | 1,382 | 858 | 179 | 1,644 |

</details>


Commit: https://github.com/openvm-org/openvm/commit/a25357d14090b56f73c2ccf1ecbda8329dba47bd

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12585349377)
104 changes: 104 additions & 0 deletions benchmarks-pr/1158/regex-a25357d14090b56f73c2ccf1ecbda8329dba47bd.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,104 @@
| regex_program |||||
|:---|---:|---:|---:|---:|
|metric|avg|sum|max|min|
| `total_proof_time_ms ` | <span style='color: green'>(-121 [-0.5%])</span> 22,178 | <span style='color: green'>(-121 [-0.5%])</span> 22,178 | <span style='color: green'>(-121 [-0.5%])</span> 22,178 | <span style='color: green'>(-121 [-0.5%])</span> 22,178 |
| `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'>(-11 [-0.2%])</span> 5,747 | <span style='color: green'>(-11 [-0.2%])</span> 5,747 | <span style='color: green'>(-11 [-0.2%])</span> 5,747 | <span style='color: green'>(-11 [-0.2%])</span> 5,747 |
| `trace_gen_time_ms ` | <span style='color: red'>(+21 [+2.8%])</span> 764 | <span style='color: red'>(+21 [+2.8%])</span> 764 | <span style='color: red'>(+21 [+2.8%])</span> 764 | <span style='color: red'>(+21 [+2.8%])</span> 764 |
| `stark_prove_excluding_trace_time_ms` | <span style='color: green'>(-131 [-0.8%])</span> 15,667 | <span style='color: green'>(-131 [-0.8%])</span> 15,667 | <span style='color: green'>(-131 [-0.8%])</span> 15,667 | <span style='color: green'>(-131 [-0.8%])</span> 15,667 |
| `main_trace_commit_time_ms` | <span style='color: green'>(-6 [-0.2%])</span> 2,431 | <span style='color: green'>(-6 [-0.2%])</span> 2,431 | <span style='color: green'>(-6 [-0.2%])</span> 2,431 | <span style='color: green'>(-6 [-0.2%])</span> 2,431 |
| `generate_perm_trace_time_ms` | <span style='color: red'>(+11 [+2.2%])</span> 504 | <span style='color: red'>(+11 [+2.2%])</span> 504 | <span style='color: red'>(+11 [+2.2%])</span> 504 | <span style='color: red'>(+11 [+2.2%])</span> 504 |
| `perm_trace_commit_time_ms` | <span style='color: green'>(-41 [-0.8%])</span> 5,425 | <span style='color: green'>(-41 [-0.8%])</span> 5,425 | <span style='color: green'>(-41 [-0.8%])</span> 5,425 | <span style='color: green'>(-41 [-0.8%])</span> 5,425 |
| `quotient_poly_compute_time_ms` | <span style='color: green'>(-10 [-0.4%])</span> 2,659 | <span style='color: green'>(-10 [-0.4%])</span> 2,659 | <span style='color: green'>(-10 [-0.4%])</span> 2,659 | <span style='color: green'>(-10 [-0.4%])</span> 2,659 |
| `quotient_poly_commit_time_ms` | <span style='color: red'>(+8 [+0.6%])</span> 1,278 | <span style='color: red'>(+8 [+0.6%])</span> 1,278 | <span style='color: red'>(+8 [+0.6%])</span> 1,278 | <span style='color: red'>(+8 [+0.6%])</span> 1,278 |
| `pcs_opening_time_ms ` | <span style='color: green'>(-92 [-2.7%])</span> 3,367 | <span style='color: green'>(-92 [-2.7%])</span> 3,367 | <span style='color: green'>(-92 [-2.7%])</span> 3,367 | <span style='color: green'>(-92 [-2.7%])</span> 3,367 |



<details>
<summary>Detailed Metrics</summary>

| group | num_segments | keygen_time_ms | fri.log_blowup | commit_exe_time_ms |
| --- | --- | --- | --- | --- |
| regex_program | 1 | 725 | 2 | 47 |

| 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 | 764 | 22,178 | 4,190,904 | 165,028,173 | 632,452,480 | 15,667 | 2,659 | 1,278 | 5,425 | 3,367 | 2,431 | 504 | 5,747 |

</details>


Commit: https://github.com/openvm-org/openvm/commit/a25357d14090b56f73c2ccf1ecbda8329dba47bd

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12585349377)
11 changes: 11 additions & 0 deletions benchmarks-pr/1158/summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +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 |- | - | - |


Commit: https://github.com/openvm-org/openvm/commit/a25357d14090b56f73c2ccf1ecbda8329dba47bd

[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12585349377)
Original file line number Diff line number Diff line change
@@ -0,0 +1,79 @@
| verify_fibair |||||
|:---|---:|---:|---:|---:|
|metric|avg|sum|max|min|
| `total_proof_time_ms ` | <span style='color: green'>(-18 [-1.1%])</span> 1,596 | <span style='color: green'>(-18 [-1.1%])</span> 1,596 | <span style='color: green'>(-18 [-1.1%])</span> 1,596 | <span style='color: green'>(-18 [-1.1%])</span> 1,596 |
| `total_cells_used ` | 8,012,622 | 8,012,622 | 8,012,622 | 8,012,622 |
| `total_cycles ` | 194,774 | 194,774 | 194,774 | 194,774 |
| `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'>(-2 [-4.2%])</span> 46 | <span style='color: green'>(-2 [-4.2%])</span> 46 | <span style='color: green'>(-2 [-4.2%])</span> 46 | <span style='color: green'>(-2 [-4.2%])</span> 46 |
| `stark_prove_excluding_trace_time_ms` | <span style='color: green'>(-20 [-1.4%])</span> 1,368 | <span style='color: green'>(-20 [-1.4%])</span> 1,368 | <span style='color: green'>(-20 [-1.4%])</span> 1,368 | <span style='color: green'>(-20 [-1.4%])</span> 1,368 |
| `main_trace_commit_time_ms` | <span style='color: green'>(-5 [-2.3%])</span> 212 | <span style='color: green'>(-5 [-2.3%])</span> 212 | <span style='color: green'>(-5 [-2.3%])</span> 212 | <span style='color: green'>(-5 [-2.3%])</span> 212 |
| `generate_perm_trace_time_ms` | <span style='color: red'>(+2 [+8.0%])</span> 27 | <span style='color: red'>(+2 [+8.0%])</span> 27 | <span style='color: red'>(+2 [+8.0%])</span> 27 | <span style='color: red'>(+2 [+8.0%])</span> 27 |
| `perm_trace_commit_time_ms` | <span style='color: green'>(-12 [-6.4%])</span> 176 | <span style='color: green'>(-12 [-6.4%])</span> 176 | <span style='color: green'>(-12 [-6.4%])</span> 176 | <span style='color: green'>(-12 [-6.4%])</span> 176 |
| `quotient_poly_compute_time_ms` | <span style='color: green'>(-5 [-2.0%])</span> 250 | <span style='color: green'>(-5 [-2.0%])</span> 250 | <span style='color: green'>(-5 [-2.0%])</span> 250 | <span style='color: green'>(-5 [-2.0%])</span> 250 |
| `quotient_poly_commit_time_ms` | <span style='color: red'>(+3 [+1.2%])</span> 248 | <span style='color: red'>(+3 [+1.2%])</span> 248 | <span style='color: red'>(+3 [+1.2%])</span> 248 | <span style='color: red'>(+3 [+1.2%])</span> 248 |
| `pcs_opening_time_ms ` | <span style='color: green'>(-4 [-0.9%])</span> 452 | <span style='color: green'>(-4 [-0.9%])</span> 452 | <span style='color: green'>(-4 [-0.9%])</span> 452 | <span style='color: green'>(-4 [-0.9%])</span> 452 |



<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 | 12 | 0 | 1 | 0 | 4 | 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 | 46 | 1,596 | 194,774 | 8,012,622 | 23,304,216 | 1,368 | 250 | 248 | 176 | 452 | 212 | 27 | 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/a25357d14090b56f73c2ccf1ecbda8329dba47bd

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12585349377)

0 comments on commit 4f27a6a

Please sign in to comment.