SHA-3 and other Keccak related algorithms in SPARK/Ada.
hash-functions keccak ada ascon gimli sha-3 shake128 shake256 sponge-construction spark-ada kangarootwelve kmac tuplehash cshake parallelhash marsupilamifourteen ketje
-
Updated
Oct 19, 2023 - Ada