blake2s
Hash function implementation
Implementation of the BLAKE2s hash function in Ada for secure data integrity and authenticity verification.
The BLAKE2s hash function for SPARK83 [Ada (1987)]
1 stars
1 watching
1 forks
Language: Ada
last commit: over 3 years ago
Linked from 1 awesome list
adaada1987blake2blake2shashmit-licensespark-ada
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jhumphry/spark_siphash | An Ada implementation of the SipHash keyed hash function for cryptographic protection against denial-of-service attacks. | 5 |
 lyarbean/xxhash-ada | An implementation of a non-cryptographic hash function in Ada | 1 |
 jklmnn/stotp | A time-based one-time pad implementation library for two-factor authentication | 8 |
 damaki/libkeccak | A library implementing cryptographic algorithms using the SPARK/Ada programming language and static proof of type safety. | 33 |
 secworks/sha512 | A Verilog implementation of the SHA-512 hash function | 37 |
| jhumphry/ascon_spark | An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption. | 3 |
| jklmnn/continuous-verification | Automates Ada software verification with continuous testing and proofing | 9 |
| jhumphry/spark_norx | An implementation of a widely used authenticated encryption algorithm | 8 |
 juliacrypto/sha.jl | A Julia implementation of common hash functions | 48 |
 barerose/lonesha256 | A single-function SHA256 hashing implementation in C. | 20 |
 elfsundae/laravel-hashid | Provides reversible, non-sequential identifiers for data obfuscation | 408 |
 paulmillr/noble-hashes | A lightweight JavaScript implementation of various hash functions and cryptographic primitives | 608 |
 mirage/digestif | Tools for implementing various hash algorithms in multiple programming languages. | 87 |
| secworks/sha256 | An implementation of the SHA-256 cryptographic hash function in hardware | 320 |
 tofgarion/spark-by-example | An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods | 154 |