group | fri.log_blowup | total_cells_used | total_cycles | total_proof_time_ms |
---|---|---|---|---|
fibonacci_program | 2 |
51,505,102 |
1,500,137 |
(+65.0 [+1.2%]) 5,537.0 |
leaf | 2 |
(+8,591,722 [+6.7%]) 137,453,288 |
(+650,462 [+20.5%]) 3,823,151 |
(-551.0 [-4.0%]) 13,248.0 |
Detailed Metrics
group | air_name | constraints | interactions | quotient_deg |
---|---|---|---|---|
fibonacci_program | ProgramAir | 4 |
1 |
1 |
fibonacci_program | VmConnectorAir | 9 |
3 |
2 |
fibonacci_program | PersistentBoundaryAir<8> | 6 |
3 |
2 |
fibonacci_program | MemoryMerkleAir<8> | 40 |
4 |
2 |
fibonacci_program | AccessAdapterAir<2> | 14 |
5 |
2 |
fibonacci_program | AccessAdapterAir<4> | 14 |
5 |
2 |
fibonacci_program | AccessAdapterAir<8> | 14 |
5 |
2 |
fibonacci_program | AccessAdapterAir<16> | 14 |
5 |
2 |
fibonacci_program | AccessAdapterAir<32> | 14 |
5 |
2 |
fibonacci_program | AccessAdapterAir<64> | 14 |
5 |
2 |
fibonacci_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 17 |
15 |
2 |
fibonacci_program | VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 88 |
25 |
2 |
fibonacci_program | VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 38 |
24 |
2 |
fibonacci_program | VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 26 |
19 |
2 |
fibonacci_program | RangeTupleCheckerAir<2> | 4 |
1 |
1 |
fibonacci_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 15 |
11 |
2 |
fibonacci_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 20 |
16 |
2 |
fibonacci_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 22 |
10 |
2 |
fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 41 |
13 |
2 |
fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 25 |
11 |
2 |
fibonacci_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 33 |
18 |
2 |
fibonacci_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 38 |
17 |
2 |
fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 90 |
23 |
2 |
fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 39 |
17 |
2 |
fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 43 |
19 |
2 |
fibonacci_program | BitwiseOperationLookupAir<8> | 4 |
2 |
2 |
fibonacci_program | PhantomAir | 5 |
3 |
2 |
fibonacci_program | Poseidon2PeripheryAir, 1> | 286 |
1 |
2 |
fibonacci_program | VariableRangeCheckerAir | 4 |
1 |
1 |
leaf | ProgramAir | 4 |
1 |
1 |
leaf | VmConnectorAir | 8 |
3 |
4 |
leaf | VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> | 23 |
11 |
4 |
leaf | VolatileBoundaryAir | 16 |
4 |
4 |
leaf | AccessAdapterAir<2> | 12 |
5 |
4 |
leaf | AccessAdapterAir<4> | 12 |
5 |
4 |
leaf | AccessAdapterAir<8> | 12 |
5 |
4 |
leaf | NativePoseidon2Air, 1> | 302 |
31 |
4 |
leaf | FriReducedOpeningAir | 59 |
35 |
4 |
leaf | VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> | 23 |
15 |
4 |
leaf | VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> | 23 |
15 |
4 |
leaf | VmAirWrapper<JalNativeAdapterAir, JalCoreAir> | 6 |
7 |
4 |
leaf | VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> | 23 |
11 |
2 |
leaf | VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> | (-7 [-22.6%]) 24 |
(-4 [-21.1%]) 15 |
4 |
leaf | PhantomAir | 4 |
3 |
4 |
leaf | VariableRangeCheckerAir | 4 |
1 |
1 |
group | commit_exe_time_ms | fri.log_blowup | keygen_time_ms | num_children | num_segments | total_cells_used | total_cycles | total_proof_time_ms |
---|---|---|---|---|---|---|---|---|
fibonacci_program | 5.0 |
2 |
(+3.0 [+0.8%]) 365.0 |
1 |
51,505,102 |
1,500,137 |
(+65.0 [+1.2%]) 5,537.0 |
|
leaf | 2 |
1 |
(+8,591,722 [+6.7%]) 137,453,288 |
(+650,462 [+20.5%]) 3,823,151 |
(-551.0 [-4.0%]) 13,248.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 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
fibonacci_program | 0 | (-39.0 [-2.3%]) 1,623.0 |
(+20.0 [+11.4%]) 196.0 |
(-5.0 [-0.6%]) 867.0 |
(+6.0 [+0.4%]) 1,377.0 |
(+25.0 [+1.5%]) 1,738.0 |
(+14.0 [+2.9%]) 504.0 |
(+5.0 [+0.6%]) 852.0 |
(+65.0 [+1.2%]) 5,537.0 |
197,453,854 |
51,505,102 |
1,500,137 |
(-4.0 [-1.5%]) 256.0 |
group | air_name | segment | cells | main_cols | perm_cols | prep_cols | rows |
---|---|---|---|---|---|---|---|
fibonacci_program | ProgramAir | 0 | 73,728 |
10 |
8 |
4,096 |
|
fibonacci_program | VmConnectorAir | 0 | 32 |
4 |
12 |
1 |
2 |
fibonacci_program | PersistentBoundaryAir<8> | 0 | 2,048 |
20 |
12 |
64 |
|
fibonacci_program | MemoryMerkleAir<8> | 0 | 26,624 |
32 |
20 |
512 |
|
fibonacci_program | AccessAdapterAir<8> | 0 | 2,624 |
17 |
24 |
64 |
|
fibonacci_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 0 | 248 |
26 |
36 |
4 |
|
fibonacci_program | RangeTupleCheckerAir<2> | 0 | 4,718,592 |
1 |
8 |
2 |
524,288 |
fibonacci_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 0 | 784 |
21 |
28 |
16 |
|
fibonacci_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 0 | 1,024 |
28 |
36 |
16 |
|
fibonacci_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 0 | 8,126,464 |
18 |
44 |
131,072 |
|
fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 0 | 704 |
32 |
56 |
8 |
|
fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 0 | 19,398,656 |
26 |
48 |
262,144 |
|
fibonacci_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 0 | 3,584 |
40 |
72 |
32 |
|
fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 0 | 210 |
53 |
52 |
2 |
|
fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 0 | 40,370,176 |
37 |
40 |
524,288 |
|
fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 0 | 121,634,816 |
36 |
80 |
1,048,576 |
|
fibonacci_program | BitwiseOperationLookupAir<8> | 0 | 655,360 |
2 |
8 |
3 |
65,536 |
fibonacci_program | PhantomAir | 0 | 36 |
6 |
12 |
2 |
|
fibonacci_program | Poseidon2PeripheryAir, 1> | 0 | 78,848 |
300 |
8 |
256 |
|
fibonacci_program | VariableRangeCheckerAir | 0 | 2,359,296 |
1 |
8 |
2 |
262,144 |
group | idx | segment | execute_time_ms | total_cells_used | total_cycles | trace_gen_time_ms |
---|---|---|---|---|---|---|
leaf | 0 | 0 | (+369.0 [+9.3%]) 4,324.0 |
(+8,591,722 [+6.7%]) 137,453,288 |
(+650,462 [+20.5%]) 3,823,151 |
(+78.0 [+11.7%]) 742.0 |
group | air_name | idx | cells | main_cols | perm_cols | prep_cols | rows |
---|---|---|---|---|---|---|---|
leaf | ProgramAir | 0 | 2,359,296 |
10 |
8 |
131,072 |
|
leaf | VmConnectorAir | 0 | 24 |
4 |
8 |
1 |
2 |
leaf | VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> | 0 | 2,496 |
23 |
16 |
64 |
|
leaf | VolatileBoundaryAir | 0 | 9,961,472 |
11 |
8 |
524,288 |
|
leaf | AccessAdapterAir<2> | 0 | 14,155,776 |
11 |
16 |
524,288 |
|
leaf | AccessAdapterAir<4> | 0 | 7,602,176 |
13 |
16 |
262,144 |
|
leaf | AccessAdapterAir<8> | 0 | 2,162,688 |
17 |
16 |
65,536 |
|
leaf | NativePoseidon2Air, 1> | 0 | 12,582,912 |
348 |
36 |
32,768 |
|
leaf | FriReducedOpeningAir | 0 | 18,350,080 |
64 |
76 |
131,072 |
|
leaf | VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> | 0 | 1,966,080 |
40 |
20 |
32,768 |
|
leaf | VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> | 0 | 104,857,600 |
30 |
20 |
2,097,152 |
|
leaf | VmAirWrapper<JalNativeAdapterAir, JalCoreAir> | 0 | 2,883,584 |
10 |
12 |
131,072 |
|
leaf | VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> | 0 | 53,477,376 |
23 |
28 |
1,048,576 |
|
leaf | VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> | 0 | (-29,360,128 [-21.5%]) 106,954,752 |
(-10 [-24.4%]) 31 |
(-4 [-16.7%]) 20 |
2,097,152 |
|
leaf | PhantomAir | 0 | 458,752 |
6 |
8 |
32,768 |
|
leaf | VariableRangeCheckerAir | 0 | 2,359,296 |
1 |
8 |
2 |
262,144 |
group | idx | 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 |
---|---|---|---|---|---|---|---|---|---|
leaf | 0 | (-39.0 [-12.1%]) 284.0 |
(-179.0 [-7.3%]) 2,284.0 |
(+31.0 [+0.9%]) 3,400.0 |
(-138.0 [-6.5%]) 1,988.0 |
(-49.0 [-2.3%]) 2,113.0 |
(-176.0 [-5.3%]) 3,176.0 |
(-551.0 [-4.0%]) 13,248.0 |
(-29,360,128 [-7.9%]) 340,134,360 |
Commit: https://github.com/openvm-org/openvm/commit/806206164c5422445e431f8c7a3a35f7b810ab54
Max Segment Length: 1048476
Instance Type: 64cpu-linux-arm64
Memory Allocator: mimalloc