diff --git a/benchmarks-pr/1175/ecrecover-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md b/benchmarks-pr/1175/ecrecover-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md new file mode 100644 index 0000000000..6e251c7e68 --- /dev/null +++ b/benchmarks-pr/1175/ecrecover-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md @@ -0,0 +1,121 @@ +| Summary | Proof Time (s) | Parallel Proof Time (s) | +|:---|---:|---:| +| Total | (+0 [+0.5%]) 2.63 | (+0 [+0.5%]) 2.63 | +| ecrecover_program | (+0 [+0.5%]) 2.63 | (+0 [+0.5%]) 2.63 | + + +| ecrecover_program ||||| +|:---|---:|---:|---:|---:| +|metric|avg|sum|max|min| +| `total_proof_time_ms ` | (+14 [+0.5%]) 2,628 | (+14 [+0.5%]) 2,628 | (+14 [+0.5%]) 2,628 | (+14 [+0.5%]) 2,628 | +| `main_cells_used ` | 15,092,297 | 15,092,297 | 15,092,297 | 15,092,297 | +| `total_cycles ` | 285,401 | 285,401 | 285,401 | 285,401 | +| `execute_time_ms ` | (+1 [+0.7%]) 149 | (+1 [+0.7%]) 149 | (+1 [+0.7%]) 149 | (+1 [+0.7%]) 149 | +| `trace_gen_time_ms ` | 270 | 270 | 270 | 270 | +| `stark_prove_excluding_trace_time_ms` | (+13 [+0.6%]) 2,209 | (+13 [+0.6%]) 2,209 | (+13 [+0.6%]) 2,209 | (+13 [+0.6%]) 2,209 | +| `main_trace_commit_time_ms` | (-5 [-1.3%]) 393 | (-5 [-1.3%]) 393 | (-5 [-1.3%]) 393 | (-5 [-1.3%]) 393 | +| `generate_perm_trace_time_ms` | (-4 [-9.5%]) 38 | (-4 [-9.5%]) 38 | (-4 [-9.5%]) 38 | (-4 [-9.5%]) 38 | +| `perm_trace_commit_time_ms` | (+9 [+1.7%]) 530 | (+9 [+1.7%]) 530 | (+9 [+1.7%]) 530 | (+9 [+1.7%]) 530 | +| `quotient_poly_compute_time_ms` | (+6 [+2.0%]) 303 | (+6 [+2.0%]) 303 | (+6 [+2.0%]) 303 | (+6 [+2.0%]) 303 | +| `quotient_poly_commit_time_ms` | (+25 [+8.2%]) 329 | (+25 [+8.2%]) 329 | (+25 [+8.2%]) 329 | (+25 [+8.2%]) 329 | +| `pcs_opening_time_ms ` | (-18 [-2.9%]) 613 | (-18 [-2.9%]) 613 | (-18 [-2.9%]) 613 | (-18 [-2.9%]) 613 | + + + +
+Detailed Metrics + +| group | num_segments | keygen_time_ms | commit_exe_time_ms | +| --- | --- | --- | --- | +| ecrecover_program | 1 | 995 | 12 | + +| 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, 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 | 2 | 19 | 43 | +| ecrecover_program | VmAirWrapper | 2 | 17 | 39 | +| ecrecover_program | VmAirWrapper | 2 | 23 | 90 | +| ecrecover_program | VmAirWrapper | 2 | 11 | 25 | +| ecrecover_program | VmAirWrapper | 2 | 13 | 41 | +| ecrecover_program | VmAirWrapper | 2 | 10 | 22 | +| ecrecover_program | VmAirWrapper | 2 | 15 | 17 | +| ecrecover_program | VmAirWrapper, ModularIsEqualCoreAir<32, 4, 8> | 2 | 25 | 223 | +| ecrecover_program | VmAirWrapper | 2 | 16 | 20 | +| ecrecover_program | VmAirWrapper | 2 | 18 | 33 | +| ecrecover_program | VmAirWrapper | 2 | 17 | 38 | +| ecrecover_program | VmAirWrapper | 2 | 25 | 88 | +| ecrecover_program | VmAirWrapper | 2 | 24 | 38 | +| ecrecover_program | VmAirWrapper | 2 | 19 | 26 | +| ecrecover_program | VmAirWrapper | 2 | 11 | 15 | +| ecrecover_program | VmAirWrapper, EcDoubleCoreAir> | 2 | 411 | 514 | +| ecrecover_program | VmAirWrapper, ModularAddSubCoreAir> | 2 | 94 | 127 | +| ecrecover_program | VmAirWrapper, ModularMulDivCoreAir> | 2 | 156 | 189 | +| ecrecover_program | VmAirWrapper, FieldExpressionCoreAir> | 2 | 422 | 457 | +| 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, 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 | 0 | 131,072 | | 80 | 36 | 15,204,352 | +| ecrecover_program | VmAirWrapper | 0 | 2,048 | | 40 | 37 | 157,696 | +| ecrecover_program | VmAirWrapper | 0 | 16,384 | | 52 | 53 | 1,720,320 | +| ecrecover_program | VmAirWrapper | 0 | 16,384 | | 48 | 26 | 1,212,416 | +| ecrecover_program | VmAirWrapper | 0 | 32,768 | | 56 | 32 | 2,883,584 | +| ecrecover_program | VmAirWrapper | 0 | 8,192 | | 44 | 18 | 507,904 | +| ecrecover_program | VmAirWrapper | 0 | 256 | | 36 | 26 | 15,872 | +| ecrecover_program | VmAirWrapper, ModularIsEqualCoreAir<32, 4, 8> | 0 | 4,096 | | 56 | 166 | 909,312 | +| ecrecover_program | VmAirWrapper | 0 | 8,192 | | 36 | 28 | 524,288 | +| ecrecover_program | VmAirWrapper | 0 | 4,096 | | 76 | 35 | 454,656 | +| ecrecover_program | VmAirWrapper | 0 | 131,072 | | 72 | 40 | 14,680,064 | +| ecrecover_program | VmAirWrapper | 0 | 8 | | 100 | 39 | 1,112 | +| ecrecover_program | VmAirWrapper | 0 | 4,096 | | 80 | 31 | 454,656 | +| ecrecover_program | VmAirWrapper | 0 | 4,096 | | 28 | 21 | 200,704 | +| ecrecover_program | VmAirWrapper, EcDoubleCoreAir> | 0 | 2,048 | | 828 | 543 | 2,807,808 | +| ecrecover_program | VmAirWrapper, ModularAddSubCoreAir> | 0 | 16 | | 192 | 199 | 6,256 | +| ecrecover_program | VmAirWrapper, ModularMulDivCoreAir> | 0 | 32 | | 316 | 261 | 18,464 | +| ecrecover_program | VmAirWrapper, 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 | 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 | main_cells_used | generate_perm_trace_time_ms | execute_time_ms | +| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | +| ecrecover_program | 0 | 270 | 2,628 | 285,401 | 56,172,159 | 2,209 | 303 | 329 | 530 | 613 | 393 | 15,092,297 | 38 | 149 | + +
+ + +Commit: https://github.com/openvm-org/openvm/commit/dd959bd77bc2f84518e2df4db83cd67dac61a8e0 + +Max Segment Length: 1048476 + +Instance Type: 64cpu-linux-arm64 + +Memory Allocator: mimalloc + +[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12754365548) diff --git a/benchmarks-pr/1175/fibonacci-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md b/benchmarks-pr/1175/fibonacci-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md new file mode 100644 index 0000000000..1cf209d181 --- /dev/null +++ b/benchmarks-pr/1175/fibonacci-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md @@ -0,0 +1,459 @@ +| Summary | Proof Time (s) | Parallel Proof Time (s) | +|:---|---:|---:| +| Total | (+15 [+78.1%]) 34.52 | (+15 [+78.1%]) 34.52 | +| fibonacci_program | (+4 [+73.7%]) 10.60 | (+4 [+73.7%]) 10.60 | +| leaf | (+11 [+80.2%]) 23.92 | (+11 [+80.2%]) 23.92 | + + +| fibonacci_program ||||| +|:---|---:|---:|---:|---:| +|metric|avg|sum|max|min| +| `total_proof_time_ms ` | (+4496 [+73.7%]) 10,597 | (+4496 [+73.7%]) 10,597 | (+4496 [+73.7%]) 10,597 | (+4496 [+73.7%]) 10,597 | +| `main_cells_used ` | 51,503,940 | 51,503,940 | 51,503,940 | 51,503,940 | +| `total_cycles ` | 1,500,137 | 1,500,137 | 1,500,137 | 1,500,137 | +| `execute_time_ms ` | (+4521 [+1472.6%]) 4,828 | (+4521 [+1472.6%]) 4,828 | (+4521 [+1472.6%]) 4,828 | (+4521 [+1472.6%]) 4,828 | +| `trace_gen_time_ms ` | (+9 [+1.1%]) 831 | (+9 [+1.1%]) 831 | (+9 [+1.1%]) 831 | (+9 [+1.1%]) 831 | +| `stark_prove_excluding_trace_time_ms` | (-34 [-0.7%]) 4,938 | (-34 [-0.7%]) 4,938 | (-34 [-0.7%]) 4,938 | (-34 [-0.7%]) 4,938 | +| `main_trace_commit_time_ms` | (-8 [-1.0%]) 803 | (-8 [-1.0%]) 803 | (-8 [-1.0%]) 803 | (-8 [-1.0%]) 803 | +| `generate_perm_trace_time_ms` | (+2 [+1.1%]) 180 | (+2 [+1.1%]) 180 | (+2 [+1.1%]) 180 | (+2 [+1.1%]) 180 | +| `perm_trace_commit_time_ms` | (-9 [-0.6%]) 1,590 | (-9 [-0.6%]) 1,590 | (-9 [-0.6%]) 1,590 | (-9 [-0.6%]) 1,590 | +| `quotient_poly_compute_time_ms` | (+4 [+0.5%]) 786 | (+4 [+0.5%]) 786 | (+4 [+0.5%]) 786 | (+4 [+0.5%]) 786 | +| `quotient_poly_commit_time_ms` | (-24 [-4.6%]) 495 | (-24 [-4.6%]) 495 | (-24 [-4.6%]) 495 | (-24 [-4.6%]) 495 | +| `pcs_opening_time_ms ` | (+3 [+0.3%]) 1,082 | (+3 [+0.3%]) 1,082 | (+3 [+0.3%]) 1,082 | (+3 [+0.3%]) 1,082 | + +| leaf ||||| +|:---|---:|---:|---:|---:| +|metric|avg|sum|max|min| +| `total_proof_time_ms ` | (+10644 [+80.2%]) 23,920 | (+10644 [+80.2%]) 23,920 | (+10644 [+80.2%]) 23,920 | (+10644 [+80.2%]) 23,920 | +| `main_cells_used ` | (+994882 [+0.9%]) 111,693,355 | (+994882 [+0.9%]) 111,693,355 | (+994882 [+0.9%]) 111,693,355 | (+994882 [+0.9%]) 111,693,355 | +| `total_cycles ` | (+164169 [+5.3%]) 3,248,204 | (+164169 [+5.3%]) 3,248,204 | (+164169 [+5.3%]) 3,248,204 | (+164169 [+5.3%]) 3,248,204 | +| `execute_time_ms ` | (+10603 [+1752.6%]) 11,208 | (+10603 [+1752.6%]) 11,208 | (+10603 [+1752.6%]) 11,208 | (+10603 [+1752.6%]) 11,208 | +| `trace_gen_time_ms ` | (+20 [+1.1%]) 1,821 | (+20 [+1.1%]) 1,821 | (+20 [+1.1%]) 1,821 | (+20 [+1.1%]) 1,821 | +| `stark_prove_excluding_trace_time_ms` | (+21 [+0.2%]) 10,891 | (+21 [+0.2%]) 10,891 | (+21 [+0.2%]) 10,891 | (+21 [+0.2%]) 10,891 | +| `main_trace_commit_time_ms` | (+25 [+1.3%]) 1,998 | (+25 [+1.3%]) 1,998 | (+25 [+1.3%]) 1,998 | (+25 [+1.3%]) 1,998 | +| `generate_perm_trace_time_ms` | (+7 [+3.0%]) 237 | (+7 [+3.0%]) 237 | (+7 [+3.0%]) 237 | (+7 [+3.0%]) 237 | +| `perm_trace_commit_time_ms` | (-58 [-2.9%]) 1,972 | (-58 [-2.9%]) 1,972 | (-58 [-2.9%]) 1,972 | (-58 [-2.9%]) 1,972 | +| `quotient_poly_compute_time_ms` | (+97 [+4.0%]) 2,541 | (+97 [+4.0%]) 2,541 | (+97 [+4.0%]) 2,541 | (+97 [+4.0%]) 2,541 | +| `quotient_poly_commit_time_ms` | (+34 [+1.8%]) 1,872 | (+34 [+1.8%]) 1,872 | (+34 [+1.8%]) 1,872 | (+34 [+1.8%]) 1,872 | +| `pcs_opening_time_ms ` | (-86 [-3.7%]) 2,268 | (-86 [-3.7%]) 2,268 | (-86 [-3.7%]) 2,268 | (-86 [-3.7%]) 2,268 | + + + +
+Detailed Metrics + +| group | num_segments | keygen_time_ms | commit_exe_time_ms | +| --- | --- | --- | --- | +| fibonacci_program | 1 | 343 | 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, 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 | 2 | 19 | 43 | +| fibonacci_program | VmAirWrapper | 2 | 17 | 39 | +| fibonacci_program | VmAirWrapper | 2 | 23 | 90 | +| fibonacci_program | VmAirWrapper | 2 | 11 | 25 | +| fibonacci_program | VmAirWrapper | 2 | 13 | 41 | +| fibonacci_program | VmAirWrapper | 2 | 10 | 22 | +| fibonacci_program | VmAirWrapper | 2 | 15 | 17 | +| fibonacci_program | VmAirWrapper | 2 | 16 | 20 | +| fibonacci_program | VmAirWrapper | 2 | 18 | 33 | +| fibonacci_program | VmAirWrapper | 2 | 17 | 38 | +| fibonacci_program | VmAirWrapper | 2 | 25 | 88 | +| fibonacci_program | VmAirWrapper | 2 | 24 | 38 | +| fibonacci_program | VmAirWrapper | 2 | 19 | 26 | +| fibonacci_program | VmAirWrapper | 2 | 11 | 15 | +| fibonacci_program | VmConnectorAir | 2 | 3 | 9 | +| leaf | AccessAdapterAir<2> | 4 | 5 | 12 | +| leaf | AccessAdapterAir<4> | 4 | 5 | 12 | +| leaf | AccessAdapterAir<8> | 4 | 5 | 12 | +| leaf | FriReducedOpeningAir | 4 | 35 | 59 | +| leaf | NativePoseidon2Air, 1> | 4 | 31 | 302 | +| leaf | PhantomAir | 4 | 3 | 4 | +| leaf | ProgramAir | 1 | 1 | 4 | +| leaf | VariableRangeCheckerAir | 1 | 1 | 4 | +| leaf | VmAirWrapper | 2 | 11 | 23 | +| leaf | VmAirWrapper | 4 | 7 | 6 | +| leaf | VmAirWrapper, PublicValuesCoreAir> | 4 | 11 | 23 | +| leaf | VmAirWrapper, FieldArithmeticCoreAir> | 4 | 15 | 23 | +| leaf | VmAirWrapper, NativeLoadStoreCoreAir<1> | 4 | 15 | 20 | +| leaf | VmAirWrapper, NativeLoadStoreCoreAir<4> | 4 | 15 | 20 | +| leaf | VmAirWrapper, FieldExtensionCoreAir> | 4 | 15 | 23 | +| leaf | VmConnectorAir | 4 | 3 | 8 | +| leaf | VolatileBoundaryAir | 4 | 4 | 16 | + +| group | air_name | dsl_ir | idx | opcode | cells_used | +| --- | --- | --- | --- | --- | --- | +| leaf | > | AssertEqE | 0 | BNE | 5,704 | +| leaf | > | AssertEqEI | 0 | BNE | 92 | +| leaf | > | AssertEqF | 0 | BNE | 248,216 | +| leaf | > | AssertEqV | 0 | BNE | 24,679 | +| leaf | > | AssertEqVI | 0 | BNE | 5,543 | +| leaf | > | AssertNonZero | 0 | BEQ | 23 | +| leaf | > | For | 0 | BNE | 3,140,903 | +| leaf | > | IfEq | 0 | BNE | 2,110,112 | +| leaf | > | IfEqI | 0 | BNE | 1,557,790 | +| leaf | > | IfNe | 0 | BEQ | 408,043 | +| leaf | > | IfNeI | 0 | BEQ | 21,643 | +| leaf | > | ZipFor | 0 | BNE | 7,132,714 | +| leaf | | | 0 | JAL | 10 | +| leaf | | For | 0 | JAL | 121,580 | +| leaf | | IfEqI | 0 | JAL | 301,190 | +| leaf | | IfNe | 0 | JAL | 10 | +| leaf | | ZipFor | 0 | JAL | 326,740 | +| leaf | ,PublicValuesCoreAir> | Publish | 0 | PUBLISH | 828 | +| leaf | ,FieldArithmeticCoreAir> | | 0 | ADD | 30 | +| leaf | ,FieldArithmeticCoreAir> | AddEFFI | 0 | ADD | 21,120 | +| leaf | ,FieldArithmeticCoreAir> | AddEFI | 0 | ADD | 18,480 | +| leaf | ,FieldArithmeticCoreAir> | AddEI | 0 | ADD | 829,560 | +| leaf | ,FieldArithmeticCoreAir> | AddF | 0 | ADD | 39,990 | +| leaf | ,FieldArithmeticCoreAir> | AddFI | 0 | ADD | 1,298,040 | +| leaf | ,FieldArithmeticCoreAir> | AddV | 0 | ADD | 1,947,150 | +| leaf | ,FieldArithmeticCoreAir> | AddVI | 0 | ADD | 8,243,340 | +| leaf | ,FieldArithmeticCoreAir> | Alloc | 0 | ADD | 3,441,720 | +| leaf | ,FieldArithmeticCoreAir> | Alloc | 0 | MUL | 1,024,500 | +| leaf | ,FieldArithmeticCoreAir> | CastFV | 0 | ADD | 30 | +| leaf | ,FieldArithmeticCoreAir> | DivEIN | 0 | ADD | 6,480 | +| leaf | ,FieldArithmeticCoreAir> | DivFIN | 0 | DIV | 3,840 | +| leaf | ,FieldArithmeticCoreAir> | For | 0 | ADD | 4,096,830 | +| leaf | ,FieldArithmeticCoreAir> | ImmE | 0 | ADD | 96,240 | +| leaf | ,FieldArithmeticCoreAir> | ImmF | 0 | ADD | 1,402,230 | +| leaf | ,FieldArithmeticCoreAir> | ImmV | 0 | ADD | 582,540 | +| leaf | ,FieldArithmeticCoreAir> | LoadE | 0 | ADD | 332,640 | +| leaf | ,FieldArithmeticCoreAir> | LoadE | 0 | MUL | 332,640 | +| leaf | ,FieldArithmeticCoreAir> | LoadF | 0 | ADD | 345,360 | +| leaf | ,FieldArithmeticCoreAir> | LoadF | 0 | MUL | 236,490 | +| leaf | ,FieldArithmeticCoreAir> | LoadHeapPtr | 0 | ADD | 30 | +| leaf | ,FieldArithmeticCoreAir> | LoadV | 0 | ADD | 1,378,470 | +| leaf | ,FieldArithmeticCoreAir> | LoadV | 0 | MUL | 1,146,180 | +| leaf | ,FieldArithmeticCoreAir> | MulEF | 0 | MUL | 113,760 | +| leaf | ,FieldArithmeticCoreAir> | MulEFI | 0 | MUL | 15,000 | +| leaf | ,FieldArithmeticCoreAir> | MulEI | 0 | ADD | 183,120 | +| leaf | ,FieldArithmeticCoreAir> | MulF | 0 | MUL | 2,510,010 | +| leaf | ,FieldArithmeticCoreAir> | MulFI | 0 | MUL | 40,590 | +| leaf | ,FieldArithmeticCoreAir> | MulVI | 0 | MUL | 945,510 | +| leaf | ,FieldArithmeticCoreAir> | NegE | 0 | MUL | 5,160 | +| leaf | ,FieldArithmeticCoreAir> | StoreE | 0 | ADD | 231,840 | +| leaf | ,FieldArithmeticCoreAir> | StoreE | 0 | MUL | 231,840 | +| leaf | ,FieldArithmeticCoreAir> | StoreF | 0 | ADD | 234,870 | +| leaf | ,FieldArithmeticCoreAir> | StoreF | 0 | MUL | 21,960 | +| leaf | ,FieldArithmeticCoreAir> | StoreHeapPtr | 0 | ADD | 30 | +| leaf | ,FieldArithmeticCoreAir> | StoreV | 0 | ADD | 612,480 | +| leaf | ,FieldArithmeticCoreAir> | StoreV | 0 | MUL | 495,060 | +| leaf | ,FieldArithmeticCoreAir> | SubEF | 0 | ADD | 485,460 | +| leaf | ,FieldArithmeticCoreAir> | SubEF | 0 | SUB | 161,820 | +| leaf | ,FieldArithmeticCoreAir> | SubEFI | 0 | ADD | 10,320 | +| leaf | ,FieldArithmeticCoreAir> | SubEI | 0 | ADD | 12,960 | +| leaf | ,FieldArithmeticCoreAir> | SubFI | 0 | SUB | 39,990 | +| leaf | ,FieldArithmeticCoreAir> | SubV | 0 | SUB | 446,640 | +| leaf | ,FieldArithmeticCoreAir> | SubVI | 0 | SUB | 30,000 | +| leaf | ,FieldArithmeticCoreAir> | SubVIN | 0 | SUB | 25,200 | +| leaf | ,FieldArithmeticCoreAir> | UnsafeCastVF | 0 | ADD | 600 | +| leaf | ,FieldArithmeticCoreAir> | ZipFor | 0 | ADD | 11,094,630 | +| leaf | ,NativeLoadStoreCoreAir<1>> | LoadF | 0 | LOADW | 2,746,350 | +| leaf | ,NativeLoadStoreCoreAir<1>> | LoadV | 0 | LOADW | 6,105,150 | +| leaf | ,NativeLoadStoreCoreAir<1>> | StoreF | 0 | STOREW | 2,729,600 | +| leaf | ,NativeLoadStoreCoreAir<1>> | StoreHintWord | 0 | HINT_STOREW | 5,741,100 | +| leaf | ,NativeLoadStoreCoreAir<1>> | StoreV | 0 | STOREW | 1,630,200 | +| leaf | ,NativeLoadStoreCoreAir<4>> | LoadE | 0 | LOADW4 | 743,172 | +| leaf | ,NativeLoadStoreCoreAir<4>> | StoreE | 0 | STOREW4 | 499,902 | +| leaf | ,FieldExtensionCoreAir> | AddE | 0 | FE4ADD | 497,320 | +| leaf | ,FieldExtensionCoreAir> | DivE | 0 | BBE4DIV | 248,560 | +| leaf | ,FieldExtensionCoreAir> | DivEIN | 0 | BBE4DIV | 2,160 | +| leaf | ,FieldExtensionCoreAir> | MulE | 0 | BBE4MUL | 341,400 | +| leaf | ,FieldExtensionCoreAir> | MulEI | 0 | BBE4MUL | 61,040 | +| leaf | ,FieldExtensionCoreAir> | SubE | 0 | FE4SUB | 132,240 | +| leaf | Arc, 1> | Poseidon2CompressBabyBear | 0 | COMP_POS2 | 6,025,620 | +| leaf | Arc, 1> | Poseidon2PermuteBabyBear | 0 | PERM_POS2 | 3,218,652 | +| leaf | FriReducedOpeningAir | FriReducedOpening | 0 | FRI_REDUCED_OPENING | 7,547,904 | +| leaf | PhantomAir | CT-ExtractPublicValuesCommit | 0 | PHANTOM | 12 | +| leaf | PhantomAir | CT-InitializePcsConst | 0 | PHANTOM | 12 | +| leaf | PhantomAir | CT-ReadProofsFromInput | 0 | PHANTOM | 12 | +| leaf | PhantomAir | CT-VerifyProofs | 0 | PHANTOM | 12 | +| leaf | PhantomAir | CT-compute-reduced-opening | 0 | PHANTOM | 4,032 | +| leaf | PhantomAir | CT-exp-reverse-bits-len | 0 | PHANTOM | 41,328 | +| leaf | PhantomAir | CT-poseidon2-hash | 0 | PHANTOM | 23,688 | +| leaf | PhantomAir | CT-poseidon2-hash-ext | 0 | PHANTOM | 10,080 | +| leaf | PhantomAir | CT-poseidon2-hash-setup | 0 | PHANTOM | 744,912 | +| leaf | PhantomAir | CT-single-reduced-opening-eval | 0 | PHANTOM | 64,008 | +| leaf | PhantomAir | CT-stage-c-build-rounds | 0 | PHANTOM | 12 | +| leaf | PhantomAir | CT-stage-d-verifier-verify | 0 | PHANTOM | 12 | +| leaf | PhantomAir | CT-stage-d-verify-pcs | 0 | PHANTOM | 12 | +| leaf | PhantomAir | CT-stage-e-verify-constraints | 0 | PHANTOM | 12 | +| leaf | PhantomAir | CT-verify-batch | 0 | PHANTOM | 4,032 | +| leaf | PhantomAir | CT-verify-batch-ext | 0 | PHANTOM | 10,080 | +| leaf | PhantomAir | CT-verify-batch-reduce-fast | 0 | PHANTOM | 33,768 | +| leaf | PhantomAir | CT-verify-batch-reduce-fast-setup | 0 | PHANTOM | 33,768 | +| leaf | PhantomAir | CT-verify-query | 0 | PHANTOM | 504 | +| leaf | PhantomAir | HintBitsF | 0 | PHANTOM | 258 | +| leaf | PhantomAir | HintInputVec | 0 | PHANTOM | 139,272 | + +| group | air_name | dsl_ir | opcode | segment | cells_used | +| --- | --- | --- | --- | --- | --- | +| fibonacci_program | > | | ADD | 0 | 32,401,620 | +| fibonacci_program | > | | AND | 0 | 72 | +| fibonacci_program | > | | OR | 0 | 36 | +| fibonacci_program | > | | SUB | 0 | 144 | +| fibonacci_program | > | | XOR | 0 | 72 | +| fibonacci_program | > | | SLTU | 0 | 11,100,074 | +| fibonacci_program | > | | SLL | 0 | 106 | +| fibonacci_program | > | | BEQ | 0 | 2,600,104 | +| fibonacci_program | > | | BNE | 0 | 2,600,130 | +| fibonacci_program | > | | BGEU | 0 | 96 | +| fibonacci_program | > | | BLTU | 0 | 64 | +| fibonacci_program | | | JAL | 0 | 1,800,018 | +| fibonacci_program | | | LUI | 0 | 162 | +| fibonacci_program | | | HINT_STOREW | 0 | 78 | +| fibonacci_program | | | JALR | 0 | 364 | +| fibonacci_program | > | | LOADW | 0 | 520 | +| fibonacci_program | > | | STOREW | 0 | 600 | +| fibonacci_program | | | AUIPC | 0 | 168 | +| fibonacci_program | PhantomAir | | PHANTOM | 0 | 12 | + +| group | air_name | idx | rows | prep_cols | perm_cols | main_cols | cells | +| --- | --- | --- | --- | --- | --- | --- | --- | +| leaf | AccessAdapterAir<2> | 0 | 524,288 | | 16 | 11 | 14,155,776 | +| leaf | AccessAdapterAir<4> | 0 | 262,144 | | 16 | 13 | 7,602,176 | +| leaf | AccessAdapterAir<8> | 0 | 65,536 | | 16 | 17 | 2,162,688 | +| leaf | FriReducedOpeningAir | 0 | 131,072 | | 76 | 64 | 18,350,080 | +| leaf | NativePoseidon2Air, 1> | 0 | 32,768 | | 36 | 348 | 12,582,912 | +| leaf | PhantomAir | 0 | 262,144 | | 8 | 6 | 3,670,016 | +| leaf | ProgramAir | 0 | 131,072 | | 8 | 10 | 2,359,296 | +| leaf | VariableRangeCheckerAir | 0 | 262,144 | 2 | 8 | 1 | 2,359,296 | +| leaf | VmAirWrapper | 0 | 1,048,576 | | 28 | 23 | 53,477,376 | +| leaf | VmAirWrapper | 0 | 131,072 | | 12 | 10 | 2,883,584 | +| leaf | VmAirWrapper, PublicValuesCoreAir> | 0 | 64 | | 16 | 23 | 2,496 | +| leaf | VmAirWrapper, FieldArithmeticCoreAir> | 0 | 2,097,152 | | 20 | 30 | 104,857,600 | +| leaf | VmAirWrapper, NativeLoadStoreCoreAir<1> | 0 | 1,048,576 | | 36 | 25 | 63,963,136 | +| leaf | VmAirWrapper, NativeLoadStoreCoreAir<4> | 0 | 65,536 | | 36 | 34 | 4,587,520 | +| leaf | VmAirWrapper, FieldExtensionCoreAir> | 0 | 32,768 | | 20 | 40 | 1,966,080 | +| leaf | VmConnectorAir | 0 | 2 | 1 | 8 | 4 | 24 | +| leaf | VolatileBoundaryAir | 0 | 524,288 | | 8 | 11 | 9,961,472 | + +| 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, 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 | 0 | 1,048,576 | | 80 | 36 | 121,634,816 | +| fibonacci_program | VmAirWrapper | 0 | 524,288 | | 40 | 37 | 40,370,176 | +| fibonacci_program | VmAirWrapper | 0 | 2 | | 52 | 53 | 210 | +| fibonacci_program | VmAirWrapper | 0 | 262,144 | | 48 | 26 | 19,398,656 | +| fibonacci_program | VmAirWrapper | 0 | 8 | | 56 | 32 | 704 | +| fibonacci_program | VmAirWrapper | 0 | 131,072 | | 44 | 18 | 8,126,464 | +| fibonacci_program | VmAirWrapper | 0 | 4 | | 36 | 26 | 248 | +| fibonacci_program | VmAirWrapper | 0 | 16 | | 36 | 28 | 1,024 | +| fibonacci_program | VmAirWrapper | 0 | 32 | | 72 | 40 | 3,584 | +| fibonacci_program | VmAirWrapper | 0 | 16 | | 28 | 21 | 784 | +| fibonacci_program | VmConnectorAir | 0 | 2 | 1 | 12 | 4 | 32 | + +| group | chip_name | idx | rows_used | +| --- | --- | --- | --- | +| leaf | > | 0 | 637,194 | +| leaf | | 0 | 74,953 | +| leaf | ,PublicValuesCoreAir> | 0 | 36 | +| leaf | ,FieldArithmeticCoreAir> | 0 | 1,492,427 | +| leaf | ,NativeLoadStoreCoreAir<1>> | 0 | 758,096 | +| leaf | ,NativeLoadStoreCoreAir<4>> | 0 | 36,561 | +| leaf | ,FieldExtensionCoreAir> | 0 | 32,068 | +| leaf | AccessAdapter<2> | 0 | 377,758 | +| leaf | AccessAdapter<4> | 0 | 189,132 | +| leaf | AccessAdapter<8> | 0 | 55,694 | +| leaf | Arc, 1> | 0 | 26,564 | +| leaf | Boundary | 0 | 385,029 | +| leaf | FriReducedOpeningAir | 0 | 117,936 | +| leaf | PhantomAir | 0 | 184,971 | +| leaf | ProgramChip | 0 | 76,206 | +| leaf | VariableRangeCheckerAir | 0 | 262,144 | +| leaf | VmConnectorAir | 0 | 2 | + +| group | chip_name | segment | rows_used | +| --- | --- | --- | --- | +| fibonacci_program | > | 0 | 900,054 | +| fibonacci_program | > | 0 | 300,002 | +| fibonacci_program | > | 0 | 2 | +| fibonacci_program | > | 0 | 200,009 | +| fibonacci_program | > | 0 | 5 | +| fibonacci_program | | 0 | 100,010 | +| fibonacci_program | | 0 | 3 | +| fibonacci_program | | 0 | 13 | +| fibonacci_program | > | 0 | 28 | +| fibonacci_program | | 0 | 9 | +| fibonacci_program | AccessAdapter<8> | 0 | 36 | +| fibonacci_program | Arc, 1> | 0 | 228 | +| fibonacci_program | BitwiseOperationLookupAir<8> | 0 | 65,536 | +| fibonacci_program | Boundary | 0 | 36 | +| fibonacci_program | Merkle | 0 | 280 | +| fibonacci_program | PhantomAir | 0 | 2 | +| fibonacci_program | ProgramChip | 0 | 3,275 | +| fibonacci_program | RangeTupleCheckerAir<2> | 0 | 524,288 | +| fibonacci_program | VariableRangeCheckerAir | 0 | 262,144 | +| fibonacci_program | VmConnectorAir | 0 | 2 | + +| group | dsl_ir | idx | opcode | frequency | +| --- | --- | --- | --- | --- | +| leaf | | 0 | ADD | 2 | +| leaf | | 0 | JAL | 1 | +| leaf | AddE | 0 | FE4ADD | 12,433 | +| leaf | AddEFFI | 0 | ADD | 704 | +| leaf | AddEFI | 0 | ADD | 616 | +| leaf | AddEI | 0 | ADD | 27,652 | +| leaf | AddF | 0 | ADD | 1,333 | +| leaf | AddFI | 0 | ADD | 43,268 | +| leaf | AddV | 0 | ADD | 64,905 | +| leaf | AddVI | 0 | ADD | 274,778 | +| leaf | Alloc | 0 | ADD | 114,724 | +| leaf | Alloc | 0 | MUL | 34,150 | +| leaf | AssertEqE | 0 | BNE | 248 | +| leaf | AssertEqEI | 0 | BNE | 4 | +| leaf | AssertEqF | 0 | BNE | 10,792 | +| leaf | AssertEqV | 0 | BNE | 1,073 | +| leaf | AssertEqVI | 0 | BNE | 241 | +| leaf | AssertNonZero | 0 | BEQ | 1 | +| leaf | CT-ExtractPublicValuesCommit | 0 | PHANTOM | 2 | +| leaf | CT-InitializePcsConst | 0 | PHANTOM | 2 | +| leaf | CT-ReadProofsFromInput | 0 | PHANTOM | 2 | +| leaf | CT-VerifyProofs | 0 | PHANTOM | 2 | +| leaf | CT-compute-reduced-opening | 0 | PHANTOM | 672 | +| leaf | CT-exp-reverse-bits-len | 0 | PHANTOM | 6,888 | +| leaf | CT-poseidon2-hash | 0 | PHANTOM | 3,948 | +| leaf | CT-poseidon2-hash-ext | 0 | PHANTOM | 1,680 | +| leaf | CT-poseidon2-hash-setup | 0 | PHANTOM | 124,152 | +| leaf | CT-single-reduced-opening-eval | 0 | PHANTOM | 10,668 | +| leaf | CT-stage-c-build-rounds | 0 | PHANTOM | 2 | +| leaf | CT-stage-d-verifier-verify | 0 | PHANTOM | 2 | +| leaf | CT-stage-d-verify-pcs | 0 | PHANTOM | 2 | +| leaf | CT-stage-e-verify-constraints | 0 | PHANTOM | 2 | +| leaf | CT-verify-batch | 0 | PHANTOM | 672 | +| leaf | CT-verify-batch-ext | 0 | PHANTOM | 1,680 | +| leaf | CT-verify-batch-reduce-fast | 0 | PHANTOM | 5,628 | +| leaf | CT-verify-batch-reduce-fast-setup | 0 | PHANTOM | 5,628 | +| leaf | CT-verify-query | 0 | PHANTOM | 84 | +| leaf | CastFV | 0 | ADD | 1 | +| leaf | DivE | 0 | BBE4DIV | 6,214 | +| leaf | DivEIN | 0 | ADD | 216 | +| leaf | DivEIN | 0 | BBE4DIV | 54 | +| leaf | DivFIN | 0 | DIV | 128 | +| leaf | For | 0 | ADD | 136,561 | +| leaf | For | 0 | BNE | 136,561 | +| leaf | For | 0 | JAL | 12,158 | +| leaf | FriReducedOpening | 0 | FRI_REDUCED_OPENING | 5,334 | +| leaf | HintBitsF | 0 | PHANTOM | 43 | +| leaf | HintInputVec | 0 | PHANTOM | 23,212 | +| leaf | IfEq | 0 | BNE | 91,744 | +| leaf | IfEqI | 0 | BNE | 67,730 | +| leaf | IfEqI | 0 | JAL | 30,119 | +| leaf | IfNe | 0 | BEQ | 17,741 | +| leaf | IfNe | 0 | JAL | 1 | +| leaf | IfNeI | 0 | BEQ | 941 | +| leaf | ImmE | 0 | ADD | 3,208 | +| leaf | ImmF | 0 | ADD | 46,741 | +| leaf | ImmV | 0 | ADD | 19,418 | +| leaf | LoadE | 0 | ADD | 11,088 | +| leaf | LoadE | 0 | LOADW4 | 21,858 | +| leaf | LoadE | 0 | MUL | 11,088 | +| leaf | LoadF | 0 | ADD | 11,512 | +| leaf | LoadF | 0 | LOADW | 109,854 | +| leaf | LoadF | 0 | MUL | 7,883 | +| leaf | LoadHeapPtr | 0 | ADD | 1 | +| leaf | LoadV | 0 | ADD | 45,949 | +| leaf | LoadV | 0 | LOADW | 244,206 | +| leaf | LoadV | 0 | MUL | 38,206 | +| leaf | MulE | 0 | BBE4MUL | 8,535 | +| leaf | MulEF | 0 | MUL | 3,792 | +| leaf | MulEFI | 0 | MUL | 500 | +| leaf | MulEI | 0 | ADD | 6,104 | +| leaf | MulEI | 0 | BBE4MUL | 1,526 | +| leaf | MulF | 0 | MUL | 83,667 | +| leaf | MulFI | 0 | MUL | 1,353 | +| leaf | MulVI | 0 | MUL | 31,517 | +| leaf | NegE | 0 | MUL | 172 | +| leaf | Poseidon2CompressBabyBear | 0 | COMP_POS2 | 17,315 | +| leaf | Poseidon2PermuteBabyBear | 0 | PERM_POS2 | 9,249 | +| leaf | Publish | 0 | PUBLISH | 36 | +| leaf | StoreE | 0 | ADD | 7,728 | +| leaf | StoreE | 0 | MUL | 7,728 | +| leaf | StoreE | 0 | STOREW4 | 14,703 | +| leaf | StoreF | 0 | ADD | 7,829 | +| leaf | StoreF | 0 | MUL | 732 | +| leaf | StoreF | 0 | STOREW | 109,184 | +| leaf | StoreHeapPtr | 0 | ADD | 1 | +| leaf | StoreHintWord | 0 | HINT_STOREW | 229,644 | +| leaf | StoreV | 0 | ADD | 20,416 | +| leaf | StoreV | 0 | MUL | 16,502 | +| leaf | StoreV | 0 | STOREW | 65,208 | +| leaf | SubE | 0 | FE4SUB | 3,306 | +| leaf | SubEF | 0 | ADD | 16,182 | +| leaf | SubEF | 0 | SUB | 5,394 | +| leaf | SubEFI | 0 | ADD | 344 | +| leaf | SubEI | 0 | ADD | 432 | +| leaf | SubFI | 0 | SUB | 1,333 | +| leaf | SubV | 0 | SUB | 14,888 | +| leaf | SubVI | 0 | SUB | 1,000 | +| leaf | SubVIN | 0 | SUB | 840 | +| leaf | UnsafeCastVF | 0 | ADD | 20 | +| leaf | ZipFor | 0 | ADD | 369,821 | +| leaf | ZipFor | 0 | BNE | 310,118 | +| leaf | ZipFor | 0 | JAL | 32,674 | + +| group | dsl_ir | opcode | segment | frequency | +| --- | --- | --- | --- | --- | +| fibonacci_program | | ADD | 0 | 900,045 | +| fibonacci_program | | AND | 0 | 2 | +| fibonacci_program | | AUIPC | 0 | 9 | +| fibonacci_program | | BEQ | 0 | 100,004 | +| fibonacci_program | | BGEU | 0 | 3 | +| fibonacci_program | | BLTU | 0 | 2 | +| fibonacci_program | | BNE | 0 | 100,005 | +| fibonacci_program | | HINT_STOREW | 0 | 3 | +| fibonacci_program | | JAL | 0 | 100,001 | +| fibonacci_program | | JALR | 0 | 13 | +| fibonacci_program | | LOADW | 0 | 13 | +| fibonacci_program | | LUI | 0 | 9 | +| fibonacci_program | | OR | 0 | 1 | +| fibonacci_program | | PHANTOM | 0 | 2 | +| fibonacci_program | | SLL | 0 | 2 | +| fibonacci_program | | SLTU | 0 | 300,002 | +| fibonacci_program | | STOREW | 0 | 15 | +| fibonacci_program | | SUB | 0 | 4 | +| fibonacci_program | | XOR | 0 | 2 | + +| group | idx | trace_gen_time_ms | total_proof_time_ms | total_cycles | 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 | main_cells_used | generate_perm_trace_time_ms | execute_time_ms | +| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | +| leaf | 0 | 1,821 | 23,920 | 3,248,204 | 304,941,528 | 10,891 | 2,541 | 1,872 | 1,972 | 2,268 | 1,998 | 111,693,355 | 237 | 11,208 | + +| group | segment | trace_gen_time_ms | total_proof_time_ms | total_cycles | 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 | main_cells_used | generate_perm_trace_time_ms | execute_time_ms | +| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | +| fibonacci_program | 0 | 831 | 10,597 | 1,500,137 | 197,453,854 | 4,938 | 786 | 495 | 1,590 | 1,082 | 803 | 51,503,940 | 180 | 4,828 | + +
+ + +Commit: https://github.com/openvm-org/openvm/commit/dd959bd77bc2f84518e2df4db83cd67dac61a8e0 + +Max Segment Length: 1048476 + +Instance Type: 64cpu-linux-arm64 + +Memory Allocator: mimalloc + +[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12754365548) diff --git a/benchmarks-pr/1175/regex-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md b/benchmarks-pr/1175/regex-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md new file mode 100644 index 0000000000..36ea323b1c --- /dev/null +++ b/benchmarks-pr/1175/regex-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md @@ -0,0 +1,110 @@ +| Summary | Proof Time (s) | Parallel Proof Time (s) | +|:---|---:|---:| +| Total | (+0 [+0.4%]) 19.14 | (+0 [+0.4%]) 19.14 | +| regex_program | (+0 [+0.4%]) 19.14 | (+0 [+0.4%]) 19.14 | + + +| regex_program ||||| +|:---|---:|---:|---:|---:| +|metric|avg|sum|max|min| +| `total_proof_time_ms ` | (+67 [+0.4%]) 19,141 | (+67 [+0.4%]) 19,141 | (+67 [+0.4%]) 19,141 | (+67 [+0.4%]) 19,141 | +| `main_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 ` | (+16 [+1.4%]) 1,163 | (+16 [+1.4%]) 1,163 | (+16 [+1.4%]) 1,163 | (+16 [+1.4%]) 1,163 | +| `trace_gen_time_ms ` | (+34 [+1.0%]) 3,342 | (+34 [+1.0%]) 3,342 | (+34 [+1.0%]) 3,342 | (+34 [+1.0%]) 3,342 | +| `stark_prove_excluding_trace_time_ms` | (+17 [+0.1%]) 14,636 | (+17 [+0.1%]) 14,636 | (+17 [+0.1%]) 14,636 | (+17 [+0.1%]) 14,636 | +| `main_trace_commit_time_ms` | (+34 [+1.4%]) 2,437 | (+34 [+1.4%]) 2,437 | (+34 [+1.4%]) 2,437 | (+34 [+1.4%]) 2,437 | +| `generate_perm_trace_time_ms` | (+6 [+1.2%]) 496 | (+6 [+1.2%]) 496 | (+6 [+1.2%]) 496 | (+6 [+1.2%]) 496 | +| `perm_trace_commit_time_ms` | 5,217 | 5,217 | 5,217 | 5,217 | +| `quotient_poly_compute_time_ms` | (-15 [-0.6%]) 2,577 | (-15 [-0.6%]) 2,577 | (-15 [-0.6%]) 2,577 | (-15 [-0.6%]) 2,577 | +| `quotient_poly_commit_time_ms` | (+3 [+0.2%]) 1,221 | (+3 [+0.2%]) 1,221 | (+3 [+0.2%]) 1,221 | (+3 [+0.2%]) 1,221 | +| `pcs_opening_time_ms ` | (-9 [-0.3%]) 2,685 | (-9 [-0.3%]) 2,685 | (-9 [-0.3%]) 2,685 | (-9 [-0.3%]) 2,685 | + + + +
+Detailed Metrics + +| group | num_segments | keygen_time_ms | commit_exe_time_ms | +| --- | --- | --- | --- | +| regex_program | 1 | 629 | 48 | + +| 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, 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 | 2 | 19 | 43 | +| regex_program | VmAirWrapper | 2 | 17 | 39 | +| regex_program | VmAirWrapper | 2 | 23 | 90 | +| regex_program | VmAirWrapper | 2 | 11 | 25 | +| regex_program | VmAirWrapper | 2 | 13 | 41 | +| regex_program | VmAirWrapper | 2 | 10 | 22 | +| regex_program | VmAirWrapper | 2 | 15 | 17 | +| regex_program | VmAirWrapper | 2 | 16 | 20 | +| regex_program | VmAirWrapper | 2 | 18 | 33 | +| regex_program | VmAirWrapper | 2 | 17 | 38 | +| regex_program | VmAirWrapper | 2 | 25 | 88 | +| regex_program | VmAirWrapper | 2 | 24 | 38 | +| regex_program | VmAirWrapper | 2 | 19 | 26 | +| regex_program | VmAirWrapper | 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, 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 | 0 | 2,097,152 | | 80 | 36 | 243,269,632 | +| regex_program | VmAirWrapper | 0 | 65,536 | | 40 | 37 | 5,046,272 | +| regex_program | VmAirWrapper | 0 | 262,144 | | 52 | 53 | 27,525,120 | +| regex_program | VmAirWrapper | 0 | 524,288 | | 48 | 26 | 38,797,312 | +| regex_program | VmAirWrapper | 0 | 262,144 | | 56 | 32 | 23,068,672 | +| regex_program | VmAirWrapper | 0 | 131,072 | | 44 | 18 | 8,126,464 | +| regex_program | VmAirWrapper | 0 | 16,384 | | 36 | 26 | 1,015,808 | +| regex_program | VmAirWrapper | 0 | 131,072 | | 36 | 28 | 8,388,608 | +| regex_program | VmAirWrapper | 0 | 1,024 | | 76 | 35 | 113,664 | +| regex_program | VmAirWrapper | 0 | 2,097,152 | | 72 | 40 | 234,881,024 | +| regex_program | VmAirWrapper | 0 | 128 | | 104 | 57 | 20,608 | +| regex_program | VmAirWrapper | 0 | 256 | | 100 | 39 | 35,584 | +| regex_program | VmAirWrapper | 0 | 65,536 | | 80 | 31 | 7,274,496 | +| regex_program | VmAirWrapper | 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 | 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 | main_cells_used | generate_perm_trace_time_ms | execute_time_ms | +| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | +| regex_program | 0 | 3,342 | 19,141 | 4,190,904 | 632,452,480 | 14,636 | 2,577 | 1,221 | 5,217 | 2,685 | 2,437 | 165,028,173 | 496 | 1,163 | + +
+ + +Commit: https://github.com/openvm-org/openvm/commit/dd959bd77bc2f84518e2df4db83cd67dac61a8e0 + +Max Segment Length: 1048476 + +Instance Type: 64cpu-linux-arm64 + +Memory Allocator: mimalloc + +[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12754365548) diff --git a/benchmarks-pr/1175/summary.md b/benchmarks-pr/1175/summary.md index 38dc0f4024..382c2886d9 100644 --- a/benchmarks-pr/1175/summary.md +++ b/benchmarks-pr/1175/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/1175/verify_fibair-0bd66e60b1ff2f071c3ca709d4d1df0db0460b50.md) | 5,612 | 711,155 | 25,509,655 |- | - | - | -| [fibonacci_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1175/fibonacci-0bd66e60b1ff2f071c3ca709d4d1df0db0460b50.md) | 6,107 | 1,500,137 | 51,505,102 |- | - | - | -| [regex_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1175/regex-0bd66e60b1ff2f071c3ca709d4d1df0db0460b50.md) | 18,984 | 4,190,904 | 165,028,173 |- | - | - | -| [ecrecover_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1175/ecrecover-0bd66e60b1ff2f071c3ca709d4d1df0db0460b50.md) | 2,604 | 285,401 | 15,092,297 |- | - | - | +| [verify_fibair](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1175/verify_fibair-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md) |(+2073 [+59.0%]) 5,586 | 711,327 | 25,511,375 |- | - | - | +| [fibonacci_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1175/fibonacci-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md) |(+4496 [+73.7%]) 10,597 | 1,500,137 | 51,503,940 |(+10644 [+80.2%]) 23,920 | (+164169 [+5.3%]) 3,248,204 | (+994882 [+0.9%]) 111,693,355 | +| [regex_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1175/regex-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md) |(+67 [+0.4%]) 19,141 | 4,190,904 | 165,028,173 |- | - | - | +| [ecrecover_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks-pr/1175/ecrecover-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md) |(+14 [+0.5%]) 2,628 | 285,401 | 15,092,297 |- | - | - | -Commit: https://github.com/openvm-org/openvm/commit/0bd66e60b1ff2f071c3ca709d4d1df0db0460b50 +Commit: https://github.com/openvm-org/openvm/commit/dd959bd77bc2f84518e2df4db83cd67dac61a8e0 -[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12744934739) +[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12754365548) diff --git a/benchmarks-pr/1175/verify_fibair-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md b/benchmarks-pr/1175/verify_fibair-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md new file mode 100644 index 0000000000..7a38a79a6e --- /dev/null +++ b/benchmarks-pr/1175/verify_fibair-dd959bd77bc2f84518e2df4db83cd67dac61a8e0.md @@ -0,0 +1,266 @@ +| Summary | Proof Time (s) | Parallel Proof Time (s) | +|:---|---:|---:| +| Total | (+2 [+59.0%]) 5.59 | (+2 [+59.0%]) 5.59 | +| verify_fibair | (+2 [+59.0%]) 5.59 | (+2 [+59.0%]) 5.59 | + + +| verify_fibair ||||| +|:---|---:|---:|---:|---:| +|metric|avg|sum|max|min| +| `total_proof_time_ms ` | (+2073 [+59.0%]) 5,586 | (+2073 [+59.0%]) 5,586 | (+2073 [+59.0%]) 5,586 | (+2073 [+59.0%]) 5,586 | +| `main_cells_used ` | 25,511,375 | 25,511,375 | 25,511,375 | 25,511,375 | +| `total_cycles ` | 711,327 | 711,327 | 711,327 | 711,327 | +| `execute_time_ms ` | (+2057 [+1428.5%]) 2,201 | (+2057 [+1428.5%]) 2,201 | (+2057 [+1428.5%]) 2,201 | (+2057 [+1428.5%]) 2,201 | +| `trace_gen_time_ms ` | (-5 [-1.2%]) 429 | (-5 [-1.2%]) 429 | (-5 [-1.2%]) 429 | (-5 [-1.2%]) 429 | +| `stark_prove_excluding_trace_time_ms` | (+21 [+0.7%]) 2,956 | (+21 [+0.7%]) 2,956 | (+21 [+0.7%]) 2,956 | (+21 [+0.7%]) 2,956 | +| `main_trace_commit_time_ms` | (+5 [+1.0%]) 519 | (+5 [+1.0%]) 519 | (+5 [+1.0%]) 519 | (+5 [+1.0%]) 519 | +| `generate_perm_trace_time_ms` | (-1 [-1.4%]) 68 | (-1 [-1.4%]) 68 | (-1 [-1.4%]) 68 | (-1 [-1.4%]) 68 | +| `perm_trace_commit_time_ms` | (+9 [+1.7%]) 525 | (+9 [+1.7%]) 525 | (+9 [+1.7%]) 525 | (+9 [+1.7%]) 525 | +| `quotient_poly_compute_time_ms` | (+15 [+2.6%]) 594 | (+15 [+2.6%]) 594 | (+15 [+2.6%]) 594 | (+15 [+2.6%]) 594 | +| `quotient_poly_commit_time_ms` | (-4 [-0.7%]) 553 | (-4 [-0.7%]) 553 | (-4 [-0.7%]) 553 | (-4 [-0.7%]) 553 | +| `pcs_opening_time_ms ` | (-2 [-0.3%]) 695 | (-2 [-0.3%]) 695 | (-2 [-0.3%]) 695 | (-2 [-0.3%]) 695 | + + + +
+Detailed Metrics + +| | 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 | 65,536 | 71 | 3 | 13 | 0 | 36 | 17 | + +| 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 | 32,768 | 1 | 2 | | 5 | 65,536 | +| FriReducedOpeningAir | | 4 | | 35 | 59 | | +| NativePoseidon2Air, 1> | | 4 | | 31 | 302 | | +| PhantomAir | | 4 | | 3 | 4 | | +| ProgramAir | | 1 | | 1 | 4 | | +| VariableRangeCheckerAir | | 1 | | 1 | 4 | | +| VmAirWrapper | | 2 | | 11 | 23 | | +| VmAirWrapper | | 4 | | 7 | 6 | | +| VmAirWrapper, PublicValuesCoreAir> | | 4 | | 11 | 22 | | +| VmAirWrapper, FieldArithmeticCoreAir> | | 4 | | 15 | 23 | | +| VmAirWrapper, NativeLoadStoreCoreAir<1> | | 4 | | 15 | 20 | | +| VmAirWrapper, NativeLoadStoreCoreAir<4> | | 4 | | 15 | 20 | | +| VmAirWrapper, 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 | 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 | main_cells_used | generate_perm_trace_time_ms | execute_time_ms | +| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | +| verify_fibair | 429 | 5,586 | 711,327 | 72,898,584 | 2,956 | 594 | 553 | 525 | 695 | 519 | 25,511,375 | 68 | 2,201 | + +| group | air_name | rows | prep_cols | perm_cols | main_cols | cells | +| --- | --- | --- | --- | --- | --- | --- | +| verify_fibair | AccessAdapterAir<2> | 131,072 | | 16 | 11 | 3,538,944 | +| verify_fibair | AccessAdapterAir<4> | 65,536 | | 16 | 13 | 1,900,544 | +| verify_fibair | AccessAdapterAir<8> | 32,768 | | 16 | 17 | 1,081,344 | +| verify_fibair | FriReducedOpeningAir | 512 | | 76 | 64 | 71,680 | +| verify_fibair | NativePoseidon2Air, 1> | 8,192 | | 36 | 348 | 3,145,728 | +| verify_fibair | PhantomAir | 16,384 | | 8 | 6 | 229,376 | +| verify_fibair | ProgramAir | 8,192 | | 8 | 10 | 147,456 | +| verify_fibair | VariableRangeCheckerAir | 262,144 | 2 | 8 | 1 | 2,359,296 | +| verify_fibair | VmAirWrapper | 262,144 | | 28 | 23 | 13,369,344 | +| verify_fibair | VmAirWrapper | 32,768 | | 12 | 10 | 720,896 | +| verify_fibair | VmAirWrapper, FieldArithmeticCoreAir> | 524,288 | | 20 | 30 | 26,214,400 | +| verify_fibair | VmAirWrapper, NativeLoadStoreCoreAir<1> | 262,144 | | 36 | 25 | 15,990,784 | +| verify_fibair | VmAirWrapper, NativeLoadStoreCoreAir<4> | 16,384 | | 36 | 34 | 1,146,880 | +| verify_fibair | VmAirWrapper, FieldExtensionCoreAir> | 8,192 | | 20 | 40 | 491,520 | +| verify_fibair | VmConnectorAir | 2 | 1 | 8 | 4 | 24 | +| verify_fibair | VolatileBoundaryAir | 131,072 | | 8 | 11 | 2,490,368 | + +| group | air_name | dsl_ir | opcode | cells_used | +| --- | --- | --- | --- | --- | +| verify_fibair | > | AssertEqE | BNE | 3,956 | +| verify_fibair | > | AssertEqEI | BNE | 92 | +| verify_fibair | > | AssertEqF | BNE | 163,024 | +| verify_fibair | > | AssertEqV | BNE | 14,697 | +| verify_fibair | > | AssertEqVI | BNE | 460 | +| verify_fibair | > | For | BNE | 319,493 | +| verify_fibair | > | IfEq | BNE | 24,817 | +| verify_fibair | > | IfEqI | BNE | 350,543 | +| verify_fibair | > | IfNe | BEQ | 167,831 | +| verify_fibair | > | IfNeI | BEQ | 14,559 | +| verify_fibair | > | ZipFor | BNE | 2,052,842 | +| verify_fibair | | | JAL | 10 | +| verify_fibair | | For | JAL | 23,820 | +| verify_fibair | | IfEqI | JAL | 49,770 | +| verify_fibair | | IfNe | JAL | 20 | +| verify_fibair | | ZipFor | JAL | 118,990 | +| verify_fibair | ,FieldArithmeticCoreAir> | | ADD | 30 | +| verify_fibair | ,FieldArithmeticCoreAir> | AddEFFI | ADD | 13,680 | +| verify_fibair | ,FieldArithmeticCoreAir> | AddEI | ADD | 246,360 | +| verify_fibair | ,FieldArithmeticCoreAir> | AddF | ADD | 39,990 | +| verify_fibair | ,FieldArithmeticCoreAir> | AddFI | ADD | 50,160 | +| verify_fibair | ,FieldArithmeticCoreAir> | AddV | ADD | 625,590 | +| verify_fibair | ,FieldArithmeticCoreAir> | AddVI | ADD | 2,033,610 | +| verify_fibair | ,FieldArithmeticCoreAir> | Alloc | ADD | 1,471,920 | +| verify_fibair | ,FieldArithmeticCoreAir> | Alloc | MUL | 454,980 | +| verify_fibair | ,FieldArithmeticCoreAir> | DivEIN | ADD | 120 | +| verify_fibair | ,FieldArithmeticCoreAir> | DivFIN | DIV | 90 | +| verify_fibair | ,FieldArithmeticCoreAir> | For | ADD | 416,730 | +| verify_fibair | ,FieldArithmeticCoreAir> | ImmE | ADD | 25,440 | +| verify_fibair | ,FieldArithmeticCoreAir> | ImmF | ADD | 240,930 | +| verify_fibair | ,FieldArithmeticCoreAir> | ImmV | ADD | 292,890 | +| verify_fibair | ,FieldArithmeticCoreAir> | LoadE | ADD | 99,540 | +| verify_fibair | ,FieldArithmeticCoreAir> | LoadE | MUL | 99,540 | +| verify_fibair | ,FieldArithmeticCoreAir> | LoadF | ADD | 17,670 | +| verify_fibair | ,FieldArithmeticCoreAir> | LoadF | MUL | 10,440 | +| verify_fibair | ,FieldArithmeticCoreAir> | LoadHeapPtr | ADD | 30 | +| verify_fibair | ,FieldArithmeticCoreAir> | LoadV | ADD | 195,270 | +| verify_fibair | ,FieldArithmeticCoreAir> | LoadV | MUL | 152,340 | +| verify_fibair | ,FieldArithmeticCoreAir> | MulEF | MUL | 75,840 | +| verify_fibair | ,FieldArithmeticCoreAir> | MulEI | ADD | 9,240 | +| verify_fibair | ,FieldArithmeticCoreAir> | MulF | MUL | 128,310 | +| verify_fibair | ,FieldArithmeticCoreAir> | MulFI | MUL | 40,020 | +| verify_fibair | ,FieldArithmeticCoreAir> | MulVI | MUL | 313,140 | +| verify_fibair | ,FieldArithmeticCoreAir> | StoreE | ADD | 23,940 | +| verify_fibair | ,FieldArithmeticCoreAir> | StoreE | MUL | 23,940 | +| verify_fibair | ,FieldArithmeticCoreAir> | StoreF | ADD | 156,690 | +| verify_fibair | ,FieldArithmeticCoreAir> | StoreF | MUL | 300 | +| verify_fibair | ,FieldArithmeticCoreAir> | StoreHeapPtr | ADD | 30 | +| verify_fibair | ,FieldArithmeticCoreAir> | StoreV | ADD | 70,050 | +| verify_fibair | ,FieldArithmeticCoreAir> | StoreV | MUL | 49,350 | +| verify_fibair | ,FieldArithmeticCoreAir> | SubEF | ADD | 11,790 | +| verify_fibair | ,FieldArithmeticCoreAir> | SubEF | SUB | 3,930 | +| verify_fibair | ,FieldArithmeticCoreAir> | SubEI | ADD | 240 | +| verify_fibair | ,FieldArithmeticCoreAir> | SubFI | SUB | 39,990 | +| verify_fibair | ,FieldArithmeticCoreAir> | SubV | SUB | 90,750 | +| verify_fibair | ,FieldArithmeticCoreAir> | SubVI | SUB | 22,350 | +| verify_fibair | ,FieldArithmeticCoreAir> | SubVIN | SUB | 18,900 | +| verify_fibair | ,FieldArithmeticCoreAir> | UnsafeCastVF | ADD | 30 | +| verify_fibair | ,FieldArithmeticCoreAir> | ZipFor | ADD | 2,970,420 | +| verify_fibair | ,NativeLoadStoreCoreAir<1>> | LoadF | LOADW | 489,875 | +| verify_fibair | ,NativeLoadStoreCoreAir<1>> | LoadV | LOADW | 1,130,975 | +| verify_fibair | ,NativeLoadStoreCoreAir<1>> | StoreF | STOREW | 298,575 | +| verify_fibair | ,NativeLoadStoreCoreAir<1>> | StoreHintWord | HINT_STOREW | 1,799,350 | +| verify_fibair | ,NativeLoadStoreCoreAir<1>> | StoreV | STOREW | 511,575 | +| verify_fibair | ,NativeLoadStoreCoreAir<4>> | LoadE | LOADW4 | 183,192 | +| verify_fibair | ,NativeLoadStoreCoreAir<4>> | StoreE | STOREW4 | 226,372 | +| verify_fibair | ,FieldExtensionCoreAir> | AddE | FE4ADD | 57,960 | +| verify_fibair | ,FieldExtensionCoreAir> | DivE | BBE4DIV | 30,320 | +| verify_fibair | ,FieldExtensionCoreAir> | DivEIN | BBE4DIV | 40 | +| verify_fibair | ,FieldExtensionCoreAir> | MulE | BBE4MUL | 108,680 | +| verify_fibair | ,FieldExtensionCoreAir> | MulEI | BBE4MUL | 3,080 | +| verify_fibair | ,FieldExtensionCoreAir> | SubE | FE4SUB | 75,680 | +| verify_fibair | Arc, 1> | Poseidon2CompressBabyBear | COMP_POS2 | 2,470,104 | +| verify_fibair | Arc, 1> | Poseidon2PermuteBabyBear | PERM_POS2 | 257,520 | +| verify_fibair | FriReducedOpeningAir | FriReducedOpening | FRI_REDUCED_OPENING | 21,504 | +| verify_fibair | PhantomAir | HintBitsF | PHANTOM | 258 | +| verify_fibair | PhantomAir | HintInputVec | PHANTOM | 56,196 | + +| group | chip_name | rows_used | +| --- | --- | --- | +| verify_fibair | > | 135,318 | +| verify_fibair | | 19,261 | +| verify_fibair | ,FieldArithmeticCoreAir> | 351,221 | +| verify_fibair | ,NativeLoadStoreCoreAir<1>> | 169,214 | +| verify_fibair | ,NativeLoadStoreCoreAir<4>> | 12,046 | +| verify_fibair | ,FieldExtensionCoreAir> | 6,894 | +| verify_fibair | AccessAdapter<2> | 113,198 | +| verify_fibair | AccessAdapter<4> | 56,600 | +| verify_fibair | AccessAdapter<8> | 17,106 | +| verify_fibair | Arc, 1> | 7,838 | +| verify_fibair | Boundary | 128,104 | +| verify_fibair | FriReducedOpeningAir | 336 | +| verify_fibair | PhantomAir | 9,409 | +| verify_fibair | ProgramChip | 5,489 | +| verify_fibair | VariableRangeCheckerAir | 262,144 | +| verify_fibair | VmConnectorAir | 2 | + +| group | dsl_ir | opcode | frequency | +| --- | --- | --- | --- | +| verify_fibair | | ADD | 2 | +| verify_fibair | | JAL | 1 | +| verify_fibair | AddE | FE4ADD | 1,449 | +| verify_fibair | AddEFFI | ADD | 456 | +| verify_fibair | AddEI | ADD | 8,212 | +| verify_fibair | AddF | ADD | 1,333 | +| verify_fibair | AddFI | ADD | 1,672 | +| verify_fibair | AddV | ADD | 20,853 | +| verify_fibair | AddVI | ADD | 67,787 | +| verify_fibair | Alloc | ADD | 49,064 | +| verify_fibair | Alloc | MUL | 15,166 | +| verify_fibair | AssertEqE | BNE | 172 | +| verify_fibair | AssertEqEI | BNE | 4 | +| verify_fibair | AssertEqF | BNE | 7,088 | +| verify_fibair | AssertEqV | BNE | 639 | +| verify_fibair | AssertEqVI | BNE | 20 | +| verify_fibair | DivE | BBE4DIV | 758 | +| verify_fibair | DivEIN | ADD | 4 | +| verify_fibair | DivEIN | BBE4DIV | 1 | +| verify_fibair | DivFIN | DIV | 3 | +| verify_fibair | For | ADD | 13,891 | +| verify_fibair | For | BNE | 13,891 | +| verify_fibair | For | JAL | 2,382 | +| verify_fibair | FriReducedOpening | FRI_REDUCED_OPENING | 126 | +| verify_fibair | HintBitsF | PHANTOM | 43 | +| verify_fibair | HintInputVec | PHANTOM | 9,366 | +| verify_fibair | IfEq | BNE | 1,079 | +| verify_fibair | IfEqI | BNE | 15,241 | +| verify_fibair | IfEqI | JAL | 4,977 | +| verify_fibair | IfNe | BEQ | 7,297 | +| verify_fibair | IfNe | JAL | 2 | +| verify_fibair | IfNeI | BEQ | 633 | +| verify_fibair | ImmE | ADD | 848 | +| verify_fibair | ImmF | ADD | 8,031 | +| verify_fibair | ImmV | ADD | 9,763 | +| verify_fibair | LoadE | ADD | 3,318 | +| verify_fibair | LoadE | LOADW4 | 5,388 | +| verify_fibair | LoadE | MUL | 3,318 | +| verify_fibair | LoadF | ADD | 589 | +| verify_fibair | LoadF | LOADW | 19,595 | +| verify_fibair | LoadF | MUL | 348 | +| verify_fibair | LoadHeapPtr | ADD | 1 | +| verify_fibair | LoadV | ADD | 6,509 | +| verify_fibair | LoadV | LOADW | 45,239 | +| verify_fibair | LoadV | MUL | 5,078 | +| verify_fibair | MulE | BBE4MUL | 2,717 | +| verify_fibair | MulEF | MUL | 2,528 | +| verify_fibair | MulEI | ADD | 308 | +| verify_fibair | MulEI | BBE4MUL | 77 | +| verify_fibair | MulF | MUL | 4,277 | +| verify_fibair | MulFI | MUL | 1,334 | +| verify_fibair | MulVI | MUL | 10,438 | +| verify_fibair | Poseidon2CompressBabyBear | COMP_POS2 | 7,098 | +| verify_fibair | Poseidon2PermuteBabyBear | PERM_POS2 | 740 | +| verify_fibair | StoreE | ADD | 798 | +| verify_fibair | StoreE | MUL | 798 | +| verify_fibair | StoreE | STOREW4 | 6,658 | +| verify_fibair | StoreF | ADD | 5,223 | +| verify_fibair | StoreF | MUL | 10 | +| verify_fibair | StoreF | STOREW | 11,943 | +| verify_fibair | StoreHeapPtr | ADD | 1 | +| verify_fibair | StoreHintWord | HINT_STOREW | 71,974 | +| verify_fibair | StoreV | ADD | 2,335 | +| verify_fibair | StoreV | MUL | 1,645 | +| verify_fibair | StoreV | STOREW | 20,463 | +| verify_fibair | SubE | FE4SUB | 1,892 | +| verify_fibair | SubEF | ADD | 393 | +| verify_fibair | SubEF | SUB | 131 | +| verify_fibair | SubEI | ADD | 8 | +| verify_fibair | SubFI | SUB | 1,333 | +| verify_fibair | SubV | SUB | 3,025 | +| verify_fibair | SubVI | SUB | 745 | +| verify_fibair | SubVIN | SUB | 630 | +| verify_fibair | UnsafeCastVF | ADD | 1 | +| verify_fibair | ZipFor | ADD | 99,014 | +| verify_fibair | ZipFor | BNE | 89,254 | +| verify_fibair | ZipFor | JAL | 11,899 | + +
+ + +Commit: https://github.com/openvm-org/openvm/commit/dd959bd77bc2f84518e2df4db83cd67dac61a8e0 + +Max Segment Length: 1048476 + +Instance Type: 64cpu-linux-arm64 + +Memory Allocator: mimalloc + +[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12754365548)