package fiat-p256
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Primitives for Elliptic Curve Cryptography taken from Fiat
Install
Authors
Maintainers
Sources
fiat-p256-v0.2.2.tbz
sha256=f32a20800cb0c0baa4f851ceaab6d10b20fd8e6d5c88f3d5d5eff923f4efc8ed
sha512=cb4243eefbe2538fbea42ba4f155218ea0da341e1571ec4b207c8e775abcbdbec39f60b906468454c2515c3b7ff8698e8861df46cb12ba67a1f7f1b5f3a2eeb0
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.
Dependencies (7)
-
conf-pkg-config
build
- hex
-
eqaf
>= "0.5"
- dune-configurator
-
cstruct
>= "3.5.0" & < "6.1.0"
- bigarray-compat
-
dune
>= "2.7"
Dev Dependencies (8)
-
odoc
with-doc
-
yojson
with-test & >= "1.6.0"
-
stdlib-shims
with-test
-
rresult
with-test
-
ppx_deriving_yojson
with-test
-
benchmark
with-test
-
asn1-combinators
with-test
-
alcotest
with-test & < "1.4.0"
Used by (2)
-
tls
>= "0.12.0" & < "0.13.0"
-
tls-mirage
>= "0.12.0" & < "0.13.0"
Conflicts (2)
-
ocaml-freestanding
< "0.4.1"
-
mirage-xen
< "6.0.0"
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page