Line data    Source code

       1             : #include <stdint.h>
       2             : #include <s2n-bignum.h>
       3             : 
       4             : /* s2n-bignum implementation of Keccak-f1600.  sha3_keccak_f1600 is a
       5             :    formally-verified hand-written x86-64/AArch64 assembly routine from
       6             :    https://github.com/awslabs/s2n-bignum (Apache-2.0 / ISC / MIT-0).
       7             :    It takes the 25-element state in-place and the 24 round constants. */
       8             : 
       9             : static inline void
      10     7201281 : fd_keccak256_core( ulong * state ) {
      11     7201281 :   sha3_keccak_f1600( (uint64_t *)state, (const uint64_t *)fd_keccak256_rc );
      12     7201281 : }