source

sparknacl

1.0.0

Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

GitHub Community CIResults All crate versions Download JSON

1.0.0

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

Authors: Rod Chapman
Maintainers: Rod Chapman <rod@proteancode.com>
Maintainer profiles: @rod-chapman
Licenses: BSD-2-Clause
Website: https://github.com/rod-chapman/SPARKNaCl
Repository: github.com/rod-chapman/SPARKNaCl
Source revision: aac69c969a05
Tags: spark, cryptography, security, nacl, curve25519, ed25519, tweetnacl
Manifest: index/sp/sparknacl/sparknacl-1.0.0.toml

Build and platform metadata 1 field

GPR externals: { "SPARKNACL_BUILD_MODE": [ "debug", "O1", "O2", "O3" ], "SPARKNACL_RUNTIME_MODE": [ "full", "zfp" ] }