Commits on Jun 25, 2024

1. Add bignum_{sqr,mul}_p521_neon …

   This adds `bignum_{sqr,mul}_p521_neon` and their proofs.
   
   The new subroutine specs are added to specification.txt, and test as well as benchmark are updated.
   
   Benchmark results on GV2 are:
   
   ```
   bignum_mul_p521                 :   135.1 ns each (var  0.2%, corr -0.01) =    7404184 ops/sec
   bignum_mul_p521_neon            :   115.5 ns each (var  0.3%, corr  0.00) =    8660108 ops/sec
   bignum_sqr_p521                 :   108.9 ns each (var  0.2%, corr  0.08) =    9184994 ops/sec
   bignum_sqr_p521_neon            :    78.7 ns each (var  0.3%, corr  0.06) =   12708368 ops/sec
   ```

   

   aqjune-aws committed Jun 25, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 02df8e4
   • Browse repository at this point

   Copy the full SHA

   02df8e4 View commit details

   Browse the repository at this point in the history