group | fri.log_blowup | total_cells_used | total_cycles | total_proof_time_ms |
---|---|---|---|---|
verify_fibair | 2 |
(+23,050 [+0.2%]) 14,560,072 |
(+4 [+0.0%]) 195,361 |
(+20.0 [+1.3%]) 1,511.0 |
Detailed Metrics
air_name | cells | constraints | interactions | main_cols | quotient_deg | rows |
---|---|---|---|---|---|---|
FibonacciAir | 32 |
5 |
2 |
1 |
16 |
|
ProgramAir | 4 |
1 |
1 |
|||
VmConnectorAir | 9 |
3 |
2 |
|||
PersistentBoundaryAir<8> | 6 |
3 |
2 |
|||
MemoryMerkleAir<8> | 40 |
4 |
2 |
|||
AccessAdapterAir<2> | 14 |
5 |
2 |
|||
AccessAdapterAir<4> | 14 |
5 |
2 |
|||
AccessAdapterAir<8> | 14 |
5 |
2 |
|||
NativePoseidon2Air, 1> | 310 |
31 |
2 |
|||
FriReducedOpeningAir | 76 |
35 |
2 |
|||
VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> | 27 |
15 |
2 |
|||
VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> | 27 |
15 |
2 |
|||
VmAirWrapper<JalNativeAdapterAir, JalCoreAir> | 8 |
7 |
2 |
|||
VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> | 28 |
11 |
2 |
|||
VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> | 36 |
19 |
2 |
|||
PhantomAir | 5 |
3 |
2 |
|||
Poseidon2PeripheryAir, 1> | 286 |
1 |
2 |
|||
VariableRangeCheckerAir | 4 |
1 |
1 |
commit_exe_time_ms | fri.log_blowup | keygen_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 | verify_program_compile_ms |
---|---|---|---|---|---|---|---|---|---|---|
8.0 |
2 |
(+2.0 [+1.1%]) 180.0 |
5.0 |
(-1.0 [-25.0%]) 3.0 |
0.0 |
1.0 |
0.0 |
(-1.0 [-9.1%]) 10.0 |
32 |
15.0 |
group | fri.log_blowup | num_segments | total_cells_used | total_cycles | total_proof_time_ms |
---|---|---|---|---|---|
verify_fibair | 2 |
1 |
(+23,050 [+0.2%]) 14,560,072 |
(+4 [+0.0%]) 195,361 |
(+20.0 [+1.3%]) 1,511.0 |
group | segment | execute_time_ms | 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 | trace_gen_time_ms |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
verify_fibair | 0 | (+4.0 [+1.1%]) 359.0 |
(+3.0 [+11.1%]) 30.0 |
(-4.0 [-1.4%]) 291.0 |
(+12.0 [+2.5%]) 491.0 |
(-8.0 [-2.6%]) 295.0 |
(+4.0 [+2.1%]) 192.0 |
(+13.0 [+6.6%]) 209.0 |
(+20.0 [+1.3%]) 1,511.0 |
41,889,824 |
(+23,050 [+0.2%]) 14,560,072 |
(+4 [+0.0%]) 195,361 |
(+2.0 [+3.3%]) 62.0 |
group | air_name | segment | cells | main_cols | perm_cols | prep_cols | rows |
---|---|---|---|---|---|---|---|
verify_fibair | ProgramAir | 0 | 294,912 |
10 |
8 |
16,384 |
|
verify_fibair | VmConnectorAir | 0 | 32 |
4 |
12 |
1 |
2 |
verify_fibair | PersistentBoundaryAir<8> | 0 | 1,048,576 |
20 |
12 |
32,768 |
|
verify_fibair | MemoryMerkleAir<8> | 0 | 3,407,872 |
32 |
20 |
65,536 |
|
verify_fibair | AccessAdapterAir<2> | 0 | 2,293,760 |
11 |
24 |
65,536 |
|
verify_fibair | AccessAdapterAir<4> | 0 | 2,424,832 |
13 |
24 |
65,536 |
|
verify_fibair | AccessAdapterAir<8> | 0 | 1,343,488 |
17 |
24 |
32,768 |
|
verify_fibair | NativePoseidon2Air, 1> | 0 | 851,968 |
348 |
68 |
2,048 |
|
verify_fibair | FriReducedOpeningAir | 0 | 106,496 |
64 |
144 |
512 |
|
verify_fibair | VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> | 0 | 311,296 |
40 |
36 |
4,096 |
|
verify_fibair | VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> | 0 | 8,650,752 |
30 |
36 |
131,072 |
|
verify_fibair | VmAirWrapper<JalNativeAdapterAir, JalCoreAir> | 0 | 245,760 |
10 |
20 |
8,192 |
|
verify_fibair | VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> | 0 | 2,326,528 |
23 |
48 |
32,768 |
|
verify_fibair | VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> | 0 | 11,141,120 |
41 |
44 |
131,072 |
|
verify_fibair | PhantomAir | 0 | 36,864 |
6 |
12 |
2,048 |
|
verify_fibair | Poseidon2PeripheryAir, 1> | 0 | 5,046,272 |
300 |
8 |
16,384 |
|
verify_fibair | VariableRangeCheckerAir | 0 | 2,359,296 |
1 |
8 |
2 |
262,144 |
Commit: https://github.com/openvm-org/openvm/commit/d2d8128eb519f6ba7d22747cc986540a5d1b8e25
Max Segment Length: 1048476
Instance Type: 64cpu-linux-arm64
Memory Allocator: mimalloc