-
Notifications
You must be signed in to change notification settings - Fork 30
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
189429d
commit 502f727
Showing
6 changed files
with
644 additions
and
12 deletions.
There are no files selected for viewing
177 changes: 177 additions & 0 deletions
177
benchmarks/ecrecover-cbc2414a9ee22150471242afb6ebf2b9e6333c67.md
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,177 @@ | ||
| | Summary | Proof Time (s) | Parallel Proof Time (s) | | ||
| |:---|---:|---:| | ||
| | Total | 13.72 | 13.72 | | ||
| | ecrecover_program | 2.49 | 2.49 | | ||
| | leaf | 11.23 | 11.23 | | ||
|
|
||
|
|
||
| | ecrecover_program ||||| | ||
| |:---|---:|---:|---:|---:| | ||
| |metric|avg|sum|max|min| | ||
| | `total_proof_time_ms ` | 2,491 | 2,491 | 2,491 | 2,491 | | ||
| | `main_cells_used ` | 15,055,723 | 15,055,723 | 15,055,723 | 15,055,723 | | ||
| | `total_cycles ` | 284,567 | 284,567 | 284,567 | 284,567 | | ||
| | `execute_time_ms ` | 147 | 147 | 147 | 147 | | ||
| | `trace_gen_time_ms ` | 175 | 175 | 175 | 175 | | ||
| | `stark_prove_excluding_trace_time_ms` | 2,169 | 2,169 | 2,169 | 2,169 | | ||
| | `main_trace_commit_time_ms` | 377 | 377 | 377 | 377 | | ||
| | `generate_perm_trace_time_ms` | 33 | 33 | 33 | 33 | | ||
| | `perm_trace_commit_time_ms` | 354 | 354 | 354 | 354 | | ||
| | `quotient_poly_compute_time_ms` | 233 | 233 | 233 | 233 | | ||
| | `quotient_poly_commit_time_ms` | 505 | 505 | 505 | 505 | | ||
| | `pcs_opening_time_ms ` | 655 | 655 | 655 | 655 | | ||
|
|
||
| | leaf ||||| | ||
| |:---|---:|---:|---:|---:| | ||
| |metric|avg|sum|max|min| | ||
| | `total_proof_time_ms ` | 11,230 | 11,230 | 11,230 | 11,230 | | ||
| | `main_cells_used ` | 117,320,676 | 117,320,676 | 117,320,676 | 117,320,676 | | ||
| | `total_cycles ` | 1,603,984 | 1,603,984 | 1,603,984 | 1,603,984 | | ||
| | `execute_time_ms ` | 565 | 565 | 565 | 565 | | ||
| | `trace_gen_time_ms ` | 1,541 | 1,541 | 1,541 | 1,541 | | ||
| | `stark_prove_excluding_trace_time_ms` | 9,124 | 9,124 | 9,124 | 9,124 | | ||
| | `main_trace_commit_time_ms` | 1,890 | 1,890 | 1,890 | 1,890 | | ||
| | `generate_perm_trace_time_ms` | 265 | 265 | 265 | 265 | | ||
| | `perm_trace_commit_time_ms` | 2,010 | 2,010 | 2,010 | 2,010 | | ||
| | `quotient_poly_compute_time_ms` | 1,441 | 1,441 | 1,441 | 1,441 | | ||
| | `quotient_poly_commit_time_ms` | 1,679 | 1,679 | 1,679 | 1,679 | | ||
| | `pcs_opening_time_ms ` | 1,835 | 1,835 | 1,835 | 1,835 | | ||
|
|
||
|
|
||
|
|
||
| <details> | ||
| <summary>Detailed Metrics</summary> | ||
|
|
||
| | group | num_segments | keygen_time_ms | commit_exe_time_ms | | ||
| | --- | --- | --- | --- | | ||
| | ecrecover_program | 1 | 1,158 | 12 | | ||
|
|
||
| | group | air_name | quotient_deg | interactions | constraints | | ||
| | --- | --- | --- | --- | --- | | ||
| | ecrecover_program | AccessAdapterAir<16> | 4 | 5 | 11 | | ||
| | ecrecover_program | AccessAdapterAir<2> | 4 | 5 | 11 | | ||
| | ecrecover_program | AccessAdapterAir<32> | 4 | 5 | 11 | | ||
| | ecrecover_program | AccessAdapterAir<4> | 4 | 5 | 11 | | ||
| | ecrecover_program | AccessAdapterAir<64> | 4 | 5 | 11 | | ||
| | ecrecover_program | AccessAdapterAir<8> | 4 | 5 | 11 | | ||
| | ecrecover_program | BitwiseOperationLookupAir<8> | 2 | 2 | 4 | | ||
| | ecrecover_program | KeccakVmAir | 4 | 321 | 4,380 | | ||
| | ecrecover_program | MemoryMerkleAir<8> | 4 | 4 | 38 | | ||
| | ecrecover_program | PersistentBoundaryAir<8> | 4 | 3 | 5 | | ||
| | ecrecover_program | PhantomAir | 4 | 3 | 4 | | ||
| | ecrecover_program | Poseidon2PeripheryAir<BabyBearParameters>, 1> | 2 | 1 | 286 | | ||
| | ecrecover_program | ProgramAir | 1 | 1 | 4 | | ||
| | ecrecover_program | RangeTupleCheckerAir<2> | 1 | 1 | 4 | | ||
| | ecrecover_program | Rv32HintStoreAir | 4 | 19 | 21 | | ||
| | ecrecover_program | VariableRangeCheckerAir | 1 | 1 | 4 | | ||
| | ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 4 | 19 | 30 | | ||
| | ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 4 | 17 | 35 | | ||
| | ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 4 | 23 | 84 | | ||
| | ecrecover_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 4 | 11 | 17 | | ||
| | ecrecover_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 4 | 13 | 32 | | ||
| | ecrecover_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 4 | 10 | 15 | | ||
| | ecrecover_program | VmAirWrapper<Rv32IsEqualModAdapterAir<2, 1, 32, 32>, ModularIsEqualCoreAir<32, 4, 8> | 4 | 25 | 217 | | ||
| | ecrecover_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 4 | 16 | 16 | | ||
| | ecrecover_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 4 | 18 | 21 | | ||
| | ecrecover_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 4 | 17 | 27 | | ||
| | ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 4 | 25 | 72 | | ||
| | ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 4 | 24 | 23 | | ||
| | ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 4 | 19 | 13 | | ||
| | ecrecover_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 4 | 11 | 12 | | ||
| | ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<1, 2, 2, 32, 32>, FieldExpressionCoreAir> | 4 | 411 | 378 | | ||
| | ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, FieldExpressionCoreAir> | 4 | 156 | 150 | | ||
| | ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 2, 2, 32, 32>, FieldExpressionCoreAir> | 4 | 422 | 351 | | ||
| | ecrecover_program | VmConnectorAir | 4 | 3 | 8 | | ||
| | leaf | AccessAdapterAir<2> | 4 | 5 | 11 | | ||
| | leaf | AccessAdapterAir<4> | 4 | 5 | 11 | | ||
| | leaf | AccessAdapterAir<8> | 4 | 5 | 11 | | ||
| | leaf | FriReducedOpeningAir | 4 | 39 | 60 | | ||
| | leaf | NativePoseidon2Air<BabyBearParameters>, 1> | 4 | 136 | 530 | | ||
| | leaf | PhantomAir | 4 | 3 | 4 | | ||
| | leaf | ProgramAir | 1 | 1 | 4 | | ||
| | leaf | VariableRangeCheckerAir | 1 | 1 | 4 | | ||
| | leaf | VmAirWrapper<AluNativeAdapterAir, FieldArithmeticCoreAir> | 4 | 15 | 23 | | ||
| | leaf | VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> | 4 | 11 | 22 | | ||
| | leaf | VmAirWrapper<JalNativeAdapterAir, JalCoreAir> | 4 | 7 | 6 | | ||
| | leaf | VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> | 4 | 11 | 23 | | ||
| | leaf | VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> | 4 | 15 | 16 | | ||
| | leaf | VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> | 4 | 15 | 16 | | ||
| | leaf | VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> | 4 | 15 | 23 | | ||
| | leaf | VmConnectorAir | 4 | 3 | 8 | | ||
| | leaf | VolatileBoundaryAir | 4 | 4 | 16 | | ||
|
|
||
| | group | air_name | idx | rows | prep_cols | perm_cols | main_cols | cells | | ||
| | --- | --- | --- | --- | --- | --- | --- | --- | | ||
| | leaf | AccessAdapterAir<2> | 0 | 1,048,576 | | 12 | 11 | 24,117,248 | | ||
| | leaf | AccessAdapterAir<4> | 0 | 524,288 | | 12 | 13 | 13,107,200 | | ||
| | leaf | AccessAdapterAir<8> | 0 | 512 | | 12 | 17 | 14,848 | | ||
| | leaf | FriReducedOpeningAir | 0 | 1,048,576 | | 44 | 27 | 74,448,896 | | ||
| | leaf | NativePoseidon2Air<BabyBearParameters>, 1> | 0 | 131,072 | | 160 | 399 | 73,269,248 | | ||
| | leaf | PhantomAir | 0 | 8,192 | | 8 | 6 | 114,688 | | ||
| | leaf | ProgramAir | 0 | 1,048,576 | | 8 | 10 | 18,874,368 | | ||
| | leaf | VariableRangeCheckerAir | 0 | 262,144 | 2 | 8 | 1 | 2,359,296 | | ||
| | leaf | VmAirWrapper<AluNativeAdapterAir, FieldArithmeticCoreAir> | 0 | 1,048,576 | | 20 | 29 | 51,380,224 | | ||
| | leaf | VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> | 0 | 262,144 | | 16 | 23 | 10,223,616 | | ||
| | leaf | VmAirWrapper<JalNativeAdapterAir, JalCoreAir> | 0 | 16,384 | | 12 | 9 | 344,064 | | ||
| | leaf | VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> | 0 | 64 | | 16 | 23 | 2,496 | | ||
| | leaf | VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> | 0 | 524,288 | | 24 | 22 | 24,117,248 | | ||
| | leaf | VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> | 0 | 131,072 | | 24 | 31 | 7,208,960 | | ||
| | leaf | VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> | 0 | 262,144 | | 20 | 38 | 15,204,352 | | ||
| | leaf | VmConnectorAir | 0 | 2 | 1 | 8 | 4 | 24 | | ||
| | leaf | VolatileBoundaryAir | 0 | 1,048,576 | | 8 | 11 | 19,922,944 | | ||
|
|
||
| | group | air_name | segment | rows | prep_cols | perm_cols | main_cols | cells | | ||
| | --- | --- | --- | --- | --- | --- | --- | --- | | ||
| | ecrecover_program | AccessAdapterAir<16> | 0 | 16,384 | | 12 | 25 | 606,208 | | ||
| | ecrecover_program | AccessAdapterAir<2> | 0 | 256 | | 12 | 11 | 5,888 | | ||
| | ecrecover_program | AccessAdapterAir<32> | 0 | 8,192 | | 12 | 41 | 434,176 | | ||
| | ecrecover_program | AccessAdapterAir<4> | 0 | 128 | | 12 | 13 | 3,200 | | ||
| | ecrecover_program | AccessAdapterAir<8> | 0 | 32,768 | | 12 | 17 | 950,272 | | ||
| | ecrecover_program | BitwiseOperationLookupAir<8> | 0 | 65,536 | 3 | 8 | 2 | 655,360 | | ||
| | ecrecover_program | KeccakVmAir | 0 | 128 | | 532 | 3,163 | 472,960 | | ||
| | ecrecover_program | MemoryMerkleAir<8> | 0 | 4,096 | | 12 | 32 | 180,224 | | ||
| | ecrecover_program | PersistentBoundaryAir<8> | 0 | 4,096 | | 8 | 20 | 114,688 | | ||
| | ecrecover_program | PhantomAir | 0 | 64 | | 8 | 6 | 896 | | ||
| | ecrecover_program | Poseidon2PeripheryAir<BabyBearParameters>, 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 | Rv32HintStoreAir | 0 | 256 | | 24 | 32 | 14,336 | | ||
| | ecrecover_program | VariableRangeCheckerAir | 0 | 262,144 | 2 | 8 | 1 | 2,359,296 | | ||
| | ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 0 | 131,072 | | 28 | 36 | 8,388,608 | | ||
| | ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 0 | 2,048 | | 24 | 37 | 124,928 | | ||
| | ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 0 | 16,384 | | 28 | 53 | 1,327,104 | | ||
| | ecrecover_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 0 | 16,384 | | 16 | 26 | 688,128 | | ||
| | ecrecover_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 0 | 32,768 | | 20 | 32 | 1,703,936 | | ||
| | ecrecover_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 0 | 8,192 | | 16 | 18 | 278,528 | | ||
| | ecrecover_program | VmAirWrapper<Rv32IsEqualModAdapterAir<2, 1, 32, 32>, ModularIsEqualCoreAir<32, 4, 8> | 0 | 4,096 | | 32 | 166 | 811,008 | | ||
| | ecrecover_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 0 | 8,192 | | 20 | 28 | 393,216 | | ||
| | ecrecover_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 0 | 4,096 | | 28 | 35 | 258,048 | | ||
| | ecrecover_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 0 | 131,072 | | 28 | 40 | 8,912,896 | | ||
| | ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 0 | 8 | | 40 | 39 | 632 | | ||
| | ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 0 | 4,096 | | 28 | 31 | 241,664 | | ||
| | ecrecover_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 0 | 4,096 | | 16 | 21 | 151,552 | | ||
| | ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<1, 2, 2, 32, 32>, FieldExpressionCoreAir> | 0 | 2,048 | | 416 | 543 | 1,964,032 | | ||
| | ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, FieldExpressionCoreAir> | 0 | 32 | | 160 | 261 | 13,472 | | ||
| | ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 2, 2, 32, 32>, FieldExpressionCoreAir> | 0 | 1,024 | | 428 | 619 | 1,072,128 | | ||
| | ecrecover_program | VmConnectorAir | 0 | 2 | 1 | 8 | 4 | 24 | | ||
|
|
||
| | group | idx | 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 | | ||
| | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | ||
| | leaf | 0 | 1,541 | 11,230 | 1,603,984 | 334,709,720 | 9,124 | 1,441 | 1,679 | 2,010 | 1,835 | 1,890 | 117,320,676 | 265 | 565 | | ||
|
|
||
| | 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 | 175 | 2,491 | 284,567 | 38,417,467 | 2,169 | 233 | 505 | 354 | 655 | 377 | 15,055,723 | 33 | 147 | | ||
|
|
||
| </details> | ||
|
|
||
|
|
||
| Commit: https://github.com/openvm-org/openvm/commit/cbc2414a9ee22150471242afb6ebf2b9e6333c67 | ||
|
|
||
| Max Segment Length: 1048476 | ||
|
|
||
| Instance Type: 64cpu-linux-arm64 | ||
|
|
||
| Memory Allocator: mimalloc | ||
|
|
||
| [Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/13235117983) |
Oops, something went wrong.