group | fri.log_blowup | total_cells_used | total_cycles | total_proof_time_ms |
---|---|---|---|---|
ecrecover_program | 2 |
15,230,037 |
290,016 |
(-17.0 [-0.7%]) 2,370.0 |
Detailed Metrics
commit_exe_time_ms | fri.log_blowup | keygen_time_ms |
---|---|---|
(+1.0 [+12.5%]) 9.0 |
2 |
(+6.0 [+0.5%]) 1,196.0 |
air_name | constraints | interactions | quotient_deg |
---|---|---|---|
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 |
AccessAdapterAir<16> | 14 |
5 |
2 |
AccessAdapterAir<32> | 14 |
5 |
2 |
AccessAdapterAir<64> | 14 |
5 |
2 |
VmAirWrapper<Rv32VecHeapAdapterAir<1, 2, 2, 32, 32>, FieldExpressionCoreAir> | 449 |
411 |
2 |
VmAirWrapper<Rv32VecHeapAdapterAir<2, 2, 2, 32, 32>, FieldExpressionCoreAir> | 456 |
422 |
2 |
KeccakVmAir | 4,571 |
321 |
2 |
VmAirWrapper<Rv32IsEqualModAdapterAir<2, 1, 32, 32>, ModularIsEqualCoreAir<32, 4, 8> | 223 |
25 |
2 |
VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularMulDivCoreAir> | 188 |
156 |
2 |
VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularAddSubCoreAir> | 126 |
94 |
2 |
VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 17 |
15 |
2 |
VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 88 |
25 |
2 |
VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 38 |
24 |
2 |
VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 26 |
19 |
2 |
RangeTupleCheckerAir<2> | 4 |
1 |
1 |
VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 15 |
11 |
2 |
VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 20 |
16 |
2 |
VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 22 |
10 |
2 |
VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 41 |
13 |
2 |
VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 25 |
11 |
2 |
VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 33 |
18 |
2 |
VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 38 |
17 |
2 |
VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 90 |
23 |
2 |
VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 39 |
17 |
2 |
VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 43 |
19 |
2 |
BitwiseOperationLookupAir<8> | 4 |
2 |
2 |
PhantomAir | 5 |
3 |
2 |
Poseidon2PeripheryAir, 1> | 286 |
1 |
2 |
VariableRangeCheckerAir | 4 |
1 |
1 |
group | fri.log_blowup | num_segments | total_cells_used | total_cycles | total_proof_time_ms |
---|---|---|---|---|---|
ecrecover_program | 2 |
1 |
15,230,037 |
290,016 |
(-17.0 [-0.7%]) 2,370.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 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
ecrecover_program | 0 | (-3.0 [-0.6%]) 480.0 |
(+6.0 [+14.0%]) 49.0 |
(+4.0 [+1.0%]) 406.0 |
(+14.0 [+1.7%]) 817.0 |
529.0 |
(-8.0 [-2.6%]) 304.0 |
(-34.0 [-11.5%]) 261.0 |
(-17.0 [-0.7%]) 2,370.0 |
55,907,135 |
15,230,037 |
290,016 |
(-2.0 [-2.5%]) 77.0 |
group | air_name | segment | cells | main_cols | perm_cols | prep_cols | rows |
---|---|---|---|---|---|---|---|
ecrecover_program | ProgramAir | 0 | 294,912 |
10 |
8 |
16,384 |
|
ecrecover_program | VmConnectorAir | 0 | 32 |
4 |
12 |
1 |
2 |
ecrecover_program | PersistentBoundaryAir<8> | 0 | 131,072 |
20 |
12 |
4,096 |
|
ecrecover_program | MemoryMerkleAir<8> | 0 | 212,992 |
32 |
20 |
4,096 |
|
ecrecover_program | AccessAdapterAir<2> | 0 | 8,960 |
11 |
24 |
256 |
|
ecrecover_program | AccessAdapterAir<4> | 0 | 4,736 |
13 |
24 |
128 |
|
ecrecover_program | AccessAdapterAir<8> | 0 | 1,343,488 |
17 |
24 |
32,768 |
|
ecrecover_program | AccessAdapterAir<16> | 0 | 802,816 |
25 |
24 |
16,384 |
|
ecrecover_program | AccessAdapterAir<32> | 0 | 532,480 |
41 |
24 |
8,192 |
|
ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<1, 2, 2, 32, 32>, FieldExpressionCoreAir> | 0 | 2,807,808 |
543 |
828 |
2,048 |
|
ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 2, 2, 32, 32>, FieldExpressionCoreAir> | 0 | 1,502,208 |
619 |
848 |
1,024 |
|
ecrecover_program | KeccakVmAir | 0 | 569,856 |
3,164 |
1,288 |
128 |
|
ecrecover_program | VmAirWrapper<Rv32IsEqualModAdapterAir<2, 1, 32, 32>, ModularIsEqualCoreAir<32, 4, 8> | 0 | 909,312 |
166 |
56 |
4,096 |
|
ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularMulDivCoreAir> | 0 | 9,232 |
261 |
316 |
16 |
|
ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularAddSubCoreAir> | 0 | 3,128 |
199 |
192 |
8 |
|
ecrecover_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 0 | 15,872 |
26 |
36 |
256 |
|
ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 0 | 1,288 |
57 |
104 |
8 |
|
ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 0 | 1,112 |
39 |
100 |
8 |
|
ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 0 | 454,656 |
31 |
80 |
4,096 |
|
ecrecover_program | RangeTupleCheckerAir<2> | 0 | 4,718,592 |
1 |
8 |
2 |
524,288 |
ecrecover_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 0 | 200,704 |
21 |
28 |
4,096 |
|
ecrecover_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 0 | 524,288 |
28 |
36 |
8,192 |
|
ecrecover_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 0 | 253,952 |
18 |
44 |
4,096 |
|
ecrecover_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 0 | 2,883,584 |
32 |
56 |
32,768 |
|
ecrecover_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 0 | 1,212,416 |
26 |
48 |
16,384 |
|
ecrecover_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 0 | 454,656 |
35 |
76 |
4,096 |
|
ecrecover_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 0 | 14,680,064 |
40 |
72 |
131,072 |
|
ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 0 | 1,720,320 |
53 |
52 |
16,384 |
|
ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 0 | 157,696 |
37 |
40 |
2,048 |
|
ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 0 | 15,204,352 |
36 |
80 |
131,072 |
|
ecrecover_program | BitwiseOperationLookupAir<8> | 0 | 655,360 |
2 |
8 |
3 |
65,536 |
ecrecover_program | PhantomAir | 0 | 1,152 |
6 |
12 |
64 |
|
ecrecover_program | Poseidon2PeripheryAir, 1> | 0 | 1,261,568 |
300 |
8 |
4,096 |
|
ecrecover_program | 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