(5 . 6)(5 . 7)
187
188 -- S.MG, 2018
189
190 with Bits; use Bits;
191 package SMG_Keccak is
192 pragma Pure(SMG_Keccak); --stateless, no side effects -> can cache calls
193
(38 . 8)(39 . 6)
195 -- the "secret" part of the state (i.e. lower capacity)
196 subtype Keccak_Rate is Positive range 1..Width; -- capacity = width - rate
197
198 type Bit is mod 2;
199 type Bitstream is array( Natural range <> ) of Bit; -- any length; message
200 subtype Bitword is Bitstream( 0..Z_Length - 1 ); -- bits of one state "word"
201
202 -- type conversions