Skip to content

Latest commit

 

History

History
121 lines (105 loc) · 10.1 KB

ecrecover-4a9d88682e229144ef576a0681f6954ede546bf4.md

File metadata and controls

121 lines (105 loc) · 10.1 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,625 (+15 [+0.6%]) 2,625 (+15 [+0.6%]) 2,625 (+15 [+0.6%]) 2,625
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 (+1 [+0.6%]) 171 (+1 [+0.6%]) 171 (+1 [+0.6%]) 171 (+1 [+0.6%]) 171
trace_gen_time_ms (+1 [+0.4%]) 276 (+1 [+0.4%]) 276 (+1 [+0.4%]) 276 (+1 [+0.4%]) 276
stark_prove_excluding_trace_time_ms (+13 [+0.6%]) 2,178 (+13 [+0.6%]) 2,178 (+13 [+0.6%]) 2,178 (+13 [+0.6%]) 2,178
main_trace_commit_time_ms (-1 [-0.2%]) 399 (-1 [-0.2%]) 399 (-1 [-0.2%]) 399 (-1 [-0.2%]) 399
generate_perm_trace_time_ms (-4 [-8.9%]) 41 (-4 [-8.9%]) 41 (-4 [-8.9%]) 41 (-4 [-8.9%]) 41
perm_trace_commit_time_ms 528 528 528 528
quotient_poly_compute_time_ms (-2 [-0.8%]) 253 (-2 [-0.8%]) 253 (-2 [-0.8%]) 253 (-2 [-0.8%]) 253
quotient_poly_commit_time_ms (+13 [+4.3%]) 312 (+13 [+4.3%]) 312 (+13 [+4.3%]) 312 (+13 [+4.3%]) 312
pcs_opening_time_ms (+5 [+0.8%]) 641 (+5 [+0.8%]) 641 (+5 [+0.8%]) 641 (+5 [+0.8%]) 641
Detailed Metrics
group num_segments keygen_time_ms commit_exe_time_ms
ecrecover_program 1 1,148 13
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 276 2,625 285,169 56,159,799 2,178 253 312 528 641 399 15,074,875 41 171

Commit: https://github.com/openvm-org/openvm/commit/4a9d88682e229144ef576a0681f6954ede546bf4

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow