source

sparknacl

4.0.1

Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

GitHubRepository Community CIResults Version page Download JSON

4.0.1

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>, Jon Andrew <jonfandrew@fastmail.com>
Maintainer profiles
@rod-chapman, @docandrew
Licenses
BSD-3-Clause
Website
https://github.com/rod-chapman/SPARKNaCl
Repository
github.com/rod-chapman/sparknacl
Source revision
8e3cc2e6a678
Tags
spark, cryptography, security, nacl, curve25519, ed25519, tweetnacl
Manifest
index/sp/sparknacl/sparknacl-4.0.1.toml
Build and platform metadata 1 field
GPR externals
{
  "SPARKNACL_BUILD_MODE": [
    "debug",
    "O1",
    "O2",
    "O3",
    "Os"
  ],
  "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_a4"
  ]
}