Skip to content

Latest commit

 

History

History
121 lines (105 loc) · 10.3 KB

ecrecover-99b0046f30fe8f7b589beb4b685c2cdeb2406354.md

File metadata and controls

121 lines (105 loc) · 10.3 KB
Summary Proof Time (s) Parallel Proof Time (s)
Total (-0 [-0.6%]) 2.63 (-0 [-0.6%]) 2.63
ecrecover_program (-0 [-0.6%]) 2.63 (-0 [-0.6%]) 2.63
ecrecover_program
metric avg sum max min
total_proof_time_ms (-15 [-0.6%]) 2,632 (-15 [-0.6%]) 2,632 (-15 [-0.6%]) 2,632 (-15 [-0.6%]) 2,632
main_cells_used 15,074,875 15,074,875 15,074,875 15,074,875
total_cycles 285,169 285,169 285,169 285,169
execute_time_ms (+2 [+1.2%]) 171 (+2 [+1.2%]) 171 (+2 [+1.2%]) 171 (+2 [+1.2%]) 171
trace_gen_time_ms (-5 [-1.8%]) 273 (-5 [-1.8%]) 273 (-5 [-1.8%]) 273 (-5 [-1.8%]) 273
stark_prove_excluding_trace_time_ms (-12 [-0.5%]) 2,188 (-12 [-0.5%]) 2,188 (-12 [-0.5%]) 2,188 (-12 [-0.5%]) 2,188
main_trace_commit_time_ms (-5 [-1.3%]) 392 (-5 [-1.3%]) 392 (-5 [-1.3%]) 392 (-5 [-1.3%]) 392
generate_perm_trace_time_ms (-1 [-2.3%]) 43 (-1 [-2.3%]) 43 (-1 [-2.3%]) 43 (-1 [-2.3%]) 43
perm_trace_commit_time_ms (+2 [+0.4%]) 525 (+2 [+0.4%]) 525 (+2 [+0.4%]) 525 (+2 [+0.4%]) 525
quotient_poly_compute_time_ms (-6 [-2.0%]) 293 (-6 [-2.0%]) 293 (-6 [-2.0%]) 293 (-6 [-2.0%]) 293
quotient_poly_commit_time_ms (-7 [-2.3%]) 298 (-7 [-2.3%]) 298 (-7 [-2.3%]) 298 (-7 [-2.3%]) 298
pcs_opening_time_ms (+5 [+0.8%]) 633 (+5 [+0.8%]) 633 (+5 [+0.8%]) 633 (+5 [+0.8%]) 633
Detailed Metrics
group num_segments keygen_time_ms commit_exe_time_ms
ecrecover_program 1 1,158 11
group air_name quotient_deg interactions constraints
ecrecover_program AccessAdapterAir<16> 2 5 14
ecrecover_program AccessAdapterAir<2> 2 5 14
ecrecover_program AccessAdapterAir<32> 2 5 14
ecrecover_program AccessAdapterAir<4> 2 5 14
ecrecover_program AccessAdapterAir<64> 2 5 14
ecrecover_program AccessAdapterAir<8> 2 5 14
ecrecover_program BitwiseOperationLookupAir<8> 2 2 4
ecrecover_program KeccakVmAir 2 321 4,571
ecrecover_program MemoryMerkleAir<8> 2 4 40
ecrecover_program PersistentBoundaryAir<8> 2 3 6
ecrecover_program PhantomAir 2 3 5
ecrecover_program Poseidon2PeripheryAir, 1> 2 1 286
ecrecover_program ProgramAir 1 1 4
ecrecover_program RangeTupleCheckerAir<2> 1 1 4
ecrecover_program VariableRangeCheckerAir 1 1 4
ecrecover_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 2 19 43
ecrecover_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 2 17 39
ecrecover_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 2 23 90
ecrecover_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 2 11 25
ecrecover_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 2 13 41
ecrecover_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 2 10 22
ecrecover_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 2 15 17
ecrecover_program VmAirWrapper<Rv32IsEqualModAdapterAir<2, 1, 32, 32>, ModularIsEqualCoreAir<32, 4, 8> 2 25 223
ecrecover_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 2 16 20
ecrecover_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 2 18 33
ecrecover_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 2 17 38
ecrecover_program VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> 2 25 88
ecrecover_program VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> 2 24 38
ecrecover_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 2 19 26
ecrecover_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 2 11 15
ecrecover_program VmAirWrapper<Rv32VecHeapAdapterAir<1, 2, 2, 32, 32>, FieldExpressionCoreAir> 2 411 449
ecrecover_program VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularAddSubCoreAir> 2 94 126
ecrecover_program VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularMulDivCoreAir> 2 156 188
ecrecover_program VmAirWrapper<Rv32VecHeapAdapterAir<2, 2, 2, 32, 32>, FieldExpressionCoreAir> 2 422 456
ecrecover_program VmConnectorAir 2 3 9
group air_name segment rows prep_cols perm_cols main_cols cells
ecrecover_program AccessAdapterAir<16> 0 16,384 24 25 802,816
ecrecover_program AccessAdapterAir<2> 0 256 24 11 8,960
ecrecover_program AccessAdapterAir<32> 0 8,192 24 41 532,480
ecrecover_program AccessAdapterAir<4> 0 128 24 13 4,736
ecrecover_program AccessAdapterAir<8> 0 32,768 24 17 1,343,488
ecrecover_program BitwiseOperationLookupAir<8> 0 65,536 3 8 2 655,360
ecrecover_program KeccakVmAir 0 128 1,288 3,164 569,856
ecrecover_program MemoryMerkleAir<8> 0 4,096 20 32 212,992
ecrecover_program PersistentBoundaryAir<8> 0 4,096 12 20 131,072
ecrecover_program PhantomAir 0 64 12 6 1,152
ecrecover_program Poseidon2PeripheryAir, 1> 0 4,096 8 300 1,261,568
ecrecover_program ProgramAir 0 16,384 8 10 294,912
ecrecover_program RangeTupleCheckerAir<2> 0 524,288 2 8 1 4,718,592
ecrecover_program VariableRangeCheckerAir 0 262,144 2 8 1 2,359,296
ecrecover_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0 131,072 80 36 15,204,352
ecrecover_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0 2,048 40 37 157,696
ecrecover_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0 16,384 52 53 1,720,320
ecrecover_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0 16,384 48 26 1,212,416
ecrecover_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0 32,768 56 32 2,883,584
ecrecover_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0 8,192 44 18 507,904
ecrecover_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 0 256 36 26 15,872
ecrecover_program VmAirWrapper<Rv32IsEqualModAdapterAir<2, 1, 32, 32>, ModularIsEqualCoreAir<32, 4, 8> 0 4,096 56 166 909,312
ecrecover_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0 8,192 36 28 524,288
ecrecover_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 0 4,096 76 35 454,656
ecrecover_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0 131,072 72 40 14,680,064
ecrecover_program VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> 0 8 100 39 1,112
ecrecover_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 0 4,096 80 31 454,656
ecrecover_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0 4,096 28 21 200,704
ecrecover_program VmAirWrapper<Rv32VecHeapAdapterAir<1, 2, 2, 32, 32>, FieldExpressionCoreAir> 0 2,048 828 543 2,807,808
ecrecover_program VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularAddSubCoreAir> 0 8 192 199 3,128
ecrecover_program VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularMulDivCoreAir> 0 16 316 261 9,232
ecrecover_program VmAirWrapper<Rv32VecHeapAdapterAir<2, 2, 2, 32, 32>, FieldExpressionCoreAir> 0 1,024 848 619 1,502,208
ecrecover_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
ecrecover_program 0 273 2,632 285,169 56,159,799 2,188 293 298 525 633 392 15,074,875 43 171

Commit: https://github.com/openvm-org/openvm/commit/99b0046f30fe8f7b589beb4b685c2cdeb2406354

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow