Skip to content

Latest commit

 

History

History
121 lines (105 loc) · 10.3 KB

ecrecover-1618343217a31c0849b8a4f7dcab3f43a722b66e.md

File metadata and controls

121 lines (105 loc) · 10.3 KB
Summary Proof Time (s) Parallel Proof Time (s)
Total (-0 [-0.9%]) 2.61 (-0 [-0.9%]) 2.61
ecrecover_program (-0 [-0.9%]) 2.61 (-0 [-0.9%]) 2.61
ecrecover_program
metric avg sum max min
total_proof_time_ms (-23 [-0.9%]) 2,606 (-23 [-0.9%]) 2,606 (-23 [-0.9%]) 2,606 (-23 [-0.9%]) 2,606
main_cells_used 15,092,297 15,092,297 15,092,297 15,092,297
total_cycles 285,401 285,401 285,401 285,401
execute_time_ms (-1 [-0.7%]) 147 (-1 [-0.7%]) 147 (-1 [-0.7%]) 147 (-1 [-0.7%]) 147
trace_gen_time_ms (-5 [-1.9%]) 264 (-5 [-1.9%]) 264 (-5 [-1.9%]) 264 (-5 [-1.9%]) 264
stark_prove_excluding_trace_time_ms (-17 [-0.8%]) 2,195 (-17 [-0.8%]) 2,195 (-17 [-0.8%]) 2,195 (-17 [-0.8%]) 2,195
main_trace_commit_time_ms (-2 [-0.5%]) 391 (-2 [-0.5%]) 391 (-2 [-0.5%]) 391 (-2 [-0.5%]) 391
generate_perm_trace_time_ms (+2 [+5.0%]) 42 (+2 [+5.0%]) 42 (+2 [+5.0%]) 42 (+2 [+5.0%]) 42
perm_trace_commit_time_ms (+4 [+0.8%]) 533 (+4 [+0.8%]) 533 (+4 [+0.8%]) 533 (+4 [+0.8%]) 533
quotient_poly_compute_time_ms (-15 [-5.0%]) 287 (-15 [-5.0%]) 287 (-15 [-5.0%]) 287 (-15 [-5.0%]) 287
quotient_poly_commit_time_ms (-4 [-1.3%]) 302 (-4 [-1.3%]) 302 (-4 [-1.3%]) 302 (-4 [-1.3%]) 302
pcs_opening_time_ms (-2 [-0.3%]) 638 (-2 [-0.3%]) 638 (-2 [-0.3%]) 638 (-2 [-0.3%]) 638
Detailed Metrics
group num_segments keygen_time_ms commit_exe_time_ms
ecrecover_program 1 999 12
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>, 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>, EcDoubleCoreAir> 0 2,048 828 543 2,807,808
ecrecover_program VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularAddSubCoreAir> 0 16 192 199 6,256
ecrecover_program VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularMulDivCoreAir> 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 264 2,606 285,401 56,172,159 2,195 287 302 533 638 391 15,092,297 42 147

Commit: https://github.com/openvm-org/openvm/commit/1618343217a31c0849b8a4f7dcab3f43a722b66e

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow