blake2s

github.comtool

SPARK83 implementation of the BLAKE2s hash function.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   BLAKE3 github.com

   tool link ↗
   tool
2. ▲

   libsparkcrypto github.com

   A cryptographic library implemented in SPARK.

   tool link ↗
   
3. ▲

   libkeccak github.com

   A SPARK implementation of the Keccak family of sponge functions and related constructions.

   tool link ↗
   
4. ▲

   spark-sip-hash github.com

   Ada/SPARK implementation of the SipHash keyed hash function.

   tool link ↗
   tool
5. ▲

   spark-by-example github.com

   Collection of verified functions and data types in SPARK.

   tool link ↗
   tool
6. ▲

   spark-2014 github.com

   SPARK formal verification toolset.

   tool link ↗
   

Ada/SPARK › Libraries > Cryptography: “SPARK83 implementation of the BLAKE2s hash function.”