Skip to content

Latest commit

 

History

History
286 lines (265 loc) · 35.1 KB

ecrecover-24e45001f4c7dfe41ab51f2c77b26d9af06247ae.md

File metadata and controls

286 lines (265 loc) · 35.1 KB
group fri.log_blowup total_cells_used total_cycles total_proof_time_ms
ecrecover_program
2
10,251,804
195,066
 (-10.0 [-0.5%])
1,923.0
Detailed Metrics
commit_exe_time_ms fri.log_blowup keygen_time_ms
(+1.0 [+12.5%])
9.0
2
 (+258.0 [+0.3%])
77,364.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
Poseidon2VmAir
525
32
2
VariableRangeCheckerAir
4
1
1
group segment stark_prove_excluding_trace_time_ms total_cells total_cells_used total_cycles trace_gen_time_ms
ecrecover_program 0 (-10.0 [-0.5%])
1,923.0
34,157,871
10,251,804
195,066
 (+6.0 [+4.8%])
132.0
group chip_name segment rows_used
ecrecover_program ProgramChip 0
8,398
ecrecover_program VmConnectorAir 0
2
ecrecover_program Boundary 0
3,036
ecrecover_program Merkle 0
3,340
ecrecover_program AccessAdapter<2> 0
132
ecrecover_program AccessAdapter<4> 0
68
ecrecover_program AccessAdapter<8> 0
6,370
ecrecover_program AccessAdapter<16> 0
2,878
ecrecover_program AccessAdapter<32> 0
1,440
ecrecover_program <Rv32VecHeapAdapterAir<1, 2, 2, 32, 32>,FieldExpressionCoreAir> 0
1,271
ecrecover_program <Rv32VecHeapAdapterAir<2, 2, 2, 32, 32>,FieldExpressionCoreAir> 0
726
ecrecover_program KeccakVmAir 0
120
ecrecover_program <Rv32IsEqualModAdapterAir<2, 1, 32, 32>,ModularIsEqualCoreAir<32, 4, 8>> 0
3,194
ecrecover_program <Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>,ModularMulDivCoreAir> 0
16
ecrecover_program <Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>,ModularAddSubCoreAir> 0
6
ecrecover_program <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> 0
214
ecrecover_program <Rv32MultAdapterAir,DivRemCoreAir<4, 8>> 0
5
ecrecover_program <Rv32MultAdapterAir,MulHCoreAir<4, 8>> 0
5
ecrecover_program <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> 0
16
ecrecover_program RangeTupleCheckerAir<2> 0
524,288
ecrecover_program <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> 0
835
ecrecover_program <Rv32JalrAdapterAir,Rv32JalrCoreAir> 0
1,549
ecrecover_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> 0
1,273
ecrecover_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> 0
5,885
ecrecover_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> 0
11,936
ecrecover_program <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> 0
140
ecrecover_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> 0
30,926
ecrecover_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> 0
2,303
ecrecover_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> 0
1,751
ecrecover_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> 0
35,409
ecrecover_program BitwiseOperationLookupAir<8> 0
65,536
ecrecover_program PhantomAir 0
45
ecrecover_program Poseidon2VmAir 0
6,376
ecrecover_program VariableRangeCheckerAir 0
262,144
group dsl_ir opcode segment frequency
ecrecover_program ADD 0
28,016
ecrecover_program AND 0
4,845
ecrecover_program AUIPC 0
835
ecrecover_program BEQ 0
7,939
ecrecover_program BGEU 0
925
ecrecover_program BLT 0
12
ecrecover_program BLTU 0
4,948
ecrecover_program BNE 0
3,997
ecrecover_program DIVU 0
5
ecrecover_program EcAddNe 0
726
ecrecover_program EcDouble 0
1,271
ecrecover_program HINT_STOREW 0
214
ecrecover_program IS_EQ 0
3,203
ecrecover_program JAL 0
1,003
ecrecover_program JALR 0
1,549
ecrecover_program KECCAK256 0
5
ecrecover_program LOADB 0
140
ecrecover_program LOADBU 0
2,450
ecrecover_program LOADW 0
14,526
ecrecover_program LUI 0
270
ecrecover_program MUL 0
16
ecrecover_program MULHU 0
5
ecrecover_program ModularAddSub 0
7
ecrecover_program ModularMulDiv 0
27
ecrecover_program OR 0
1,302
ecrecover_program PHANTOM 0
45
ecrecover_program SETUP_ISEQ 0
2
ecrecover_program SLL 0
1,192
ecrecover_program SLTU 0
1,751
ecrecover_program SRL 0
1,111
ecrecover_program STOREB 0
1,434
ecrecover_program STOREW 0
12,516
ecrecover_program SUB 0
1,221
ecrecover_program XOR 0
25
group air_name dsl_ir opcode segment cells_used
ecrecover_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> ADD 0
1,008,576
ecrecover_program AccessAdapter<8> ADD 0
68
ecrecover_program Boundary ADD 0
160
ecrecover_program Merkle ADD 0
64
ecrecover_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> AND 0
174,420
ecrecover_program <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> AUIPC 0
17,535
ecrecover_program AccessAdapter<8> AUIPC 0
51
ecrecover_program Boundary AUIPC 0
120
ecrecover_program Merkle AUIPC 0
3,520
ecrecover_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> BEQ 0
206,414
ecrecover_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> BGEU 0
29,600
ecrecover_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> BLT 0
384
ecrecover_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> BLTU 0
158,336
ecrecover_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> BNE 0
103,922
ecrecover_program <Rv32MultAdapterAir,DivRemCoreAir<4, 8>> DIVU 0
285
ecrecover_program <Rv32VecHeapAdapterAir<2, 2, 2, 32, 32>,FieldExpressionCoreAir> EcAddNe 0
449,394
ecrecover_program AccessAdapter<16> EcAddNe 0
27,175
ecrecover_program AccessAdapter<32> EcAddNe 0
22,304
ecrecover_program AccessAdapter<8> EcAddNe 0
36,890
ecrecover_program Boundary EcAddNe 0
160
ecrecover_program Merkle EcAddNe 0
256
ecrecover_program <Rv32VecHeapAdapterAir<1, 2, 2, 32, 32>,FieldExpressionCoreAir> EcDouble 0
690,153
ecrecover_program AccessAdapter<16> EcDouble 0
1,600
ecrecover_program AccessAdapter<32> EcDouble 0
1,312
ecrecover_program AccessAdapter<8> EcDouble 0
2,040
ecrecover_program Boundary EcDouble 0
320
ecrecover_program Merkle EcDouble 0
448
ecrecover_program <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> HINT_STOREW 0
5,564
ecrecover_program AccessAdapter<8> HINT_STOREW 0
1,513
ecrecover_program Boundary HINT_STOREW 0
3,560
ecrecover_program Merkle HINT_STOREW 0
6,592
ecrecover_program <Rv32IsEqualModAdapterAir<2, 1, 32, 32>,ModularIsEqualCoreAir<32, 4, 8>> IS_EQ 0
531,698
ecrecover_program AccessAdapter<16> IS_EQ 0
4,500
ecrecover_program AccessAdapter<32> IS_EQ 0
3,690
ecrecover_program AccessAdapter<8> IS_EQ 0
6,052
ecrecover_program Boundary IS_EQ 0
160
ecrecover_program Merkle IS_EQ 0
448
ecrecover_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> JAL 0
18,054
ecrecover_program <Rv32JalrAdapterAir,Rv32JalrCoreAir> JALR 0
43,372
ecrecover_program AccessAdapter<8> KECCAK256 0
68
ecrecover_program Boundary KECCAK256 0
160
ecrecover_program KeccakVmAir KECCAK256 0
379,680
ecrecover_program Merkle KECCAK256 0
128
ecrecover_program <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> LOADB 0
4,900
ecrecover_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> LOADBU 0
98,000
ecrecover_program AccessAdapter<16> LOADBU 0
125
ecrecover_program AccessAdapter<32> LOADBU 0
205
ecrecover_program AccessAdapter<8> LOADBU 0
85
ecrecover_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> LOADW 0
581,040
ecrecover_program AccessAdapter<16> LOADW 0
17,625
ecrecover_program AccessAdapter<32> LOADW 0
14,350
ecrecover_program AccessAdapter<8> LOADW 0
24,276
ecrecover_program Boundary LOADW 0
520
ecrecover_program Merkle LOADW 0
3,648
ecrecover_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> LUI 0
4,860
ecrecover_program AccessAdapter<8> LUI 0
17
ecrecover_program Boundary LUI 0
40
ecrecover_program <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> MUL 0
496
ecrecover_program <Rv32MultAdapterAir,MulHCoreAir<4, 8>> MULHU 0
195
ecrecover_program <Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>,ModularAddSubCoreAir> ModularAddSub 0
1,393
ecrecover_program AccessAdapter<16> ModularAddSub 0
700
ecrecover_program AccessAdapter<2> ModularAddSub 0
726
ecrecover_program AccessAdapter<32> ModularAddSub 0
574
ecrecover_program AccessAdapter<4> ModularAddSub 0
442
ecrecover_program AccessAdapter<8> ModularAddSub 0
969
ecrecover_program Boundary ModularAddSub 0
680
ecrecover_program Merkle ModularAddSub 0
2,624
ecrecover_program <Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>,ModularMulDivCoreAir> ModularMulDiv 0
7,047
ecrecover_program AccessAdapter<16> ModularMulDiv 0
2,000
ecrecover_program AccessAdapter<32> ModularMulDiv 0
1,640
ecrecover_program AccessAdapter<8> ModularMulDiv 0
2,720
ecrecover_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> OR 0
46,872
ecrecover_program PhantomAir PHANTOM 0
270
ecrecover_program <Rv32IsEqualModAdapterAir<2, 1, 32, 32>,ModularIsEqualCoreAir<32, 4, 8>> SETUP_ISEQ 0
332
ecrecover_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> SLL 0
63,176
ecrecover_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> SLTU 0
64,787
ecrecover_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> SRL 0
58,883
ecrecover_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> STOREB 0
57,360
ecrecover_program AccessAdapter<16> STOREB 0
625
ecrecover_program AccessAdapter<32> STOREB 0
697
ecrecover_program AccessAdapter<8> STOREB 0
1,139
ecrecover_program Boundary STOREB 0
1,200
ecrecover_program Merkle STOREB 0
2,624
ecrecover_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> STOREW 0
500,640
ecrecover_program AccessAdapter<16> STOREW 0
2,675
ecrecover_program AccessAdapter<32> STOREW 0
2,050
ecrecover_program AccessAdapter<8> STOREW 0
26,639
ecrecover_program Boundary STOREW 0
53,640
ecrecover_program Merkle STOREW 0
86,464
ecrecover_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> SUB 0
43,956
ecrecover_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> XOR 0
900
group execute_time_ms fri.log_blowup num_segments total_cells_used total_cycles total_proof_time_ms
ecrecover_program (-8.0 [-2.7%])
283.0
2
1
10,251,804
195,066
 (-10.0 [-0.5%])
