package mirage-crypto-ec

Overview
No Docs

You can search for identifiers within the package.

in-package search v0.2.0

Elliptic Curve Cryptography with primitives taken from Fiat

Install

Dune Dependency

github.com Edit opam file Versions (17)

Authors

Maintainers

H

Hannes Mehnert <hannes@mehnert.org>

Sources

mirage-crypto-v0.9.0.tbz

sha256=716684f8a70031f16115e3c84d42141c75fb1e688b7a699bbd09166176ed5217

sha512=7eb56f28583567824b32bf33635b15c39dd684a047455b2cc6a5f768c52ccbe6d8eac80308fac80d78c8f678b0132059fdbc219a252de6ecfd53c26c717a9a3a

Description

An implementation of key exchange (ECDH) and digital signature (ECDSA/EdDSA) algorithms using code from Fiat (https://github.com/mit-plv/fiat-crypto).

The curves P224 (SECP224R1), P256 (SECP256R1), P384 (SECP384R1), P521 (SECP521R1), and 25519 (X25519, Ed25519) are implemented by this package.

Tags

org:mirage

Published: 31 Mar 2021

Dependencies (8)

mirage-crypto-rng = version
mirage-crypto = version
eqaf >= "0.7"
dune-configurator
cstruct >= "3.5.0"
ocaml >= "4.08.0"
dune >= "2.6"
conf-pkg-config build

Dev Dependencies (7)

yojson with-test & >= "1.6.0"
ppx_deriving with-test
ppx_deriving_yojson with-test
asn1-combinators with-test & >= "0.2.5" & < "0.3.0"
alcotest with-test
hex with-test
mirage-crypto-pk with-test & = version

Used by (9)

awa = "0.0.2"
dns-certify >= "5.0.0"
dnssec < "9.0.0"
letsencrypt >= "0.4.0" & < "1.0.0"
ssh-agent >= "0.4.0"
tls = "0.13.0"
u2f
webauthn < "0.2.0"
x509 = "0.12.0"

Conflicts (2)

ocaml-freestanding < "0.4.1"
mirage-xen < "6.0.0"

On This Page

Description
Dependencies (8)
Dev Dependencies (7)
Used by (9)
Conflicts (2)