(19 . 6)(19 . 7)

3. smg_keccak
  Word (64 bits) level implementation of the Keccak sponge according to The Keccak Reference v 3.0. 
  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.
  Implemented in Ada.

4. smg_serpent

(148 . 7)(148 . 7)
      ToPos := Block'Last;
      FromPos := ToPos - SBB + 1;
      BWord := (others => 0);
      BWord(Bitword'First .. Bitword'First + SBB - 1) := Block(ToPos..FromPos);
      BWord(Bitword'First .. Bitword'First + SBB - 1) := Block(FromPos..ToPos);
      Word := BitsToWord( BWord );
      S( X, Y ) := S( X, Y ) xor Word;
    end if;

(466 . 6)(466 . 19)

  end test_oaep;

  procedure test_all_bitrates is
    Input : constant String := "hello, world";
    Bin   : Bitstream( 0 .. Input'Length * 8 - 1 ) := ( others => 0 );
    Bout  : Bitstream( 0 .. 100 ) := ( others => 0 );
  begin
    ToBitstream( Input, Bin );
    Put_Line("Testing all bitrates:");
      for Bitrate in Keccak_Rate'Range loop
        Sponge(Bin, Bout, Bitrate);
        Put_Line("PASSED: keccak with bitrate " & Integer'Image(Bitrate));
      end loop;
  end test_all_bitrates;

  -- end of helper methods 

	--variables
(518 . 4)(531 . 7)
  -- test xor on strings
  test_xor_strings;

  -- test ALL bitrates of the Keccak sponge
  test_all_bitrates;

end SMG_Keccak.Test;