Skip to content

Latest commit

 

History

History
110 lines (94 loc) · 8.97 KB

regex-d507515d6acfcc098b92799f2bcf70666832fb29.md

File metadata and controls

110 lines (94 loc) · 8.97 KB
Summary Proof Time (s) Parallel Proof Time (s)
Total (+3 [+21.0%]) 17.66 (+3 [+21.0%]) 17.66
regex_program (+3 [+21.0%]) 17.66 (+3 [+21.0%]) 17.66
regex_program
metric avg sum max min
total_proof_time_ms (+3066 [+21.0%]) 17,664 (+3066 [+21.0%]) 17,664 (+3066 [+21.0%]) 17,664 (+3066 [+21.0%]) 17,664
main_cells_used 165,010,909 165,010,909 165,010,909 165,010,909
total_cycles 4,190,904 4,190,904 4,190,904 4,190,904
execute_time_ms (+7 [+0.7%]) 1,015 (+7 [+0.7%]) 1,015 (+7 [+0.7%]) 1,015 (+7 [+0.7%]) 1,015
trace_gen_time_ms (+164 [+5.6%]) 3,082 (+164 [+5.6%]) 3,082 (+164 [+5.6%]) 3,082 (+164 [+5.6%]) 3,082
stark_prove_excluding_trace_time_ms (+2895 [+27.1%]) 13,567 (+2895 [+27.1%]) 13,567 (+2895 [+27.1%]) 13,567 (+2895 [+27.1%]) 13,567
main_trace_commit_time_ms (+53 [+2.2%]) 2,422 (+53 [+2.2%]) 2,422 (+53 [+2.2%]) 2,422 (+53 [+2.2%]) 2,422
generate_perm_trace_time_ms (+102 [+25.8%]) 497 (+102 [+25.8%]) 497 (+102 [+25.8%]) 497 (+102 [+25.8%]) 497
perm_trace_commit_time_ms (+3665 [+173.4%]) 5,779 (+3665 [+173.4%]) 5,779 (+3665 [+173.4%]) 5,779 (+3665 [+173.4%]) 5,779
quotient_poly_compute_time_ms (-589 [-38.9%]) 925 (-589 [-38.9%]) 925 (-589 [-38.9%]) 925 (-589 [-38.9%]) 925
quotient_poly_commit_time_ms (-729 [-38.8%]) 1,152 (-729 [-38.8%]) 1,152 (-729 [-38.8%]) 1,152 (-729 [-38.8%]) 1,152
pcs_opening_time_ms (+394 [+16.5%]) 2,784 (+394 [+16.5%]) 2,784 (+394 [+16.5%]) 2,784 (+394 [+16.5%]) 2,784
Detailed Metrics
group num_segments keygen_time_ms commit_exe_time_ms
regex_program 1 661 43
group air_name quotient_deg interactions constraints
regex_program AccessAdapterAir<16> 2 5 14
regex_program AccessAdapterAir<2> 2 5 14
regex_program AccessAdapterAir<32> 2 5 14
regex_program AccessAdapterAir<4> 2 5 14
regex_program AccessAdapterAir<64> 2 5 14
regex_program AccessAdapterAir<8> 2 5 14
regex_program BitwiseOperationLookupAir<8> 2 2 4
regex_program KeccakVmAir 2 321 4,571
regex_program MemoryMerkleAir<8> 2 4 40
regex_program PersistentBoundaryAir<8> 2 3 6
regex_program PhantomAir 2 3 5
regex_program Poseidon2PeripheryAir, 1> 2 1 286
regex_program ProgramAir 1 1 4
regex_program RangeTupleCheckerAir<2> 1 1 4
regex_program VariableRangeCheckerAir 1 1 4
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 2 19 43
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 2 17 39
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 2 23 90
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 2 11 25
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 2 13 41
regex_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 2 10 22
regex_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 2 15 17
regex_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 2 16 20
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 2 18 33
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 2 17 38
regex_program VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> 2 25 88
regex_program VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> 2 24 38
regex_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 2 19 26
regex_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 2 11 15
regex_program VmConnectorAir 2 3 9
group air_name segment rows prep_cols perm_cols main_cols cells
regex_program AccessAdapterAir<2> 0 64 24 11 2,240
regex_program AccessAdapterAir<4> 0 32 24 13 1,184
regex_program AccessAdapterAir<8> 0 131,072 24 17 5,373,952
regex_program BitwiseOperationLookupAir<8> 0 65,536 3 8 2 655,360
regex_program KeccakVmAir 0 32 1,288 3,164 142,464
regex_program MemoryMerkleAir<8> 0 131,072 20 32 6,815,744
regex_program PersistentBoundaryAir<8> 0 131,072 12 20 4,194,304
regex_program PhantomAir 0 512 12 6 9,216
regex_program Poseidon2PeripheryAir, 1> 0 16,384 8 300 5,046,272
regex_program ProgramAir 0 131,072 8 10 2,359,296
regex_program RangeTupleCheckerAir<2> 0 524,288 2 8 1 4,718,592
regex_program VariableRangeCheckerAir 0 262,144 2 8 1 2,359,296
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0 2,097,152 80 36 243,269,632
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0 65,536 40 37 5,046,272
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0 262,144 52 53 27,525,120
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0 524,288 48 26 38,797,312
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0 262,144 56 32 23,068,672
regex_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0 131,072 44 18 8,126,464
regex_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 0 16,384 36 26 1,015,808
regex_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0 131,072 36 28 8,388,608
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 0 1,024 76 35 113,664
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0 2,097,152 72 40 234,881,024
regex_program VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> 0 128 104 57 20,608
regex_program VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> 0 256 100 39 35,584
regex_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 0 65,536 80 31 7,274,496
regex_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0 65,536 28 21 3,211,264
regex_program VmConnectorAir 0 2 1 12 4 32
group segment trace_gen_time_ms total_proof_time_ms total_cycles total_cells stark_prove_excluding_trace_time_ms quotient_poly_compute_time_ms quotient_poly_commit_time_ms perm_trace_commit_time_ms pcs_opening_time_ms main_trace_commit_time_ms main_cells_used generate_perm_trace_time_ms execute_time_ms
regex_program 0 3,082 17,664 4,190,904 632,452,480 13,567 925 1,152 5,779 2,784 2,422 165,010,909 497 1,015

Commit: https://github.com/openvm-org/openvm/commit/d507515d6acfcc098b92799f2bcf70666832fb29

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow