Sparknacl

Website:

https://github.com/rod-chapman/SPARKNaCl

Author:

Maintainers:

License:

BSD-3-Clause

Version:

4.0.0

Alire CI:

Dependencies:

Dependents:

No dependents.

Badge:

Copy image location: https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/sparknacl.json

#spark #cryptography #security #nacl #curve25519 #ed25519 #tweetnacl

SPARK 2014 re-implementation of TweetNaCl cryptographic library, with fully automated proofs of type safety and some correctness properties