Skip to content

Commit

Permalink
Update benchmark result at benchmarks-pr/1150/individual/ecrecover-f3…
Browse files Browse the repository at this point in the history
…9ed940639af89efe21beddcf70e68c135c0200.md
  • Loading branch information
github-actions[bot] committed Dec 31, 2024
1 parent 85fa5ad commit 2bdc2dd
Showing 1 changed file with 108 additions and 0 deletions.
Original file line number Diff line number Diff line change
@@ -0,0 +1,108 @@
| group | fri.log_blowup | total_cells_used | total_cycles | total_proof_time_ms |
| --- | --- | --- | --- | --- |
| ecrecover_program | <div style='text-align: right'>2</div> | <div style='text-align: right'>15,230,037</div> | <div style='text-align: right'>290,016</div> | <span style="color: red">(+7.0 [+0.3%])</span> <div style='text-align: right'>2,381.0</div> |


<details>
<summary>Detailed Metrics</summary>

| commit_exe_time_ms | fri.log_blowup | keygen_time_ms |
| --- | --- | --- |
| <span style="color: green">(-2.0 [-22.2%])</span> <div style='text-align: right'>7.0</div> | <div style='text-align: right'>2</div> | <span style="color: green">(-3.0 [-0.3%])</span> <div style='text-align: right'>1,191.0</div> |

| air_name | constraints | interactions | quotient_deg |
| --- | --- | --- | --- |
| ProgramAir | <div style='text-align: right'>4</div> | <div style='text-align: right'>1</div> | <div style='text-align: right'>1</div> |
| VmConnectorAir | <div style='text-align: right'>9</div> | <div style='text-align: right'>3</div> | <div style='text-align: right'>2</div> |
| PersistentBoundaryAir<8> | <div style='text-align: right'>6</div> | <div style='text-align: right'>3</div> | <div style='text-align: right'>2</div> |
| MemoryMerkleAir<8> | <div style='text-align: right'>40</div> | <div style='text-align: right'>4</div> | <div style='text-align: right'>2</div> |
| AccessAdapterAir<2> | <div style='text-align: right'>14</div> | <div style='text-align: right'>5</div> | <div style='text-align: right'>2</div> |
| AccessAdapterAir<4> | <div style='text-align: right'>14</div> | <div style='text-align: right'>5</div> | <div style='text-align: right'>2</div> |
| AccessAdapterAir<8> | <div style='text-align: right'>14</div> | <div style='text-align: right'>5</div> | <div style='text-align: right'>2</div> |
| AccessAdapterAir<16> | <div style='text-align: right'>14</div> | <div style='text-align: right'>5</div> | <div style='text-align: right'>2</div> |
| AccessAdapterAir<32> | <div style='text-align: right'>14</div> | <div style='text-align: right'>5</div> | <div style='text-align: right'>2</div> |
| AccessAdapterAir<64> | <div style='text-align: right'>14</div> | <div style='text-align: right'>5</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32VecHeapAdapterAir<1, 2, 2, 32, 32>, FieldExpressionCoreAir> | <div style='text-align: right'>449</div> | <div style='text-align: right'>411</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32VecHeapAdapterAir<2, 2, 2, 32, 32>, FieldExpressionCoreAir> | <div style='text-align: right'>456</div> | <div style='text-align: right'>422</div> | <div style='text-align: right'>2</div> |
| KeccakVmAir | <div style='text-align: right'>4,571</div> | <div style='text-align: right'>321</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32IsEqualModAdapterAir<2, 1, 32, 32>, ModularIsEqualCoreAir<32, 4, 8> | <div style='text-align: right'>223</div> | <div style='text-align: right'>25</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularMulDivCoreAir> | <div style='text-align: right'>188</div> | <div style='text-align: right'>156</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularAddSubCoreAir> | <div style='text-align: right'>126</div> | <div style='text-align: right'>94</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | <div style='text-align: right'>17</div> | <div style='text-align: right'>15</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | <div style='text-align: right'>88</div> | <div style='text-align: right'>25</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | <div style='text-align: right'>38</div> | <div style='text-align: right'>24</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | <div style='text-align: right'>26</div> | <div style='text-align: right'>19</div> | <div style='text-align: right'>2</div> |
| RangeTupleCheckerAir<2> | <div style='text-align: right'>4</div> | <div style='text-align: right'>1</div> | <div style='text-align: right'>1</div> |
| VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | <div style='text-align: right'>15</div> | <div style='text-align: right'>11</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | <div style='text-align: right'>20</div> | <div style='text-align: right'>16</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | <div style='text-align: right'>22</div> | <div style='text-align: right'>10</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | <div style='text-align: right'>41</div> | <div style='text-align: right'>13</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | <div style='text-align: right'>25</div> | <div style='text-align: right'>11</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | <div style='text-align: right'>33</div> | <div style='text-align: right'>18</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | <div style='text-align: right'>38</div> | <div style='text-align: right'>17</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | <div style='text-align: right'>90</div> | <div style='text-align: right'>23</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | <div style='text-align: right'>39</div> | <div style='text-align: right'>17</div> | <div style='text-align: right'>2</div> |
| VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | <div style='text-align: right'>43</div> | <div style='text-align: right'>19</div> | <div style='text-align: right'>2</div> |
| BitwiseOperationLookupAir<8> | <div style='text-align: right'>4</div> | <div style='text-align: right'>2</div> | <div style='text-align: right'>2</div> |
| PhantomAir | <div style='text-align: right'>5</div> | <div style='text-align: right'>3</div> | <div style='text-align: right'>2</div> |
| Poseidon2PeripheryAir<BabyBearParameters>, 1> | <div style='text-align: right'>286</div> | <div style='text-align: right'>1</div> | <div style='text-align: right'>2</div> |
| VariableRangeCheckerAir | <div style='text-align: right'>4</div> | <div style='text-align: right'>1</div> | <div style='text-align: right'>1</div> |

| group | fri.log_blowup | num_segments | total_cells_used | total_cycles | total_proof_time_ms |
| --- | --- | --- | --- | --- | --- |
| ecrecover_program | <div style='text-align: right'>2</div> | <div style='text-align: right'>1</div> | <div style='text-align: right'>15,230,037</div> | <div style='text-align: right'>290,016</div> | <span style="color: red">(+7.0 [+0.3%])</span> <div style='text-align: right'>2,381.0</div> |

| group | segment | execute_time_ms | generate_perm_trace_time_ms | main_trace_commit_time_ms | pcs_opening_time_ms | perm_trace_commit_time_ms | quotient_poly_commit_time_ms | quotient_poly_compute_time_ms | stark_prove_excluding_trace_time_ms | total_cells | total_cells_used | total_cycles | trace_gen_time_ms |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| ecrecover_program | 0 | <span style="color: green">(-7.0 [-1.4%])</span> <div style='text-align: right'>479.0</div> | <span style="color: red">(+3.0 [+7.3%])</span> <div style='text-align: right'>44.0</div> | <span style="color: red">(+7.0 [+1.8%])</span> <div style='text-align: right'>407.0</div> | <span style="color: green">(-2.0 [-0.2%])</span> <div style='text-align: right'>813.0</div> | <span style="color: green">(-1.0 [-0.2%])</span> <div style='text-align: right'>527.0</div> | <span style="color: green">(-7.0 [-2.2%])</span> <div style='text-align: right'>305.0</div> | <span style="color: red">(+7.0 [+2.5%])</span> <div style='text-align: right'>282.0</div> | <span style="color: red">(+7.0 [+0.3%])</span> <div style='text-align: right'>2,381.0</div> | <div style='text-align: right'>55,907,135</div> | <div style='text-align: right'>15,230,037</div> | <div style='text-align: right'>290,016</div> | <span style="color: green">(-5.0 [-6.0%])</span> <div style='text-align: right'>79.0</div> |

| group | air_name | segment | cells | main_cols | perm_cols | prep_cols | rows |
| --- | --- | --- | --- | --- | --- | --- | --- |
| ecrecover_program | ProgramAir | 0 | <div style='text-align: right'>294,912</div> | <div style='text-align: right'>10</div> | <div style='text-align: right'>8</div> | | <div style='text-align: right'>16,384</div> |
| ecrecover_program | VmConnectorAir | 0 | <div style='text-align: right'>32</div> | <div style='text-align: right'>4</div> | <div style='text-align: right'>12</div> | <div style='text-align: right'>1</div> | <div style='text-align: right'>2</div> |
| ecrecover_program | PersistentBoundaryAir<8> | 0 | <div style='text-align: right'>131,072</div> | <div style='text-align: right'>20</div> | <div style='text-align: right'>12</div> | | <div style='text-align: right'>4,096</div> |
| ecrecover_program | MemoryMerkleAir<8> | 0 | <div style='text-align: right'>212,992</div> | <div style='text-align: right'>32</div> | <div style='text-align: right'>20</div> | | <div style='text-align: right'>4,096</div> |
| ecrecover_program | AccessAdapterAir<2> | 0 | <div style='text-align: right'>8,960</div> | <div style='text-align: right'>11</div> | <div style='text-align: right'>24</div> | | <div style='text-align: right'>256</div> |
| ecrecover_program | AccessAdapterAir<4> | 0 | <div style='text-align: right'>4,736</div> | <div style='text-align: right'>13</div> | <div style='text-align: right'>24</div> | | <div style='text-align: right'>128</div> |
| ecrecover_program | AccessAdapterAir<8> | 0 | <div style='text-align: right'>1,343,488</div> | <div style='text-align: right'>17</div> | <div style='text-align: right'>24</div> | | <div style='text-align: right'>32,768</div> |
| ecrecover_program | AccessAdapterAir<16> | 0 | <div style='text-align: right'>802,816</div> | <div style='text-align: right'>25</div> | <div style='text-align: right'>24</div> | | <div style='text-align: right'>16,384</div> |
| ecrecover_program | AccessAdapterAir<32> | 0 | <div style='text-align: right'>532,480</div> | <div style='text-align: right'>41</div> | <div style='text-align: right'>24</div> | | <div style='text-align: right'>8,192</div> |
| ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<1, 2, 2, 32, 32>, FieldExpressionCoreAir> | 0 | <div style='text-align: right'>2,807,808</div> | <div style='text-align: right'>543</div> | <div style='text-align: right'>828</div> | | <div style='text-align: right'>2,048</div> |
| ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 2, 2, 32, 32>, FieldExpressionCoreAir> | 0 | <div style='text-align: right'>1,502,208</div> | <div style='text-align: right'>619</div> | <div style='text-align: right'>848</div> | | <div style='text-align: right'>1,024</div> |
| ecrecover_program | KeccakVmAir | 0 | <div style='text-align: right'>569,856</div> | <div style='text-align: right'>3,164</div> | <div style='text-align: right'>1,288</div> | | <div style='text-align: right'>128</div> |
| ecrecover_program | VmAirWrapper<Rv32IsEqualModAdapterAir<2, 1, 32, 32>, ModularIsEqualCoreAir<32, 4, 8> | 0 | <div style='text-align: right'>909,312</div> | <div style='text-align: right'>166</div> | <div style='text-align: right'>56</div> | | <div style='text-align: right'>4,096</div> |
| ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularMulDivCoreAir> | 0 | <div style='text-align: right'>9,232</div> | <div style='text-align: right'>261</div> | <div style='text-align: right'>316</div> | | <div style='text-align: right'>16</div> |
| ecrecover_program | VmAirWrapper<Rv32VecHeapAdapterAir<2, 1, 1, 32, 32>, ModularAddSubCoreAir> | 0 | <div style='text-align: right'>3,128</div> | <div style='text-align: right'>199</div> | <div style='text-align: right'>192</div> | | <div style='text-align: right'>8</div> |
| ecrecover_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 0 | <div style='text-align: right'>15,872</div> | <div style='text-align: right'>26</div> | <div style='text-align: right'>36</div> | | <div style='text-align: right'>256</div> |
| ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 0 | <div style='text-align: right'>1,288</div> | <div style='text-align: right'>57</div> | <div style='text-align: right'>104</div> | | <div style='text-align: right'>8</div> |
| ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 0 | <div style='text-align: right'>1,112</div> | <div style='text-align: right'>39</div> | <div style='text-align: right'>100</div> | | <div style='text-align: right'>8</div> |
| ecrecover_program | VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 0 | <div style='text-align: right'>454,656</div> | <div style='text-align: right'>31</div> | <div style='text-align: right'>80</div> | | <div style='text-align: right'>4,096</div> |
| ecrecover_program | RangeTupleCheckerAir<2> | 0 | <div style='text-align: right'>4,718,592</div> | <div style='text-align: right'>1</div> | <div style='text-align: right'>8</div> | <div style='text-align: right'>2</div> | <div style='text-align: right'>524,288</div> |
| ecrecover_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 0 | <div style='text-align: right'>200,704</div> | <div style='text-align: right'>21</div> | <div style='text-align: right'>28</div> | | <div style='text-align: right'>4,096</div> |
| ecrecover_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 0 | <div style='text-align: right'>524,288</div> | <div style='text-align: right'>28</div> | <div style='text-align: right'>36</div> | | <div style='text-align: right'>8,192</div> |
| ecrecover_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 0 | <div style='text-align: right'>253,952</div> | <div style='text-align: right'>18</div> | <div style='text-align: right'>44</div> | | <div style='text-align: right'>4,096</div> |
| ecrecover_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 0 | <div style='text-align: right'>2,883,584</div> | <div style='text-align: right'>32</div> | <div style='text-align: right'>56</div> | | <div style='text-align: right'>32,768</div> |
| ecrecover_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 0 | <div style='text-align: right'>1,212,416</div> | <div style='text-align: right'>26</div> | <div style='text-align: right'>48</div> | | <div style='text-align: right'>16,384</div> |
| ecrecover_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 0 | <div style='text-align: right'>454,656</div> | <div style='text-align: right'>35</div> | <div style='text-align: right'>76</div> | | <div style='text-align: right'>4,096</div> |
| ecrecover_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 0 | <div style='text-align: right'>14,680,064</div> | <div style='text-align: right'>40</div> | <div style='text-align: right'>72</div> | | <div style='text-align: right'>131,072</div> |
| ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 0 | <div style='text-align: right'>1,720,320</div> | <div style='text-align: right'>53</div> | <div style='text-align: right'>52</div> | | <div style='text-align: right'>16,384</div> |
| ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 0 | <div style='text-align: right'>157,696</div> | <div style='text-align: right'>37</div> | <div style='text-align: right'>40</div> | | <div style='text-align: right'>2,048</div> |
| ecrecover_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 0 | <div style='text-align: right'>15,204,352</div> | <div style='text-align: right'>36</div> | <div style='text-align: right'>80</div> | | <div style='text-align: right'>131,072</div> |
| ecrecover_program | BitwiseOperationLookupAir<8> | 0 | <div style='text-align: right'>655,360</div> | <div style='text-align: right'>2</div> | <div style='text-align: right'>8</div> | <div style='text-align: right'>3</div> | <div style='text-align: right'>65,536</div> |
| ecrecover_program | PhantomAir | 0 | <div style='text-align: right'>1,152</div> | <div style='text-align: right'>6</div> | <div style='text-align: right'>12</div> | | <div style='text-align: right'>64</div> |
| ecrecover_program | Poseidon2PeripheryAir<BabyBearParameters>, 1> | 0 | <div style='text-align: right'>1,261,568</div> | <div style='text-align: right'>300</div> | <div style='text-align: right'>8</div> | | <div style='text-align: right'>4,096</div> |
| ecrecover_program | VariableRangeCheckerAir | 0 | <div style='text-align: right'>2,359,296</div> | <div style='text-align: right'>1</div> | <div style='text-align: right'>8</div> | <div style='text-align: right'>2</div> | <div style='text-align: right'>262,144</div> |

</details>



Commit: https://github.com/openvm-org/openvm/commit/f39ed940639af89efe21beddcf70e68c135c0200

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

[Benchmark Workflow](https://github.com/openvm-org/openvm/actions/runs/12563989666)

0 comments on commit 2bdc2dd

Please sign in to comment.