1,923.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
335,872
17
24
8,192
ecrecover_program AccessAdapterAir<16> 0
200,704
25
24
4,096
ecrecover_program AccessAdapterAir<32> 0
133,120
41
24
2,048
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
1,776
31
80
16
ecrecover_program RangeTupleCheckerAir<2> 0
4,718,592
1
8
2
524,288
ecrecover_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0
50,176
21
28
1,024
ecrecover_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0
131,072
28
36
2,048
ecrecover_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0
126,976
18
44
2,048
ecrecover_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0
720,896
32
56
8,192
ecrecover_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0
1,212,416
26
48
16,384
ecrecover_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 0
28,416
35
76
256
ecrecover_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0
3,670,016
40
72
32,768
ecrecover_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0
430,080
53
52
4,096
ecrecover_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0
157,696
37
40
2,048
ecrecover_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0
7,602,176
36
80
65,536
ecrecover_program BitwiseOperationLookupAir<8> 0
655,360
2
8
3
65,536
ecrecover_program PhantomAir 0
1,152
6
12
64
ecrecover_program Poseidon2VmAir 0
5,136,384
559
68
8,192
ecrecover_program VariableRangeCheckerAir 0
2,359,296
1
8
2
262,144
Flamegraphs

Commit: https://github.com/openvm-org/openvm/commit/24e45001f4c7dfe41ab51f2c77b26d9af06247ae

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow