group | fri.log_blowup | total_cells_used | total_cycles | total_proof_time_ms |
---|---|---|---|---|
regex_program | 2 |
165,028,173 |
4,190,904 |
(+43.0 [+0.3%]) 15,709.0 |
Detailed Metrics
group | air_name | constraints | interactions | quotient_deg |
---|---|---|---|---|
regex_program | ProgramAir | 4 |
1 |
1 |
regex_program | VmConnectorAir | 9 |
3 |
2 |
regex_program | PersistentBoundaryAir<8> | 6 |
3 |
2 |
regex_program | MemoryMerkleAir<8> | 40 |
4 |
2 |
regex_program | AccessAdapterAir<2> | 14 |
5 |
2 |
regex_program | AccessAdapterAir<4> | 14 |
5 |
2 |
regex_program | AccessAdapterAir<8> | 14 |
5 |
2 |
regex_program | AccessAdapterAir<16> | 14 |
5 |
2 |
regex_program | AccessAdapterAir<32> | 14 |
5 |
2 |
regex_program | AccessAdapterAir<64> | 14 |
5 |
2 |
regex_program | KeccakVmAir | 4,571 |
321 |
2 |
regex_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 17 |
15 |
2 |
regex_program | VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 88 |
25 |
2 |
regex_program | VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 38 |
24 |
2 |
regex_program | VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 26 |
19 |
2 |
regex_program | RangeTupleCheckerAir<2> | 4 |
1 |
1 |
regex_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 15 |
11 |
2 |
regex_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 20 |
16 |
2 |
regex_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 22 |
10 |
2 |
regex_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 41 |
13 |
2 |
regex_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 25 |
11 |
2 |
regex_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 33 |
18 |
2 |
regex_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 38 |
17 |
2 |
regex_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 90 |
23 |
2 |
regex_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 39 |
17 |
2 |
regex_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 43 |
19 |
2 |
regex_program | BitwiseOperationLookupAir<8> | 4 |
2 |
2 |
regex_program | PhantomAir | 5 |
3 |
2 |
regex_program | Poseidon2PeripheryAir, 1> | 286 |
1 |
2 |
regex_program | VariableRangeCheckerAir | 4 |
1 |
1 |
group | commit_exe_time_ms | fri.log_blowup | keygen_time_ms | num_segments | total_cells_used | total_cycles | total_proof_time_ms |
---|---|---|---|---|---|---|---|
regex_program | (-4.0 [-8.7%]) 42.0 |
2 |
(+15.0 [+2.0%]) 753.0 |
1 |
165,028,173 |
4,190,904 |
(+43.0 [+0.3%]) 15,709.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 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
regex_program | 0 | (+34.0 [+0.6%]) 5,879.0 |
(-12.0 [-2.4%]) 489.0 |
2,456.0 |
(-5.0 [-0.1%]) 3,356.0 |
(+19.0 [+0.4%]) 5,443.0 |
(+13.0 [+1.0%]) 1,268.0 |
(+29.0 [+1.1%]) 2,695.0 |
(+43.0 [+0.3%]) 15,709.0 |
632,452,480 |
165,028,173 |
4,190,904 |
(+1.0 [+0.1%]) 767.0 |
group | air_name | segment | cells | main_cols | perm_cols | prep_cols | rows |
---|---|---|---|---|---|---|---|
regex_program | ProgramAir | 0 | 2,359,296 |
10 |
8 |
131,072 |
|
regex_program | VmConnectorAir | 0 | 32 |
4 |
12 |
1 |
2 |
regex_program | PersistentBoundaryAir<8> | 0 | 4,194,304 |
20 |
12 |
131,072 |
|
regex_program | MemoryMerkleAir<8> | 0 | 6,815,744 |
32 |
20 |
131,072 |
|
regex_program | AccessAdapterAir<2> | 0 | 2,240 |
11 |
24 |
64 |
|
regex_program | AccessAdapterAir<4> | 0 | 1,184 |
13 |
24 |
32 |
|
regex_program | AccessAdapterAir<8> | 0 | 5,373,952 |
17 |
24 |
131,072 |
|
regex_program | KeccakVmAir | 0 | 142,464 |
3,164 |
1,288 |
32 |
|
regex_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 0 | 1,015,808 |
26 |
36 |
16,384 |
|
regex_program | VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 0 | 20,608 |
57 |
104 |
128 |
|
regex_program | VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 0 | 35,584 |
39 |
100 |
256 |
|
regex_program | VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 0 | 7,274,496 |
31 |
80 |
65,536 |
|
regex_program | RangeTupleCheckerAir<2> | 0 | 4,718,592 |
1 |
8 |
2 |
524,288 |
regex_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 0 | 3,211,264 |
21 |
28 |
65,536 |
|
regex_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 0 | 8,388,608 |
28 |
36 |
131,072 |
|
regex_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 0 | 8,126,464 |
18 |
44 |
131,072 |
|
regex_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 0 | 23,068,672 |
32 |
56 |
262,144 |
|
regex_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 0 | 38,797,312 |
26 |
48 |
524,288 |
|
regex_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 0 | 113,664 |
35 |
76 |
1,024 |
|
regex_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 0 | 234,881,024 |
40 |
72 |
2,097,152 |
|
regex_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 0 | 27,525,120 |
53 |
52 |
262,144 |
|
regex_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 0 | 5,046,272 |
37 |
40 |
65,536 |
|
regex_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 0 | 243,269,632 |
36 |
80 |
2,097,152 |
|
regex_program | BitwiseOperationLookupAir<8> | 0 | 655,360 |
2 |
8 |
3 |
65,536 |
regex_program | PhantomAir | 0 | 9,216 |
6 |
12 |
512 |
|
regex_program | Poseidon2PeripheryAir, 1> | 0 | 5,046,272 |
300 |
8 |
16,384 |
|
regex_program | VariableRangeCheckerAir | 0 | 2,359,296 |
1 |
8 |
2 |
262,144 |
Commit: https://github.com/openvm-org/openvm/commit/12a642ca2f7b3b271215a8d9d5d1774724921eed
Max Segment Length: 1048476
Instance Type: 64cpu-linux-arm64
Memory Allocator: mimalloc