sparknacl

Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

Website
Author: Rod Chapman
Maintainer: Rod Chapman <rod@proteancode.com>
License: BSD-3-Clause
Version: 3.0.0
Dependencies:

gnat >=11.2.1

Tags: spark cryptography security nacl curve25519 ed25519 tweetnacl
Badge: Copy image location: https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/sparknacl.json

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

Alire CI:

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