(19 . 6)(19 . 7)
5
6 3. smg_keccak
7 Word (64 bits) level implementation of the Keccak sponge according to The Keccak Reference v 3.0.
8 NOTE: Keccak rate has its own type (Keccak_Rate) that makes clear the valid range (1 to width of state). Calling Keccak sponge with a bitrate outside the valid range will CORRECTLY cause the execution to abort with a constraint_error.
9 Implemented in Ada.
10
11 4. smg_serpent