Skip to content

Latest commit

 

History

History
133 lines (117 loc) · 11 KB

regex-d2b2aae0702ff398c4797c5a776cce4870cc99fe.md

File metadata and controls

133 lines (117 loc) · 11 KB
Summary Proof Time (s) Parallel Proof Time (s)
Total (-0 [-0.7%]) 15.25 (-0 [-0.5%]) 8.54
regex_program (-0 [-0.7%]) 15.25 (-0 [-0.5%]) 8.54
regex_program
metric avg sum max min
total_proof_time_ms (-51 [-0.7%]) 7,623.50 (-102 [-0.7%]) 15,247 (-39 [-0.5%]) 8,542 (-63 [-0.9%]) 6,705
main_cells_used 82,727,686.50 165,455,373 92,686,348 72,769,025
total_cycles 1,914,103 1,914,103 1,914,103 1,914,103
execute_time_ms (-5 [-1.1%]) 449 (-10 [-1.1%]) 898 (-6 [-1.2%]) 483 (-4 [-1.0%]) 415
trace_gen_time_ms (-5 [-0.3%]) 1,684.50 (-10 [-0.3%]) 3,369 (-3 [-0.2%]) 1,874 (-7 [-0.5%]) 1,495
stark_prove_excluding_trace_time_ms (-41 [-0.7%]) 5,490 (-82 [-0.7%]) 10,980 (-30 [-0.5%]) 6,185 (-52 [-1.1%]) 4,795
main_trace_commit_time_ms (+9 [+0.8%]) 1,102.50 (+18 [+0.8%]) 2,205 (-12 [-0.9%]) 1,330 (+30 [+3.6%]) 875
generate_perm_trace_time_ms (-4 [-2.5%]) 172 (-9 [-2.5%]) 344 (-3 [-1.6%]) 190 (-6 [-3.8%]) 154
perm_trace_commit_time_ms (-8 [-0.7%]) 1,183.50 (-16 [-0.7%]) 2,367 (-3 [-0.2%]) 1,238 (-13 [-1.1%]) 1,129
quotient_poly_compute_time_ms (-2 [-0.3%]) 737.50 (-4 [-0.3%]) 1,475 (+7 [+0.8%]) 869 (-11 [-1.8%]) 606
quotient_poly_commit_time_ms (-18 [-1.9%]) 973 (-37 [-1.9%]) 1,946 (-2 [-0.2%]) 1,128 (-35 [-4.1%]) 818
pcs_opening_time_ms (-18 [-1.3%]) 1,309 (-35 [-1.3%]) 2,618 (-17 [-1.2%]) 1,422 (-18 [-1.5%]) 1,196
Detailed Metrics
group num_segments keygen_time_ms commit_exe_time_ms
regex_program 2 757 48
group air_name quotient_deg interactions constraints
regex_program AccessAdapterAir<16> 4 5 11
regex_program AccessAdapterAir<2> 4 5 11
regex_program AccessAdapterAir<32> 4 5 11
regex_program AccessAdapterAir<4> 4 5 11
regex_program AccessAdapterAir<64> 4 5 11
regex_program AccessAdapterAir<8> 4 5 11
regex_program BitwiseOperationLookupAir<8> 2 2 4
regex_program KeccakVmAir 4 321 4,380
regex_program MemoryMerkleAir<8> 4 4 38
regex_program PersistentBoundaryAir<8> 4 3 5
regex_program PhantomAir 4 3 4
regex_program Poseidon2PeripheryAir, 1> 2 1 286
regex_program ProgramAir 1 1 4
regex_program RangeTupleCheckerAir<2> 1 1 4
regex_program Rv32HintStoreAir 4 19 21
regex_program VariableRangeCheckerAir 1 1 4
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 4 19 30
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 4 17 35
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 4 23 84
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 4 11 17
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 4 13 32
regex_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 4 10 15
regex_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 4 16 16
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 4 18 21
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 4 17 27
regex_program VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> 4 25 72
regex_program VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> 4 24 23
regex_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 4 19 13
regex_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 4 11 12
regex_program VmConnectorAir 4 3 8
group air_name segment rows prep_cols perm_cols main_cols cells
regex_program AccessAdapterAir<2> 1 64 12 11 1,472
regex_program AccessAdapterAir<4> 1 32 12 13 800
regex_program AccessAdapterAir<8> 0 131,072 12 17 3,801,088
regex_program AccessAdapterAir<8> 1 2,048 12 17 59,392
regex_program BitwiseOperationLookupAir<8> 0 65,536 3 8 2 655,360
regex_program BitwiseOperationLookupAir<8> 1 65,536 3 8 2 655,360
regex_program KeccakVmAir 0 1 532 3,163 3,695
regex_program KeccakVmAir 1 32 532 3,163 118,240
regex_program MemoryMerkleAir<8> 0 131,072 12 32 5,767,168
regex_program MemoryMerkleAir<8> 1 4,096 12 32 180,224
regex_program PersistentBoundaryAir<8> 0 131,072 8 20 3,670,016
regex_program PersistentBoundaryAir<8> 1 2,048 8 20 57,344
regex_program PhantomAir 0 512 8 6 7,168
regex_program PhantomAir 1 1 8 6 14
regex_program Poseidon2PeripheryAir, 1> 0 16,384 8 300 5,046,272
regex_program Poseidon2PeripheryAir, 1> 1 2,048 8 300 630,784
regex_program ProgramAir 0 131,072 8 10 2,359,296
regex_program ProgramAir 1 131,072 8 10 2,359,296
regex_program RangeTupleCheckerAir<2> 0 524,288 2 8 1 4,718,592
regex_program RangeTupleCheckerAir<2> 1 524,288 2 8 1 4,718,592
regex_program Rv32HintStoreAir 0 16,384 24 32 917,504
regex_program VariableRangeCheckerAir 0 262,144 2 8 1 2,359,296
regex_program VariableRangeCheckerAir 1 262,144 2 8 1 2,359,296
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0 1,048,576 28 36 67,108,864
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 1 524,288 28 36 33,554,432
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0 32,768 24 37 1,998,848
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 1 32,768 24 37 1,998,848
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0 131,072 28 53 10,616,832
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 1 131,072 28 53 10,616,832
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0 262,144 16 26 11,010,048
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 1 131,072 16 26 5,505,024
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0 131,072 20 32 6,815,744
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 1 131,072 20 32 6,815,744
regex_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0 65,536 16 18 2,228,224
regex_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 1 65,536 16 18 2,228,224
regex_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0 131,072 20 28 6,291,456
regex_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 1 65,536 20 28 3,145,728
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 0 1,024 28 35 64,512
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 1 2 28 35 126
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0 1,048,576 28 40 71,303,168
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 1 1,048,576 28 40 71,303,168
regex_program VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> 0 128 40 57 12,416
regex_program VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> 0 256 40 39 20,224
regex_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 0 32,768 28 31 1,933,312
regex_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 1 32,768 28 31 1,933,312
regex_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0 32,768 16 21 1,212,416
regex_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 1 32,768 16 21 1,212,416
regex_program VmConnectorAir 0 2 1 8 4 24
regex_program VmConnectorAir 1 2 1 8 4 24
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 1,874 8,542 209,921,543 6,185 869 1,128 1,238 1,422 1,330 92,686,348 190 483
regex_program 1 1,495 6,705 1,914,103 149,454,692 4,795 606 818 1,129 1,196 875 72,769,025 154 415

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

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow