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
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 03 Nov 2020
- Authors
- Maintainers
Sources
fiat-p256-v0.2.3.tbz
sha256=c20d1b1395f59b111ca6a75c55b4edfb864215daf7484910bc89c2953474b0e0
sha512=9d679c865820294e87f479a2e46aa6278b5e9e1106776067ce0e71e4263850d4d07b38b7da65c49c4a5f4cedd74af92fcb3f3188065b12b58041a4729b296652
Dependencies
yojson
with-test & >= "1.6.0"
stdlib-shims
with-test
rresult
with-test
ppx_deriving_yojson
with-test
conf-pkg-config
build
eqaf
>= "0.5"
cstruct
>= "3.5.0" & < "6.1.0"
benchmark
with-test
asn1-combinators
with-test
alcotest
with-test & < "1.4.0"
dune
>= "2.6"
Reverse Dependencies
tls
>= "0.12.0" & < "0.13.0"
tls-mirage
>= "0.12.0" & < "0.13.0"
Conflicts
ocaml-freestanding
< "0.4.1"
mirage-xen
< "6.0.0"