source

sparknacl

2.0.0

Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

GitHub Community CIResults All crate versions Download JSON

2.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
77e57c77b41b
Tags
spark, cryptography, security, nacl, curve25519, ed25519, tweetnacl
Manifest
index/sp/sparknacl/sparknacl-2.0.0.toml
Build and platform metadata 1 field
GPR externals
{
  "SPARKNACL_BUILD_MODE": [
    "debug",
    "O1",
    "O2",
    "O3"
  ],
  "SPARKNACL_COMPILE_CHECKS": [
    "enabled",
    "disabled"
  ],
  "SPARKNACL_CONTRACTS": [
    "enabled",
    "disabled"
  ],
  "SPARKNACL_LIBRARY_TYPE": [
    "relocatable",
    "static",
    "static-pic"
  ],
  "SPARKNACL_RUNTIME_CHECKS": [
    "enabled",
    "disabled"
  ],
  "SPARKNACL_RUNTIME_MODE": [
    "full",
    "zfp"
  ],
  "SPARKNACL_STYLE_CHECKS": [
    "enabled",
    "disabled"
  ],
  "SPARKNACL_TARGET_ARCH": [
    "unspecified",
    "rv32im",
    "rv32imc",
    "rv32imc_f4l4"
  ]
}