Skip to content

Latest commit

 

History

History
137 lines (120 loc) · 24 KB

regex-3407330a28a1604fda301999bcdf593ad336a871.md

File metadata and controls

137 lines (120 loc) · 24 KB
group fri.log_blowup total_cells_used total_cycles total_proof_time_ms
regex_program
2
165,028,173
4,190,904
 (-23.0 [-0.1%])
15,800.0
leaf
2
 (+5,730 [+0.0%])
291,417,182
 (+615 [+0.0%])
6,525,792
 (+649.0 [+2.5%])
26,310.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
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>
31
19
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
regex_program
41.0
2
757.0
1
165,028,173
4,190,904
 (-23.0 [-0.1%])
15,800.0
leaf
2
1
 (+5,730 [+0.0%])
291,417,182
 (+615 [+0.0%])
6,525,792
 (+649.0 [+2.5%])
26,310.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 (-13.0 [-0.2%])
5,807.0
 (+3.0 [+0.6%])
502.0
 (+4.0 [+0.2%])
2,456.0
 (-83.0 [-2.4%])
3,399.0
 (-21.0 [-0.4%])
5,426.0
 (+18.0 [+1.4%])
1,285.0
 (+55.0 [+2.1%])
2,728.0
 (-23.0 [-0.1%])
15,800.0
632,452,480
165,028,173
4,190,904
 (-44.0 [-5.6%])
743.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
group idx segment execute_time_ms total_cells_used total_cycles trace_gen_time_ms
leaf 0 0 (+12.0 [+0.1%])
8,244.0
 (+5,730 [+0.0%])
291,417,182
 (+615 [+0.0%])
6,525,792
 (-21.0 [-1.5%])
1,402.0
group air_name idx cells main_cols perm_cols prep_cols rows
leaf ProgramAir 0
9,437,184
10
8
524,288
leaf VmConnectorAir 0
24
4
8
1
2
leaf VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 0
2,496
23
16
64
leaf VolatileBoundaryAir 0
19,922,944
11
8
1,048,576
leaf AccessAdapterAir<2> 0
56,623,104
11
16
2,097,152
leaf AccessAdapterAir<4> 0
30,408,704
13
16
1,048,576
leaf AccessAdapterAir<8> 0
4,325,376
17
16
131,072
leaf NativePoseidon2Air, 1> 0
25,165,824
348
36
65,536
leaf FriReducedOpeningAir 0
146,800,640
64
76
1,048,576
leaf VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 0
7,864,320
40
20
131,072
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 0
209,715,200
30
20
4,194,304
leaf VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0
2,883,584
10
12
131,072
leaf VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 0
106,954,752
23
28
2,097,152
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 0
136,314,880
41
24
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 (+10.0 [+1.7%])
583.0
 (+305.0 [+6.8%])
4,797.0
 (-97.0 [-1.4%])
6,743.0
 (+321.0 [+7.1%])
4,838.0
 (+202.0 [+5.2%])
4,055.0
 (-93.0 [-1.7%])
5,291.0
 (+649.0 [+2.5%])
26,310.0
759,237,080

Commit: https://github.com/openvm-org/openvm/commit/3407330a28a1604fda301999bcdf593ad336a871

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow