diff --git a/benchmarks/ecrecover-3735d974d730da8c71a5a62390fef2fe7e05e58b.md b/benchmarks/ecrecover-3735d974d730da8c71a5a62390fef2fe7e05e58b.md new file mode 100644 index 000000000..3f064d9e5 --- /dev/null +++ b/benchmarks/ecrecover-3735d974d730da8c71a5a62390fef2fe7e05e58b.md @@ -0,0 +1,179 @@ +| Summary | Proof Time (s) | Parallel Proof Time (s) | +|:---|---:|---:| +| Total | 45.43 | 45.43 | +| ecrecover_program | 2.75 | 2.75 | +| leaf | 42.68 | 42.68 | + + +| ecrecover_program ||||| +|:---|---:|---:|---:|---:| +|metric|avg|sum|max|min| +| `total_proof_time_ms ` | 2,748 | 2,748 | 2,748 | 2,748 | +| `main_cells_used ` | 15,230,037 | 15,230,037 | 15,230,037 | 15,230,037 | +| `total_cycles ` | 290,016 | 290,016 | 290,016 | 290,016 | +| `execute_time_ms ` | 305 | 305 | 305 | 305 | +| `trace_gen_time_ms ` | 73 | 73 | 73 | 73 | +| `stark_prove_excluding_trace_time_ms` | 2,370 | 2,370 | 2,370 | 2,370 | +| `main_trace_commit_time_ms` | 404 | 404 | 404 | 404 | +| `generate_perm_trace_time_ms` | 42 | 42 | 42 | 42 | +| `perm_trace_commit_time_ms` | 528 | 528 | 528 | 528 | +| `quotient_poly_compute_time_ms` | 275 | 275 | 275 | 275 | +| `quotient_poly_commit_time_ms` | 309 | 309 | 309 | 309 | +| `pcs_opening_time_ms ` | 809 | 809 | 809 | 809 | + +| leaf ||||| +|:---|---:|---:|---:|---:| +|metric|avg|sum|max|min| +| `total_proof_time_ms ` | 42,682 | 42,682 | 42,682 | 42,682 | +| `main_cells_used ` | 445,625,548 | 445,625,548 | 445,625,548 | 445,625,548 | +| `total_cycles ` | 9,777,653 | 9,777,653 | 9,777,653 | 9,777,653 | +| `execute_time_ms ` | 5,574 | 5,574 | 5,574 | 5,574 | +| `trace_gen_time_ms ` | 2,139 | 2,139 | 2,139 | 2,139 | +| `stark_prove_excluding_trace_time_ms` | 34,969 | 34,969 | 34,969 | 34,969 | +| `main_trace_commit_time_ms` | 6,353 | 6,353 | 6,353 | 6,353 | +| `generate_perm_trace_time_ms` | 775 | 775 | 775 | 775 | +| `perm_trace_commit_time_ms` | 6,218 | 6,218 | 6,218 | 6,218 | +| `quotient_poly_compute_time_ms` | 8,113 | 8,113 | 8,113 | 8,113 | +| `quotient_poly_commit_time_ms` | 5,084 | 5,084 | 5,084 | 5,084 | +| `pcs_opening_time_ms ` | 8,423 | 8,423 | 8,423 | 8,423 | + + + +
+Detailed Metrics + +| group | num_segments | num_children | keygen_time_ms | fri.log_blowup | commit_exe_time_ms | +| --- | --- | --- | --- | --- | --- | +| ecrecover_program | 1 | | 1,157 | 2 | 8 | +| leaf | | 1 | | 2 | | + +| 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 | 2 | 19 | 43 | +| ecrecover_program | VmAirWrapper | 2 | 17 | 39 | +| ecrecover_program | VmAirWrapper | 2 | 23 | 90 | +| ecrecover_program | VmAirWrapper | 2 | 11 | 25 | +| ecrecover_program | VmAirWrapper | 2 | 13 | 41 | +| ecrecover_program | VmAirWrapper | 2 | 10 | 22 | +| ecrecover_program | VmAirWrapper | 2 | 15 | 17 | +| ecrecover_program | VmAirWrapper, ModularIsEqualCoreAir<32, 4, 8> | 2 | 25 | 223 | +| ecrecover_program | VmAirWrapper | 2 | 16 | 20 | +| ecrecover_program | VmAirWrapper | 2 | 18 | 33 | +| ecrecover_program | VmAirWrapper | 2 | 17 | 38 | +| ecrecover_program | VmAirWrapper | 2 | 25 | 88 | +| ecrecover_program | VmAirWrapper | 2 | 24 | 38 | +| ecrecover_program | VmAirWrapper | 2 | 19 | 26 | +| ecrecover_program | VmAirWrapper | 2 | 11 | 15 | +| ecrecover_program | VmAirWrapper, FieldExpressionCoreAir> | 2 | 411 | 449 | +| ecrecover_program | VmAirWrapper, ModularAddSubCoreAir> | 2 | 94 | 126 | +| ecrecover_program | VmAirWrapper, ModularMulDivCoreAir> | 2 | 156 | 188 | +| ecrecover_program | VmAirWrapper, FieldExpressionCoreAir> | 2 | 422 | 456 | +| ecrecover_program | VmConnectorAir | 2 | 3 | 9 | +| leaf | AccessAdapterAir<2> | 4 | 5 | 12 | +| leaf | AccessAdapterAir<4> | 4 | 5 | 12 | +| leaf | AccessAdapterAir<8> | 4 | 5 | 12 | +| leaf | FriReducedOpeningAir | 4 | 35 | 59 | +| leaf | NativePoseidon2Air, 1> | 4 | 31 | 302 | +| leaf | PhantomAir | 4 | 3 | 4 | +| leaf | ProgramAir | 1 | 1 | 4 | +| leaf | VariableRangeCheckerAir | 1 | 1 | 4 | +| leaf | VmAirWrapper | 2 | 11 | 23 | +| leaf | VmAirWrapper | 4 | 7 | 6 | +| leaf | VmAirWrapper, PublicValuesCoreAir> | 4 | 11 | 23 | +| leaf | VmAirWrapper, FieldArithmeticCoreAir> | 4 | 15 | 23 | +| leaf | VmAirWrapper, NativeLoadStoreCoreAir<1> | 4 | 19 | 31 | +| leaf | VmAirWrapper, 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 | 2,097,152 | | 16 | 11 | 56,623,104 | +| leaf | AccessAdapterAir<4> | 0 | 1,048,576 | | 16 | 13 | 30,408,704 | +| leaf | AccessAdapterAir<8> | 0 | 262,144 | | 16 | 17 | 8,650,752 | +| leaf | FriReducedOpeningAir | 0 | 1,048,576 | | 76 | 64 | 146,800,640 | +| leaf | NativePoseidon2Air, 1> | 0 | 131,072 | | 36 | 348 | 50,331,648 | +| leaf | PhantomAir | 0 | 32,768 | | 8 | 6 | 458,752 | +| leaf | ProgramAir | 0 | 1,048,576 | | 8 | 10 | 18,874,368 | +| leaf | VariableRangeCheckerAir | 0 | 262,144 | 2 | 8 | 1 | 2,359,296 | +| leaf | VmAirWrapper | 0 | 4,194,304 | | 28 | 23 | 213,909,504 | +| leaf | VmAirWrapper | 0 | 131,072 | | 12 | 10 | 2,883,584 | +| leaf | VmAirWrapper, PublicValuesCoreAir> | 0 | 64 | | 16 | 23 | 2,496 | +| leaf | VmAirWrapper, FieldArithmeticCoreAir> | 0 | 4,194,304 | | 20 | 30 | 209,715,200 | +| leaf | VmAirWrapper, NativeLoadStoreCoreAir<1> | 0 | 4,194,304 | | 24 | 41 | 272,629,760 | +| leaf | VmAirWrapper, FieldExtensionCoreAir> | 0 | 262,144 | | 20 | 40 | 15,728,640 | +| leaf | VmConnectorAir | 0 | 2 | 1 | 8 | 4 | 24 | +| leaf | VolatileBoundaryAir | 0 | 2,097,152 | | 8 | 11 | 39,845,888 | + +| 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 | 0 | 131,072 | | 80 | 36 | 15,204,352 | +| ecrecover_program | VmAirWrapper | 0 | 2,048 | | 40 | 37 | 157,696 | +| ecrecover_program | VmAirWrapper | 0 | 16,384 | | 52 | 53 | 1,720,320 | +| ecrecover_program | VmAirWrapper | 0 | 16,384 | | 48 | 26 | 1,212,416 | +| ecrecover_program | VmAirWrapper | 0 | 32,768 | | 56 | 32 | 2,883,584 | +| ecrecover_program | VmAirWrapper | 0 | 4,096 | | 44 | 18 | 253,952 | +| ecrecover_program | VmAirWrapper | 0 | 256 | | 36 | 26 | 15,872 | +| ecrecover_program | VmAirWrapper, ModularIsEqualCoreAir<32, 4, 8> | 0 | 4,096 | | 56 | 166 | 909,312 | +| ecrecover_program | VmAirWrapper | 0 | 8,192 | | 36 | 28 | 524,288 | +| ecrecover_program | VmAirWrapper | 0 | 4,096 | | 76 | 35 | 454,656 | +| ecrecover_program | VmAirWrapper | 0 | 131,072 | | 72 | 40 | 14,680,064 | +| ecrecover_program | VmAirWrapper | 0 | 8 | | 104 | 57 | 1,288 | +| ecrecover_program | VmAirWrapper | 0 | 8 | | 100 | 39 | 1,112 | +| ecrecover_program | VmAirWrapper | 0 | 4,096 | | 80 | 31 | 454,656 | +| ecrecover_program | VmAirWrapper | 0 | 4,096 | | 28 | 21 | 200,704 | +| ecrecover_program | VmAirWrapper, FieldExpressionCoreAir> | 0 | 2,048 | | 828 | 543 | 2,807,808 | +| ecrecover_program | VmAirWrapper, ModularAddSubCoreAir> | 0 | 8 | | 192 | 199 | 3,128 | +| ecrecover_program | VmAirWrapper, ModularMulDivCoreAir> | 0 | 16 | | 316 | 261 | 9,232 | +| ecrecover_program | VmAirWrapper, FieldExpressionCoreAir> | 0 | 1,024 | | 848 | 619 | 1,502,208 | +| ecrecover_program | VmConnectorAir | 0 | 2 | 1 | 12 | 4 | 32 | + +| 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 | 2,139 | 42,682 | 9,777,653 | 1,069,222,360 | 34,969 | 8,113 | 5,084 | 6,218 | 8,423 | 6,353 | 445,625,548 | 775 | 5,574 | + +| 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 | 73 | 2,748 | 290,016 | 55,907,135 | 2,370 | 275 | 309 | 528 | 809 | 404 | 15,230,037 | 42 | 305 | + +
+ + +Commit: https://github.com/openvm-org/openvm/commit/3735d974d730da8c71a5a62390fef2fe7e05e58b + +Max Segment Length: 1048476 + +Instance Type: 64cpu-linux-arm64 + +Memory Allocator: mimalloc + +[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12613264190) diff --git a/benchmarks/fibonacci-3735d974d730da8c71a5a62390fef2fe7e05e58b.md b/benchmarks/fibonacci-3735d974d730da8c71a5a62390fef2fe7e05e58b.md new file mode 100644 index 000000000..3904e4c7b --- /dev/null +++ b/benchmarks/fibonacci-3735d974d730da8c71a5a62390fef2fe7e05e58b.md @@ -0,0 +1,159 @@ +| Summary | Proof Time (s) | Parallel Proof Time (s) | +|:---|---:|---:| +| Total | 22.86 | 22.86 | +| fibonacci_program | 6.51 | 6.51 | +| leaf | 16.35 | 16.35 | + + +| fibonacci_program ||||| +|:---|---:|---:|---:|---:| +|metric|avg|sum|max|min| +| `total_proof_time_ms ` | 6,509 | 6,509 | 6,509 | 6,509 | +| `main_cells_used ` | 51,505,102 | 51,505,102 | 51,505,102 | 51,505,102 | +| `total_cycles ` | 1,500,137 | 1,500,137 | 1,500,137 | 1,500,137 | +| `execute_time_ms ` | 758 | 758 | 758 | 758 | +| `trace_gen_time_ms ` | 253 | 253 | 253 | 253 | +| `stark_prove_excluding_trace_time_ms` | 5,498 | 5,498 | 5,498 | 5,498 | +| `main_trace_commit_time_ms` | 860 | 860 | 860 | 860 | +| `generate_perm_trace_time_ms` | 179 | 179 | 179 | 179 | +| `perm_trace_commit_time_ms` | 1,725 | 1,725 | 1,725 | 1,725 | +| `quotient_poly_compute_time_ms` | 853 | 853 | 853 | 853 | +| `quotient_poly_commit_time_ms` | 498 | 498 | 498 | 498 | +| `pcs_opening_time_ms ` | 1,382 | 1,382 | 1,382 | 1,382 | + +| leaf ||||| +|:---|---:|---:|---:|---:| +|metric|avg|sum|max|min| +| `total_proof_time_ms ` | 16,346 | 16,346 | 16,346 | 16,346 | +| `main_cells_used ` | 128,839,596 | 128,839,596 | 128,839,596 | 128,839,596 | +| `total_cycles ` | 3,170,702 | 3,170,702 | 3,170,702 | 3,170,702 | +| `execute_time_ms ` | 1,802 | 1,802 | 1,802 | 1,802 | +| `trace_gen_time_ms ` | 687 | 687 | 687 | 687 | +| `stark_prove_excluding_trace_time_ms` | 13,857 | 13,857 | 13,857 | 13,857 | +| `main_trace_commit_time_ms` | 2,475 | 2,475 | 2,475 | 2,475 | +| `generate_perm_trace_time_ms` | 332 | 332 | 332 | 332 | +| `perm_trace_commit_time_ms` | 2,149 | 2,149 | 2,149 | 2,149 | +| `quotient_poly_compute_time_ms` | 3,377 | 3,377 | 3,377 | 3,377 | +| `quotient_poly_commit_time_ms` | 2,169 | 2,169 | 2,169 | 2,169 | +| `pcs_opening_time_ms ` | 3,353 | 3,353 | 3,353 | 3,353 | + + + +
+Detailed Metrics + +| group | num_segments | num_children | keygen_time_ms | fri.log_blowup | commit_exe_time_ms | +| --- | --- | --- | --- | --- | --- | +| fibonacci_program | 1 | | 356 | 2 | 6 | +| leaf | | 1 | | 2 | | + +| group | air_name | quotient_deg | interactions | constraints | +| --- | --- | --- | --- | --- | +| fibonacci_program | AccessAdapterAir<16> | 2 | 5 | 14 | +| fibonacci_program | AccessAdapterAir<2> | 2 | 5 | 14 | +| fibonacci_program | AccessAdapterAir<32> | 2 | 5 | 14 | +| fibonacci_program | AccessAdapterAir<4> | 2 | 5 | 14 | +| fibonacci_program | AccessAdapterAir<64> | 2 | 5 | 14 | +| fibonacci_program | AccessAdapterAir<8> | 2 | 5 | 14 | +| fibonacci_program | BitwiseOperationLookupAir<8> | 2 | 2 | 4 | +| fibonacci_program | MemoryMerkleAir<8> | 2 | 4 | 40 | +| fibonacci_program | PersistentBoundaryAir<8> | 2 | 3 | 6 | +| fibonacci_program | PhantomAir | 2 | 3 | 5 | +| fibonacci_program | Poseidon2PeripheryAir, 1> | 2 | 1 | 286 | +| fibonacci_program | ProgramAir | 1 | 1 | 4 | +| fibonacci_program | RangeTupleCheckerAir<2> | 1 | 1 | 4 | +| fibonacci_program | VariableRangeCheckerAir | 1 | 1 | 4 | +| fibonacci_program | VmAirWrapper | 2 | 19 | 43 | +| fibonacci_program | VmAirWrapper | 2 | 17 | 39 | +| fibonacci_program | VmAirWrapper | 2 | 23 | 90 | +| fibonacci_program | VmAirWrapper | 2 | 11 | 25 | +| fibonacci_program | VmAirWrapper | 2 | 13 | 41 | +| fibonacci_program | VmAirWrapper | 2 | 10 | 22 | +| fibonacci_program | VmAirWrapper | 2 | 15 | 17 | +| fibonacci_program | VmAirWrapper | 2 | 16 | 20 | +| fibonacci_program | VmAirWrapper | 2 | 18 | 33 | +| fibonacci_program | VmAirWrapper | 2 | 17 | 38 | +| fibonacci_program | VmAirWrapper | 2 | 25 | 88 | +| fibonacci_program | VmAirWrapper | 2 | 24 | 38 | +| fibonacci_program | VmAirWrapper | 2 | 19 | 26 | +| fibonacci_program | VmAirWrapper | 2 | 11 | 15 | +| fibonacci_program | VmConnectorAir | 2 | 3 | 9 | +| leaf | AccessAdapterAir<2> | 4 | 5 | 12 | +| leaf | AccessAdapterAir<4> | 4 | 5 | 12 | +| leaf | AccessAdapterAir<8> | 4 | 5 | 12 | +| leaf | FriReducedOpeningAir | 4 | 35 | 59 | +| leaf | NativePoseidon2Air, 1> | 4 | 31 | 302 | +| leaf | PhantomAir | 4 | 3 | 4 | +| leaf | ProgramAir | 1 | 1 | 4 | +| leaf | VariableRangeCheckerAir | 1 | 1 | 4 | +| leaf | VmAirWrapper | 2 | 11 | 23 | +| leaf | VmAirWrapper | 4 | 7 | 6 | +| leaf | VmAirWrapper, PublicValuesCoreAir> | 4 | 11 | 23 | +| leaf | VmAirWrapper, FieldArithmeticCoreAir> | 4 | 15 | 23 | +| leaf | VmAirWrapper, NativeLoadStoreCoreAir<1> | 4 | 19 | 31 | +| leaf | VmAirWrapper, 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 | 524,288 | | 16 | 11 | 14,155,776 | +| leaf | AccessAdapterAir<4> | 0 | 262,144 | | 16 | 13 | 7,602,176 | +| leaf | AccessAdapterAir<8> | 0 | 65,536 | | 16 | 17 | 2,162,688 | +| leaf | FriReducedOpeningAir | 0 | 131,072 | | 76 | 64 | 18,350,080 | +| leaf | NativePoseidon2Air, 1> | 0 | 32,768 | | 36 | 348 | 12,582,912 | +| leaf | PhantomAir | 0 | 32,768 | | 8 | 6 | 458,752 | +| leaf | ProgramAir | 0 | 131,072 | | 8 | 10 | 2,359,296 | +| leaf | VariableRangeCheckerAir | 0 | 262,144 | 2 | 8 | 1 | 2,359,296 | +| leaf | VmAirWrapper | 0 | 1,048,576 | | 28 | 23 | 53,477,376 | +| leaf | VmAirWrapper | 0 | 131,072 | | 12 | 10 | 2,883,584 | +| leaf | VmAirWrapper, PublicValuesCoreAir> | 0 | 64 | | 16 | 23 | 2,496 | +| leaf | VmAirWrapper, FieldArithmeticCoreAir> | 0 | 2,097,152 | | 20 | 30 | 104,857,600 | +| leaf | VmAirWrapper, NativeLoadStoreCoreAir<1> | 0 | 2,097,152 | | 24 | 41 | 136,314,880 | +| leaf | VmAirWrapper, FieldExtensionCoreAir> | 0 | 32,768 | | 20 | 40 | 1,966,080 | +| leaf | VmConnectorAir | 0 | 2 | 1 | 8 | 4 | 24 | +| leaf | VolatileBoundaryAir | 0 | 524,288 | | 8 | 11 | 9,961,472 | + +| group | air_name | segment | rows | prep_cols | perm_cols | main_cols | cells | +| --- | --- | --- | --- | --- | --- | --- | --- | +| fibonacci_program | AccessAdapterAir<8> | 0 | 64 | | 24 | 17 | 2,624 | +| fibonacci_program | BitwiseOperationLookupAir<8> | 0 | 65,536 | 3 | 8 | 2 | 655,360 | +| fibonacci_program | MemoryMerkleAir<8> | 0 | 512 | | 20 | 32 | 26,624 | +| fibonacci_program | PersistentBoundaryAir<8> | 0 | 64 | | 12 | 20 | 2,048 | +| fibonacci_program | PhantomAir | 0 | 2 | | 12 | 6 | 36 | +| fibonacci_program | Poseidon2PeripheryAir, 1> | 0 | 256 | | 8 | 300 | 78,848 | +| fibonacci_program | ProgramAir | 0 | 4,096 | | 8 | 10 | 73,728 | +| fibonacci_program | RangeTupleCheckerAir<2> | 0 | 524,288 | 2 | 8 | 1 | 4,718,592 | +| fibonacci_program | VariableRangeCheckerAir | 0 | 262,144 | 2 | 8 | 1 | 2,359,296 | +| fibonacci_program | VmAirWrapper | 0 | 1,048,576 | | 80 | 36 | 121,634,816 | +| fibonacci_program | VmAirWrapper | 0 | 524,288 | | 40 | 37 | 40,370,176 | +| fibonacci_program | VmAirWrapper | 0 | 2 | | 52 | 53 | 210 | +| fibonacci_program | VmAirWrapper | 0 | 262,144 | | 48 | 26 | 19,398,656 | +| fibonacci_program | VmAirWrapper | 0 | 8 | | 56 | 32 | 704 | +| fibonacci_program | VmAirWrapper | 0 | 131,072 | | 44 | 18 | 8,126,464 | +| fibonacci_program | VmAirWrapper | 0 | 4 | | 36 | 26 | 248 | +| fibonacci_program | VmAirWrapper | 0 | 16 | | 36 | 28 | 1,024 | +| fibonacci_program | VmAirWrapper | 0 | 32 | | 72 | 40 | 3,584 | +| fibonacci_program | VmAirWrapper | 0 | 16 | | 28 | 21 | 784 | +| fibonacci_program | VmConnectorAir | 0 | 2 | 1 | 12 | 4 | 32 | + +| 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 | 687 | 16,346 | 3,170,702 | 369,494,488 | 13,857 | 3,377 | 2,169 | 2,149 | 3,353 | 2,475 | 128,839,596 | 332 | 1,802 | + +| 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 | +| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | +| fibonacci_program | 0 | 253 | 6,509 | 1,500,137 | 197,453,854 | 5,498 | 853 | 498 | 1,725 | 1,382 | 860 | 51,505,102 | 179 | 758 | + +
+ + +Commit: https://github.com/openvm-org/openvm/commit/3735d974d730da8c71a5a62390fef2fe7e05e58b + +Max Segment Length: 1048476 + +Instance Type: 64cpu-linux-arm64 + +Memory Allocator: mimalloc + +[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12613264190) diff --git a/benchmarks/regex-3735d974d730da8c71a5a62390fef2fe7e05e58b.md b/benchmarks/regex-3735d974d730da8c71a5a62390fef2fe7e05e58b.md new file mode 100644 index 000000000..7e6230502 --- /dev/null +++ b/benchmarks/regex-3735d974d730da8c71a5a62390fef2fe7e05e58b.md @@ -0,0 +1,167 @@ +| Summary | Proof Time (s) | Parallel Proof Time (s) | +|:---|---:|---:| +| Total | 51.44 | 51.44 | +| regex_program | 19.75 | 19.75 | +| leaf | 31.69 | 31.69 | + + +| regex_program ||||| +|:---|---:|---:|---:|---:| +|metric|avg|sum|max|min| +| `total_proof_time_ms ` | 19,753 | 19,753 | 19,753 | 19,753 | +| `main_cells_used ` | 165,028,173 | 165,028,173 | 165,028,173 | 165,028,173 | +| `total_cycles ` | 4,190,904 | 4,190,904 | 4,190,904 | 4,190,904 | +| `execute_time_ms ` | 3,202 | 3,202 | 3,202 | 3,202 | +| `trace_gen_time_ms ` | 744 | 744 | 744 | 744 | +| `stark_prove_excluding_trace_time_ms` | 15,807 | 15,807 | 15,807 | 15,807 | +| `main_trace_commit_time_ms` | 2,444 | 2,444 | 2,444 | 2,444 | +| `generate_perm_trace_time_ms` | 508 | 508 | 508 | 508 | +| `perm_trace_commit_time_ms` | 5,439 | 5,439 | 5,439 | 5,439 | +| `quotient_poly_compute_time_ms` | 2,661 | 2,661 | 2,661 | 2,661 | +| `quotient_poly_commit_time_ms` | 1,269 | 1,269 | 1,269 | 1,269 | +| `pcs_opening_time_ms ` | 3,484 | 3,484 | 3,484 | 3,484 | + +| leaf ||||| +|:---|---:|---:|---:|---:| +|metric|avg|sum|max|min| +| `total_proof_time_ms ` | 31,686 | 31,686 | 31,686 | 31,686 | +| `main_cells_used ` | 291,303,225 | 291,303,225 | 291,303,225 | 291,303,225 | +| `total_cycles ` | 6,524,318 | 6,524,318 | 6,524,318 | 6,524,318 | +| `execute_time_ms ` | 3,868 | 3,868 | 3,868 | 3,868 | +| `trace_gen_time_ms ` | 1,472 | 1,472 | 1,472 | 1,472 | +| `stark_prove_excluding_trace_time_ms` | 26,346 | 26,346 | 26,346 | 26,346 | +| `main_trace_commit_time_ms` | 4,801 | 4,801 | 4,801 | 4,801 | +| `generate_perm_trace_time_ms` | 587 | 587 | 587 | 587 | +| `perm_trace_commit_time_ms` | 4,847 | 4,847 | 4,847 | 4,847 | +| `quotient_poly_compute_time_ms` | 5,355 | 5,355 | 5,355 | 5,355 | +| `quotient_poly_commit_time_ms` | 4,032 | 4,032 | 4,032 | 4,032 | +| `pcs_opening_time_ms ` | 6,722 | 6,722 | 6,722 | 6,722 | + + + +
+Detailed Metrics + +| group | num_segments | num_children | keygen_time_ms | fri.log_blowup | commit_exe_time_ms | +| --- | --- | --- | --- | --- | --- | +| leaf | | 1 | | 2 | | +| regex_program | 1 | | 733 | 2 | 40 | + +| group | air_name | quotient_deg | interactions | constraints | +| --- | --- | --- | --- | --- | +| leaf | AccessAdapterAir<2> | 4 | 5 | 12 | +| leaf | AccessAdapterAir<4> | 4 | 5 | 12 | +| leaf | AccessAdapterAir<8> | 4 | 5 | 12 | +| leaf | FriReducedOpeningAir | 4 | 35 | 59 | +| leaf | NativePoseidon2Air, 1> | 4 | 31 | 302 | +| leaf | PhantomAir | 4 | 3 | 4 | +| leaf | ProgramAir | 1 | 1 | 4 | +| leaf | VariableRangeCheckerAir | 1 | 1 | 4 | +| leaf | VmAirWrapper | 2 | 11 | 23 | +| leaf | VmAirWrapper | 4 | 7 | 6 | +| leaf | VmAirWrapper, PublicValuesCoreAir> | 4 | 11 | 23 | +| leaf | VmAirWrapper, FieldArithmeticCoreAir> | 4 | 15 | 23 | +| leaf | VmAirWrapper, NativeLoadStoreCoreAir<1> | 4 | 19 | 31 | +| leaf | VmAirWrapper, FieldExtensionCoreAir> | 4 | 15 | 23 | +| leaf | VmConnectorAir | 4 | 3 | 8 | +| leaf | VolatileBoundaryAir | 4 | 4 | 16 | +| regex_program | AccessAdapterAir<16> | 2 | 5 | 14 | +| regex_program | AccessAdapterAir<2> | 2 | 5 | 14 | +| regex_program | AccessAdapterAir<32> | 2 | 5 | 14 | +| regex_program | AccessAdapterAir<4> | 2 | 5 | 14 | +| regex_program | AccessAdapterAir<64> | 2 | 5 | 14 | +| regex_program | AccessAdapterAir<8> | 2 | 5 | 14 | +| regex_program | BitwiseOperationLookupAir<8> | 2 | 2 | 4 | +| regex_program | KeccakVmAir | 2 | 321 | 4,571 | +| regex_program | MemoryMerkleAir<8> | 2 | 4 | 40 | +| regex_program | PersistentBoundaryAir<8> | 2 | 3 | 6 | +| regex_program | PhantomAir | 2 | 3 | 5 | +| regex_program | Poseidon2PeripheryAir, 1> | 2 | 1 | 286 | +| regex_program | ProgramAir | 1 | 1 | 4 | +| regex_program | RangeTupleCheckerAir<2> | 1 | 1 | 4 | +| regex_program | VariableRangeCheckerAir | 1 | 1 | 4 | +| regex_program | VmAirWrapper | 2 | 19 | 43 | +| regex_program | VmAirWrapper | 2 | 17 | 39 | +| regex_program | VmAirWrapper | 2 | 23 | 90 | +| regex_program | VmAirWrapper | 2 | 11 | 25 | +| regex_program | VmAirWrapper | 2 | 13 | 41 | +| regex_program | VmAirWrapper | 2 | 10 | 22 | +| regex_program | VmAirWrapper | 2 | 15 | 17 | +| regex_program | VmAirWrapper | 2 | 16 | 20 | +| regex_program | VmAirWrapper | 2 | 18 | 33 | +| regex_program | VmAirWrapper | 2 | 17 | 38 | +| regex_program | VmAirWrapper | 2 | 25 | 88 | +| regex_program | VmAirWrapper | 2 | 24 | 38 | +| regex_program | VmAirWrapper | 2 | 19 | 26 | +| regex_program | VmAirWrapper | 2 | 11 | 15 | +| regex_program | VmConnectorAir | 2 | 3 | 9 | + +| group | air_name | idx | rows | prep_cols | perm_cols | main_cols | cells | +| --- | --- | --- | --- | --- | --- | --- | --- | +| leaf | AccessAdapterAir<2> | 0 | 2,097,152 | | 16 | 11 | 56,623,104 | +| leaf | AccessAdapterAir<4> | 0 | 1,048,576 | | 16 | 13 | 30,408,704 | +| leaf | AccessAdapterAir<8> | 0 | 131,072 | | 16 | 17 | 4,325,376 | +| leaf | FriReducedOpeningAir | 0 | 1,048,576 | | 76 | 64 | 146,800,640 | +| leaf | NativePoseidon2Air, 1> | 0 | 65,536 | | 36 | 348 | 25,165,824 | +| leaf | PhantomAir | 0 | 32,768 | | 8 | 6 | 458,752 | +| leaf | ProgramAir | 0 | 524,288 | | 8 | 10 | 9,437,184 | +| leaf | VariableRangeCheckerAir | 0 | 262,144 | 2 | 8 | 1 | 2,359,296 | +| leaf | VmAirWrapper | 0 | 2,097,152 | | 28 | 23 | 106,954,752 | +| leaf | VmAirWrapper | 0 | 131,072 | | 12 | 10 | 2,883,584 | +| leaf | VmAirWrapper, PublicValuesCoreAir> | 0 | 64 | | 16 | 23 | 2,496 | +| leaf | VmAirWrapper, FieldArithmeticCoreAir> | 0 | 4,194,304 | | 20 | 30 | 209,715,200 | +| leaf | VmAirWrapper, NativeLoadStoreCoreAir<1> | 0 | 2,097,152 | | 24 | 41 | 136,314,880 | +| leaf | VmAirWrapper, FieldExtensionCoreAir> | 0 | 131,072 | | 20 | 40 | 7,864,320 | +| 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 | +| --- | --- | --- | --- | --- | --- | --- | --- | +| regex_program | AccessAdapterAir<2> | 0 | 64 | | 24 | 11 | 2,240 | +| regex_program | AccessAdapterAir<4> | 0 | 32 | | 24 | 13 | 1,184 | +| regex_program | AccessAdapterAir<8> | 0 | 131,072 | | 24 | 17 | 5,373,952 | +| regex_program | BitwiseOperationLookupAir<8> | 0 | 65,536 | 3 | 8 | 2 | 655,360 | +| regex_program | KeccakVmAir | 0 | 32 | | 1,288 | 3,164 | 142,464 | +| regex_program | MemoryMerkleAir<8> | 0 | 131,072 | | 20 | 32 | 6,815,744 | +| regex_program | PersistentBoundaryAir<8> | 0 | 131,072 | | 12 | 20 | 4,194,304 | +| regex_program | PhantomAir | 0 | 512 | | 12 | 6 | 9,216 | +| regex_program | Poseidon2PeripheryAir, 1> | 0 | 16,384 | | 8 | 300 | 5,046,272 | +| regex_program | ProgramAir | 0 | 131,072 | | 8 | 10 | 2,359,296 | +| regex_program | RangeTupleCheckerAir<2> | 0 | 524,288 | 2 | 8 | 1 | 4,718,592 | +| regex_program | VariableRangeCheckerAir | 0 | 262,144 | 2 | 8 | 1 | 2,359,296 | +| regex_program | VmAirWrapper | 0 | 2,097,152 | | 80 | 36 | 243,269,632 | +| regex_program | VmAirWrapper | 0 | 65,536 | | 40 | 37 | 5,046,272 | +| regex_program | VmAirWrapper | 0 | 262,144 | | 52 | 53 | 27,525,120 | +| regex_program | VmAirWrapper | 0 | 524,288 | | 48 | 26 | 38,797,312 | +| regex_program | VmAirWrapper | 0 | 262,144 | | 56 | 32 | 23,068,672 | +| regex_program | VmAirWrapper | 0 | 131,072 | | 44 | 18 | 8,126,464 | +| regex_program | VmAirWrapper | 0 | 16,384 | | 36 | 26 | 1,015,808 | +| regex_program | VmAirWrapper | 0 | 131,072 | | 36 | 28 | 8,388,608 | +| regex_program | VmAirWrapper | 0 | 1,024 | | 76 | 35 | 113,664 | +| regex_program | VmAirWrapper | 0 | 2,097,152 | | 72 | 40 | 234,881,024 | +| regex_program | VmAirWrapper | 0 | 128 | | 104 | 57 | 20,608 | +| regex_program | VmAirWrapper | 0 | 256 | | 100 | 39 | 35,584 | +| regex_program | VmAirWrapper | 0 | 65,536 | | 80 | 31 | 7,274,496 | +| regex_program | VmAirWrapper | 0 | 65,536 | | 28 | 21 | 3,211,264 | +| regex_program | VmConnectorAir | 0 | 2 | 1 | 12 | 4 | 32 | + +| 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,472 | 31,686 | 6,524,318 | 759,237,080 | 26,346 | 5,355 | 4,032 | 4,847 | 6,722 | 4,801 | 291,303,225 | 587 | 3,868 | + +| 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 | +| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | +| regex_program | 0 | 744 | 19,753 | 4,190,904 | 632,452,480 | 15,807 | 2,661 | 1,269 | 5,439 | 3,484 | 2,444 | 165,028,173 | 508 | 3,202 | + +
+ + +Commit: https://github.com/openvm-org/openvm/commit/3735d974d730da8c71a5a62390fef2fe7e05e58b + +Max Segment Length: 1048476 + +Instance Type: 64cpu-linux-arm64 + +Memory Allocator: mimalloc + +[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12613264190) diff --git a/benchmarks/summary.md b/benchmarks/summary.md index 6f1648e2b..4a40a2e94 100644 --- a/benchmarks/summary.md +++ b/benchmarks/summary.md @@ -1,11 +1,11 @@ | group | app.proof_time_ms | app.cycles | app.cells_used | leaf.proof_time_ms | leaf.cycles | leaf.cells_used | | -- | -- | -- | -- | -- | -- | -- | -| [verify_fibair](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/verify_fibair-ac2f61988f68621258fc84ea4589a7db8a85a873.md) | 1,608 | 194,752 | 8,012,822 |- | - | - | -| [fibonacci_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/fibonacci-ac2f61988f68621258fc84ea4589a7db8a85a873.md) | 7,414 | 1,500,137 | 51,505,102 | 18,024 | 3,172,689 | 128,861,566 | -| [regex_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/regex-ac2f61988f68621258fc84ea4589a7db8a85a873.md) | 22,372 | 4,190,904 | 165,028,173 | 35,629 | 6,524,318 | 291,303,225 | -| [ecrecover_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/ecrecover-ac2f61988f68621258fc84ea4589a7db8a85a873.md) | 2,922 | 290,016 | 15,230,037 | 48,735 | 9,777,194 | 445,620,748 | +| [verify_fibair](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/verify_fibair-3735d974d730da8c71a5a62390fef2fe7e05e58b.md) |(+2 [+0.1%]) 1,494 | 194,645 | 8,011,192 |- | - | - | +| [fibonacci_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/fibonacci-3735d974d730da8c71a5a62390fef2fe7e05e58b.md) | 6,509 | 1,500,137 | 51,505,102 | 16,346 | 3,170,702 | 128,839,596 | +| [regex_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/regex-3735d974d730da8c71a5a62390fef2fe7e05e58b.md) | 19,753 | 4,190,904 | 165,028,173 | 31,686 | 6,524,318 | 291,303,225 | +| [ecrecover_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/ecrecover-3735d974d730da8c71a5a62390fef2fe7e05e58b.md) | 2,748 | 290,016 | 15,230,037 | 42,682 | 9,777,653 | 445,625,548 | -Commit: https://github.com/openvm-org/openvm/commit/ac2f61988f68621258fc84ea4589a7db8a85a873 +Commit: https://github.com/openvm-org/openvm/commit/3735d974d730da8c71a5a62390fef2fe7e05e58b -[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12603314410) +[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12613264190) diff --git a/benchmarks/verify_fibair-3735d974d730da8c71a5a62390fef2fe7e05e58b.md b/benchmarks/verify_fibair-3735d974d730da8c71a5a62390fef2fe7e05e58b.md new file mode 100644 index 000000000..584a6647f --- /dev/null +++ b/benchmarks/verify_fibair-3735d974d730da8c71a5a62390fef2fe7e05e58b.md @@ -0,0 +1,85 @@ +| Summary | Proof Time (s) | Parallel Proof Time (s) | +|:---|---:|---:| +| Total | (+0 [+0.1%]) 1.49 | (+0 [+0.1%]) 1.49 | +| verify_fibair | (+0 [+0.1%]) 1.49 | (+0 [+0.1%]) 1.49 | + + +| verify_fibair ||||| +|:---|---:|---:|---:|---:| +|metric|avg|sum|max|min| +| `total_proof_time_ms ` | (+2 [+0.1%]) 1,494 | (+2 [+0.1%]) 1,494 | (+2 [+0.1%]) 1,494 | (+2 [+0.1%]) 1,494 | +| `main_cells_used ` | 8,011,192 | 8,011,192 | 8,011,192 | 8,011,192 | +| `total_cycles ` | 194,645 | 194,645 | 194,645 | 194,645 | +| `execute_time_ms ` | (-3 [-3.7%]) 79 | (-3 [-3.7%]) 79 | (-3 [-3.7%]) 79 | (-3 [-3.7%]) 79 | +| `trace_gen_time_ms ` | (+5 [+10.6%]) 52 | (+5 [+10.6%]) 52 | (+5 [+10.6%]) 52 | (+5 [+10.6%]) 52 | +| `stark_prove_excluding_trace_time_ms` | 1,363 | 1,363 | 1,363 | 1,363 | +| `main_trace_commit_time_ms` | (+9 [+4.3%]) 217 | (+9 [+4.3%]) 217 | (+9 [+4.3%]) 217 | (+9 [+4.3%]) 217 | +| `generate_perm_trace_time_ms` | (-1 [-4.0%]) 24 | (-1 [-4.0%]) 24 | (-1 [-4.0%]) 24 | (-1 [-4.0%]) 24 | +| `perm_trace_commit_time_ms` | (+1 [+0.6%]) 181 | (+1 [+0.6%]) 181 | (+1 [+0.6%]) 181 | (+1 [+0.6%]) 181 | +| `quotient_poly_compute_time_ms` | (-1 [-0.4%]) 244 | (-1 [-0.4%]) 244 | (-1 [-0.4%]) 244 | (-1 [-0.4%]) 244 | +| `quotient_poly_commit_time_ms` | (+6 [+2.5%]) 244 | (+6 [+2.5%]) 244 | (+6 [+2.5%]) 244 | (+6 [+2.5%]) 244 | +| `pcs_opening_time_ms ` | (-13 [-2.8%]) 450 | (-13 [-2.8%]) 450 | (-13 [-2.8%]) 450 | (-13 [-2.8%]) 450 | + + + +
+Detailed Metrics + +| | verify_program_compile_ms | 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 | +| --- | --- | --- | --- | --- | --- | --- | --- | +| | 4 | 32 | 9 | 0 | 1 | 0 | 2 | 5 | + +| air_name | rows | quotient_deg | main_cols | interactions | constraints | cells | +| --- | --- | --- | --- | --- | --- | --- | +| AccessAdapterAir<2> | | 4 | | 5 | 12 | | +| AccessAdapterAir<4> | | 4 | | 5 | 12 | | +| AccessAdapterAir<8> | | 4 | | 5 | 12 | | +| FibonacciAir | 16 | 1 | 2 | | 5 | 32 | +| FriReducedOpeningAir | | 4 | | 35 | 59 | | +| NativePoseidon2Air, 1> | | 4 | | 31 | 302 | | +| PhantomAir | | 4 | | 3 | 4 | | +| ProgramAir | | 1 | | 1 | 4 | | +| VariableRangeCheckerAir | | 1 | | 1 | 4 | | +| VmAirWrapper | | 2 | | 11 | 23 | | +| VmAirWrapper | | 4 | | 7 | 6 | | +| VmAirWrapper, PublicValuesCoreAir> | | 4 | | 11 | 22 | | +| VmAirWrapper, FieldArithmeticCoreAir> | | 4 | | 15 | 23 | | +| VmAirWrapper, NativeLoadStoreCoreAir<1> | | 4 | | 19 | 31 | | +| VmAirWrapper, FieldExtensionCoreAir> | | 4 | | 15 | 23 | | +| VmConnectorAir | | 4 | | 3 | 8 | | +| VolatileBoundaryAir | | 4 | | 4 | 16 | | + +| group | 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 | fri.log_blowup | execute_time_ms | +| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | +| verify_fibair | 52 | 1,494 | 194,645 | 23,304,216 | 1,363 | 244 | 244 | 181 | 450 | 217 | 8,011,192 | 24 | 2 | 79 | + +| group | air_name | rows | prep_cols | perm_cols | main_cols | cells | +| --- | --- | --- | --- | --- | --- | --- | +| verify_fibair | AccessAdapterAir<2> | 32,768 | | 16 | 11 | 884,736 | +| verify_fibair | AccessAdapterAir<4> | 16,384 | | 16 | 13 | 475,136 | +| verify_fibair | AccessAdapterAir<8> | 4,096 | | 16 | 17 | 135,168 | +| verify_fibair | FriReducedOpeningAir | 512 | | 76 | 64 | 71,680 | +| verify_fibair | NativePoseidon2Air, 1> | 2,048 | | 36 | 348 | 786,432 | +| verify_fibair | PhantomAir | 2,048 | | 8 | 6 | 28,672 | +| verify_fibair | ProgramAir | 8,192 | | 8 | 10 | 147,456 | +| verify_fibair | VariableRangeCheckerAir | 262,144 | 2 | 8 | 1 | 2,359,296 | +| verify_fibair | VmAirWrapper | 32,768 | | 28 | 23 | 1,671,168 | +| verify_fibair | VmAirWrapper | 8,192 | | 12 | 10 | 180,224 | +| verify_fibair | VmAirWrapper, FieldArithmeticCoreAir> | 131,072 | | 20 | 30 | 6,553,600 | +| verify_fibair | VmAirWrapper, NativeLoadStoreCoreAir<1> | 131,072 | | 24 | 41 | 8,519,680 | +| verify_fibair | VmAirWrapper, FieldExtensionCoreAir> | 4,096 | | 20 | 40 | 245,760 | +| verify_fibair | VmConnectorAir | 2 | 1 | 8 | 4 | 24 | +| verify_fibair | VolatileBoundaryAir | 65,536 | | 8 | 11 | 1,245,184 | + +
+ + +Commit: https://github.com/openvm-org/openvm/commit/3735d974d730da8c71a5a62390fef2fe7e05e58b + +Max Segment Length: 1048476 + +Instance Type: 64cpu-linux-arm64 + +Memory Allocator: mimalloc + +[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12613264190) diff --git a/index.md b/index.md index 6f1648e2b..4a40a2e94 100644 --- a/index.md +++ b/index.md @@ -1,11 +1,11 @@ | group | app.proof_time_ms | app.cycles | app.cells_used | leaf.proof_time_ms | leaf.cycles | leaf.cells_used | | -- | -- | -- | -- | -- | -- | -- | -| [verify_fibair](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/verify_fibair-ac2f61988f68621258fc84ea4589a7db8a85a873.md) | 1,608 | 194,752 | 8,012,822 |- | - | - | -| [fibonacci_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/fibonacci-ac2f61988f68621258fc84ea4589a7db8a85a873.md) | 7,414 | 1,500,137 | 51,505,102 | 18,024 | 3,172,689 | 128,861,566 | -| [regex_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/regex-ac2f61988f68621258fc84ea4589a7db8a85a873.md) | 22,372 | 4,190,904 | 165,028,173 | 35,629 | 6,524,318 | 291,303,225 | -| [ecrecover_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/ecrecover-ac2f61988f68621258fc84ea4589a7db8a85a873.md) | 2,922 | 290,016 | 15,230,037 | 48,735 | 9,777,194 | 445,620,748 | +| [verify_fibair](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/verify_fibair-3735d974d730da8c71a5a62390fef2fe7e05e58b.md) |(+2 [+0.1%]) 1,494 | 194,645 | 8,011,192 |- | - | - | +| [fibonacci_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/fibonacci-3735d974d730da8c71a5a62390fef2fe7e05e58b.md) | 6,509 | 1,500,137 | 51,505,102 | 16,346 | 3,170,702 | 128,839,596 | +| [regex_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/regex-3735d974d730da8c71a5a62390fef2fe7e05e58b.md) | 19,753 | 4,190,904 | 165,028,173 | 31,686 | 6,524,318 | 291,303,225 | +| [ecrecover_program](https://github.com/openvm-org/openvm/blob/benchmark-results/benchmarks/ecrecover-3735d974d730da8c71a5a62390fef2fe7e05e58b.md) | 2,748 | 290,016 | 15,230,037 | 42,682 | 9,777,653 | 445,625,548 | -Commit: https://github.com/openvm-org/openvm/commit/ac2f61988f68621258fc84ea4589a7db8a85a873 +Commit: https://github.com/openvm-org/openvm/commit/3735d974d730da8c71a5a62390fef2fe7e05e58b -[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12603314410) +[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12613264190)