| group | fri.log_blowup | total_cells_used | total_cycles | total_proof_time_ms |
|---|---|---|---|---|
| verify_fibair | 2 |
(+250 [+0.0%]) 8,121,424 |
(+4 [+0.0%]) 195,361 |
(-22.0 [-1.5%]) 1,430.0 |
Detailed Metrics
| air_name | cells | constraints | interactions | main_cols | quotient_deg | rows |
|---|---|---|---|---|---|---|
| FibonacciAir | 32 |
5 |
2 |
1 |
16 |
|
| ProgramAir | 4 |
1 |
1 |
|||
| VmConnectorAir | 8 |
3 |
4 |
|||
| VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> | 22 |
11 |
4 |
|||
| VolatileBoundaryAir | 16 |
4 |
4 |
|||
| AccessAdapterAir<2> | 12 |
5 |
4 |
|||
| AccessAdapterAir<4> | 12 |
5 |
4 |
|||
| AccessAdapterAir<8> | 12 |
5 |
4 |
|||
| NativePoseidon2Air, 1> | 302 |
31 |
4 |
|||
| FriReducedOpeningAir | 59 |
35 |
4 |
|||
| VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> | 23 |
15 |
4 |
|||
| VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> | 23 |
15 |
4 |
|||
| VmAirWrapper<JalNativeAdapterAir, JalCoreAir> | 6 |
7 |
4 |
|||
| VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> | 23 |
11 |
2 |
|||
| VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> | 31 |
19 |
4 |
|||
| PhantomAir | 4 |
3 |
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 |
(-2.0 [-50.0%]) 2.0 |
0.0 |
1.0 |
0.0 |
(-2.0 [-18.2%]) 9.0 |
32 |
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 |
(-4.0 [-14.3%]) 24.0 |
(-2.0 [-0.9%]) 225.0 |
457.0 |
(-17.0 [-8.1%]) 192.0 |
(+1.0 [+0.4%]) 266.0 |
(-3.0 [-1.1%]) 261.0 |
(-22.0 [-1.5%]) 1,430.0 |
23,451,672 |
(+250 [+0.0%]) 8,121,424 |
(+4 [+0.0%]) 195,361 |
(-22.0 [-1.5%]) 1,430.0 |
| group | segment | execute_time_ms | total_cells_used | total_cycles | trace_gen_time_ms |
|---|---|---|---|---|---|
| verify_fibair | 0 | (-4.0 [-1.9%]) 203.0 |
(+250 [+0.0%]) 8,121,424 |
(+4 [+0.0%]) 195,361 |
(-2.0 [-4.0%]) 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/9babcc72ec661ac31e526067fefa5ebf7f94df04
Max Segment Length: 1048476
Instance Type: 64cpu-linux-arm64
Memory Allocator: mimalloc