- 7503D06B8F87F1CD8A4246A7BAF27BA9431646E65F07FEA64173F24852BE71DC493C3E866D5C16F6723F80C6E6ED1479A46FAC9DEA5FDF02B0387724BDB99E08
+ 71BCA4B94AE6EA691D3A1FAF6C84AE5D17B803D11607E786C34E2711CABEB6921789AAE27A3A14B9B5CF5216A133EC2E8BD3B06EB1F2B88923F7E65297C2F5F4
vtools/src/smg_keccak.ads
(59 . 6)(59 . 20)
390 Output : out Bitstream;
391 Block_Len : in Keccak_Rate := Default_Bitrate );
392
393 -- state based Sponge
394 type Keccak_Context (Block_Len: Keccak_Rate := Default_Bitrate) is
395 record
396 Internal: State := (others => (others => 0));
397 Block: Bitstream(1..Block_Len) := (others => 0);
398 Pos: Natural;
399 end record;
400
401 procedure KeccakBegin(Ctx: in out Keccak_Context);
402 procedure KeccakHash(Ctx: in out Keccak_Context;
403 Input: Bitstream);
404 procedure KeccakEnd(Ctx: in out Keccak_Context;
405 Output: out Bitstream);
406
407 private
408 -- these are internals of the keccak implementation, not meant to be directly
409 -- accessed/used