Skip to content

Latest commit

 

History

History
244 lines (223 loc) · 28.7 KB

regex-547a68fb200ed828503517578753c76778b6a3e1.md

File metadata and controls

244 lines (223 loc) · 28.7 KB
group fri.log_blowup total_cells_used total_cycles total_proof_time_ms
regex_program
2
238,890,449
8,381,808
 (+214.0 [+1.3%])
17,307.0
Detailed Metrics
commit_exe_time_ms fri.log_blowup keygen_time_ms
(+1.0 [+2.2%])
46.0
2
 (-268.0 [-0.4%])
75,260.0
air_name constraints interactions quotient_deg
ProgramAir
4
1
1
VmConnectorAir
9
3
 (-2 [-50.0%])
2
PersistentBoundaryAir<8>
6
3
2
MemoryMerkleAir<8>
40
4
2
AccessAdapterAir<2>
14
5
 (-2 [-50.0%])
2
AccessAdapterAir<4>
14
5
 (-2 [-50.0%])
2
AccessAdapterAir<8>
14
5
 (-2 [-50.0%])
2
AccessAdapterAir<16>
14
5
2
AccessAdapterAir<32>
14
5
2
AccessAdapterAir<64>
14
5
2
KeccakVmAir
4,571
321
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 [-50.0%])
2
Poseidon2VmAir
525
32
 (-2 [-50.0%])
2
VariableRangeCheckerAir
4
1
1
group segment stark_prove_excluding_trace_time_ms total_cells total_cells_used total_cycles trace_gen_time_ms
regex_program 0 (+214.0 [+1.3%])
17,307.0
791,770,496
238,890,449
8,381,808
 (+17.0 [+0.6%])
