SPARK 2014 re-implementation of the TweetNaCl crypto library
Repository Index
70,234 visible repositories in the index
1–2 of 2 · Most stars
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
70,234 visible repositories in the index
1–2 of 2 · Most stars
SPARK 2014 re-implementation of the TweetNaCl crypto library
SHA-3 and other Keccak related algorithms in SPARK/Ada.