| group | fri.log_blowup | total_cells_used | total_cycles | total_proof_time_ms |
|---|---|---|---|---|
| verify_fibair | 2 |
(-6,386,998 [-44.0%]) 8,121,174 |
(-15 [-0.0%]) 195,357 |
(-39.0 [-2.6%]) 1,444.0 |
Detailed Metrics
| air_name | cells | constraints | interactions | main_cols | quotient_deg | rows |
|---|---|---|---|---|---|---|
| FibonacciAir | 32 |
5 |
2 |
1 |
16 |
|
| ProgramAir | 4 |
1 |
1 |
|||
| VmConnectorAir | (-1 [-11.1%]) 8 |
3 |
(+2 [+100.0%]) 4 |
|||
| VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> | 22 |
11 |
4 |
|||
| VolatileBoundaryAir | 16 |
4 |
4 |
|||
| AccessAdapterAir<2> | (-2 [-14.3%]) 12 |
5 |
(+2 [+100.0%]) 4 |
|||
| AccessAdapterAir<4> | (-2 [-14.3%]) 12 |
5 |
(+2 [+100.0%]) 4 |
|||
| AccessAdapterAir<8> | (-2 [-14.3%]) 12 |
5 |
(+2 [+100.0%]) 4 |
|||
| NativePoseidon2Air, 1> | (-8 [-2.6%]) 302 |
31 |
(+2 [+100.0%]) 4 |
|||
| FriReducedOpeningAir | (-17 [-22.4%]) 59 |
35 |
(+2 [+100.0%]) 4 |
|||
| VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> | (-4 [-14.8%]) 23 |
15 |
(+2 [+100.0%]) 4 |
|||
| VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> | (-4 [-14.8%]) 23 |
15 |
(+2 [+100.0%]) 4 |
|||
| VmAirWrapper<JalNativeAdapterAir, JalCoreAir> | (-2 [-25.0%]) 6 |
7 |
(+2 [+100.0%]) 4 |
|||
| VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> | (-5 [-17.9%]) 23 |
11 |
2 |
|||
| VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> | (-5 [-13.9%]) 31 |
19 |
(+2 [+100.0%]) 4 |
|||
| PhantomAir | (-1 [-20.0%]) 4 |
3 |
(+2 [+100.0%]) 4 |
|||
| VariableRangeCheckerAir | 4 |
1 |
1 |
| main_trace_commit_time_ms | pcs_opening_time_ms | perm_trace_commit_time_ms | quotient_poly_commit_time_ms | quotient_poly_compute_time_ms | stark_prove_excluding_trace_time_ms | total_cells | verify_program_compile_ms |
|---|---|---|---|---|---|---|---|
5.0 |
4.0 |
0.0 |
1.0 |
0.0 |
11.0 |
32 |
(-1.0 [-6.2%]) 15.0 |
| group | fri.log_blowup | generate_perm_trace_time_ms | main_trace_commit_time_ms | pcs_opening_time_ms | perm_trace_commit_time_ms | quotient_poly_commit_time_ms | quotient_poly_compute_time_ms | stark_prove_excluding_trace_time_ms | total_cells | total_cells_used | total_cycles | total_proof_time_ms |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| verify_fibair | 2 |
24.0 |
217.0 |
456.0 |
189.0 |
297.0 |
257.0 |
1,444.0 |
23,451,672 |
(-6,386,998 [-44.0%]) 8,121,174 |
(-15 [-0.0%]) 195,357 |
(-39.0 [-2.6%]) 1,444.0 |
| group | segment | execute_time_ms | total_cells_used | total_cycles | trace_gen_time_ms |
|---|---|---|---|---|---|
| verify_fibair | 0 | (-156.0 [-43.7%]) 201.0 |
(-6,386,998 [-44.0%]) 8,121,174 |
(-15 [-0.0%]) 195,357 |
(-14.0 [-22.6%]) 48.0 |
| group | air_name | cells | main_cols | perm_cols | prep_cols | rows |
|---|---|---|---|---|---|---|
| verify_fibair | ProgramAir | 294,912 |
10 |
8 |
16,384 |
|
| verify_fibair | VmConnectorAir | 24 |
4 |
8 |
1 |
2 |
| verify_fibair | VolatileBoundaryAir | 1,245,184 |
11 |
8 |
65,536 |
|
| verify_fibair | AccessAdapterAir<2> | 884,736 |
11 |
16 |
32,768 |
|
| verify_fibair | AccessAdapterAir<4> | 475,136 |
13 |
16 |
16,384 |
|
| verify_fibair | AccessAdapterAir<8> | 135,168 |
17 |
16 |
4,096 |
|
| verify_fibair | NativePoseidon2Air, 1> | 786,432 |
348 |
36 |
2,048 |
|
| verify_fibair | FriReducedOpeningAir | 71,680 |
64 |
76 |
512 |
|
| verify_fibair | VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> | 245,760 |
40 |
20 |
4,096 |
|
| verify_fibair | VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> | 6,553,600 |
30 |
20 |
131,072 |
|
| verify_fibair | VmAirWrapper<JalNativeAdapterAir, JalCoreAir> | 180,224 |
10 |
12 |
8,192 |
|
| verify_fibair | VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> | 1,671,168 |
23 |
28 |
32,768 |
|
| verify_fibair | VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> | 8,519,680 |
41 |
24 |
131,072 |
|
| verify_fibair | PhantomAir | 28,672 |
6 |
8 |
2,048 |
|
| verify_fibair | VariableRangeCheckerAir | 2,359,296 |
1 |
8 |
2 |
262,144 |
Commit: https://github.com/openvm-org/openvm/commit/ebe83e9eeecf8c13c260199bbd90eb925ada0b85
Max Segment Length: 1048476
Instance Type: 64cpu-linux-arm64
Memory Allocator: mimalloc