fiat-p256

Primitives for Elliptic Curve Cryptography taken from Fiat
Description

This is an implementation of the ECDH over P-256 key exchange algorithm, using code from Fiat (https://github.com/mit-plv/fiat-crypto).

Cryptographic primitives should not be used in end applications, they are better used as part of a cryptographic library.

Install
Published
24 Jul 2019
Authors
Maintainers
Sources
fiat-p256-v0.2.0.tbz
sha256=b2854ca46b2522248521440dcd5b17accfc8d3bfc754ff0f7e907ba40f513a30 sha512=47a1b5583b614069c278e6f6253cb9d873b3f100060708b178cce0d617398ee317cd0aa1c2ac49d748b452f8ab92004256820201729fa391c6c0a33f840d04f5
Dependencies
yojson with-test & >= "1.6.0"
rresult with-test
dune >= "1.6.0"
cstruct >= "3.5.0" & < "6.1.0"
benchmark with-test
alcotest with-test & < "1.4.0"
ocaml < "5.0"
Reverse Dependencies
tls >= "0.12.0" & < "0.13.0"