Skip to content

Latest commit

 

History

History
119 lines (103 loc) · 9.87 KB

ecrecover-8ce871d5d0a29a489fe51cdec8d5f0a04b5c8890.md

File metadata and controls

119 lines (103 loc) · 9.87 KB
Summary Proof Time (s) Parallel Proof Time (s)
Total 2.58 2.58
ecrecover_program 2.58 2.58
ecrecover_program
metric avg sum max min
total_proof_time_ms 2,583 2,583 2,583 2,583
main_cells_used (-17264 [-0.1%]) 15,075,033 (-17264 [-0.1%]) 15,075,033 (-17264 [-0.1%]) 15,075,033 (-17264 [-0.1%]) 15,075,033
total_cycles 285,401 285,401 285,401 285,401
execute_time_ms (-11 [-7.1%]) 144 (-11 [-7.1%]) 144 (-11 [-7.1%]) 144 (-11 [-7.1%]) 144
trace_gen_time_ms (-7 [-2.6%]) 258 (-7 [-2.6%]) 258 (-7 [-2.6%]) 258 (-7 [-2.6%]) 258
stark_prove_excluding_trace_time_ms (+18 [+0.8%]) 2,181 (+18 [+0.8%]) 2,181 (+18 [+0.8%]) 2,181 (+18 [+0.8%]) 2,181
main_trace_commit_time_ms (+1 [+0.3%]) 388 (+1 [+0.3%]) 388 (+1 [+0.3%]) 388 (+1 [+0.3%]) 388
generate_perm_trace_time_ms (+2 [+5.3%]) 40 (+2 [+5.3%]) 40 (+2 [+5.3%]) 40 (+2 [+5.3%]) 40
perm_trace_commit_time_ms (+3 [+0.6%]) 528 (+3 [+0.6%]) 528 (+3 [+0.6%]) 528 (+3 [+0.6%]) 528
quotient_poly_compute_time_ms (+5 [+1.7%]) 302 (+5 [+1.7%]) 302 (+5 [+1.7%]) 302 (+5 [+1.7%]) 302
quotient_poly_commit_time_ms (+1 [+0.3%]) 299 (+1 [+0.3%]) 299 (+1 [+0.3%]) 299 (+1 [+0.3%]) 299
pcs_opening_time_ms (+5 [+0.8%]) 621 (+5 [+0.8%]) 621 (+5 [+0.8%]) 621 (+5 [+0.8%]) 621
Detailed Metrics
group num_segments keygen_time_ms commit_exe_time_ms
ecrecover_program 1 1,018 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>, EcDoubleCoreAir> 2 411 513
ecrecover_program VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, FieldExpressionCoreAir> 2 156 189
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>, EcDoubleCoreAir> 0 2,048 828 543 2,807,808
ecrecover_program VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, FieldExpressionCoreAir> 0 32 316 261 18,464
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 258 2,583 285,401 56,172,159 2,181 302 299 528 621 388 15,075,033 40 144

Commit: https://github.com/openvm-org/openvm/commit/8ce871d5d0a29a489fe51cdec8d5f0a04b5c8890

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow