Sparknacl

Website:

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

Author:
  • Rod Chapman
Maintainer:
  • Rod Chapman <rod@proteancode.com>
License:

BSD-3-Clause

Version:

3.0.0

Alire CI:

Dependencies:
  • image/svg+xml gnat >=11.2.1
Dependents:

No dependents.

Badge:

Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

#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