2,642.0
group chip_name segment rows_used
regex_program ProgramChip 0
89,914
regex_program VmConnectorAir 0
2
regex_program Boundary 0
69,164
regex_program Merkle 0
70,500
regex_program AccessAdapter<2> 0
42
regex_program AccessAdapter<4> 0
22
regex_program AccessAdapter<8> 0
69,164
regex_program KeccakVmAir 0
24
regex_program <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> 0
12,767
regex_program <Rv32MultAdapterAir,DivRemCoreAir<4, 8>> 0
114
regex_program <Rv32MultAdapterAir,MulHCoreAir<4, 8>> 0
244
regex_program <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> 0
52,087
regex_program RangeTupleCheckerAir<2> 0
524,288
regex_program <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> 0
39,557
regex_program <Rv32JalrAdapterAir,Rv32JalrCoreAir> 0
130,444
regex_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> 0
106,072
regex_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> 0
198,078
regex_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> 0
282,074
regex_program <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> 0
687
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> 0
1,961,387
regex_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> 0
218,625
regex_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> 0
38,005
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> 0
1,150,473
regex_program BitwiseOperationLookupAir<8> 0
65,536
regex_program PhantomAir 0
289
regex_program Poseidon2VmAir 0
139,664
regex_program VariableRangeCheckerAir 0
262,144
group dsl_ir opcode segment frequency
regex_program ADD 0
1,008,001
regex_program AND 0
66,789
regex_program AUIPC 0
39,557
regex_program BEQ 0
178,501
regex_program BGE 0
294
regex_program BGEU 0
121,597
regex_program BLT 0
5,141
regex_program BLTU 0
71,046
regex_program BNE 0
103,573
regex_program DIVU 0
114
regex_program HINT_STOREW 0
12,767
regex_program JAL 0
61,576
regex_program JALR 0
130,444
regex_program KECCAK256 0
1
regex_program LOADB 0
679
regex_program LOADBU 0
27,294
regex_program LOADH 0
8
regex_program LOADHU 0
95
regex_program LOADW 0
1,142,838
regex_program LUI 0
44,496
regex_program MUL 0
52,087
regex_program MULHU 0
244
regex_program OR 0
23,536
regex_program PHANTOM 0
289
regex_program SLL 0
213,542
regex_program SLT 0
5
regex_program SLTU 0
38,000
regex_program SRA 0
1
regex_program SRL 0
5,082
regex_program STOREB 0
12,721
regex_program STOREH 0
10,074
regex_program STOREW 0
768,365
regex_program SUB 0
42,583
regex_program XOR 0
9,564
group air_name dsl_ir opcode segment cells_used
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> ADD 0
36,288,036
regex_program AccessAdapter<8> ADD 0
102
regex_program Boundary ADD 0
240
regex_program Merkle ADD 0
128
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> AND 0
2,404,404
regex_program <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> AUIPC 0
830,697
regex_program AccessAdapter<8> AUIPC 0
34
regex_program Boundary AUIPC 0
80
regex_program Merkle AUIPC 0
3,456
regex_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> BEQ 0
4,641,026
regex_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> BGE 0
9,408
regex_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> BGEU 0
3,891,104
regex_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> BLT 0
164,512
regex_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> BLTU 0
2,273,472
regex_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> BNE 0
2,692,898
regex_program <Rv32MultAdapterAir,DivRemCoreAir<4, 8>> DIVU 0
6,498
regex_program <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> HINT_STOREW 0
331,942
regex_program AccessAdapter<8> HINT_STOREW 0
108,528
regex_program Boundary HINT_STOREW 0
255,360
regex_program Merkle HINT_STOREW 0
408,576
regex_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> JAL 0
1,108,368
regex_program <Rv32JalrAdapterAir,Rv32JalrCoreAir> JALR 0
3,652,432
regex_program AccessAdapter<2> KECCAK256 0
231
regex_program AccessAdapter<4> KECCAK256 0
143
regex_program KeccakVmAir KECCAK256 0
75,936
regex_program <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> LOADB 0
23,765
regex_program AccessAdapter<8> LOADB 0
17
regex_program Boundary LOADB 0
40
regex_program Merkle LOADB 0
64
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> LOADBU 0
1,091,760
regex_program AccessAdapter<8> LOADBU 0
187
regex_program Boundary LOADBU 0
440
regex_program Merkle LOADBU 0
2,624
regex_program <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> LOADH 0
280
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> LOADHU 0
3,800
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> LOADW 0
45,713,520
regex_program AccessAdapter<8> LOADW 0
3,026
regex_program Boundary LOADW 0
7,120
regex_program Merkle LOADW 0
26,112
regex_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> LUI 0
800,928
regex_program AccessAdapter<8> LUI 0
17
regex_program Boundary LUI 0
40
regex_program Merkle LUI 0
64
regex_program <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> MUL 0
1,614,697
regex_program <Rv32MultAdapterAir,MulHCoreAir<4, 8>> MULHU 0
9,516
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> OR 0
847,296
regex_program PhantomAir PHANTOM 0
1,734
regex_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> SLL 0
11,317,726
regex_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> SLT 0
185
regex_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> SLTU 0
1,406,000
regex_program AccessAdapter<8> SLTU 0
17
regex_program Boundary SLTU 0
40
regex_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> SRA 0
53
regex_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> SRL 0
269,346
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> STOREB 0
508,840
regex_program AccessAdapter<8> STOREB 0
1,105
regex_program Boundary STOREB 0
2,600
regex_program Merkle STOREB 0
8,320
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> STOREH 0
402,960
regex_program AccessAdapter<8> STOREH 0
85,221
regex_program Boundary STOREH 0
200,520
regex_program Merkle STOREH 0
321,024
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> STOREW 0
30,734,600
regex_program AccessAdapter<8> STOREW 0
389,640
regex_program Boundary STOREW 0
916,800
regex_program Merkle STOREW 0
1,485,568
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> SUB 0
1,532,988
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> XOR 0
344,304
group execute_time_ms fri.log_blowup num_segments total_cells_used total_cycles total_proof_time_ms
regex_program (+31.0 [+0.4%])
7,023.0
2
1
238,890,449
8,381,808
 (+214.0 [+1.3%])
17,307.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 Poseidon2VmAir 0
164,364,288
559
68
262,144
regex_program VariableRangeCheckerAir 0
2,359,296
1
8
2
262,144
Flamegraphs

Commit: https://github.com/openvm-org/openvm/commit/547a68fb200ed828503517578753c76778b6a3e1

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow