···
2
+
synopsis: "Elliptic Curve Cryptography with primitives taken from Fiat"
4
+
An implementation of key exchange (ECDH) and digital signature (ECDSA/EdDSA)
5
+
algorithms using code from Fiat (<https://github.com/mit-plv/fiat-crypto>).
7
+
The curves P256 (SECP256R1), P384 (SECP384R1),
8
+
P521 (SECP521R1), and 25519 (X25519, Ed25519) are implemented by this package.
10
+
maintainer: "Hannes Mehnert <hannes@mehnert.org>"
12
+
"Hannes Mehnert <hannes@mehnert.org>"
13
+
"Nathan Rebours <nathan.p.rebours@gmail.com>"
14
+
"Clément Pascutto <clement@tarides.com>"
15
+
"Etienne Millon <me@emillon.org>"
16
+
"Virgile Robles <virgile.robles@protonmail.ch>"
17
+
# and from the fiat-crypto AUTHORS file
18
+
"Andres Erbsen <andreser@mit.edu>"
20
+
"Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>"
21
+
"Massachusetts Institute of Technology"
22
+
"Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>"
25
+
homepage: "https://github.com/mirage/mirage-crypto"
26
+
doc: "https://mirage.github.io/mirage-crypto/doc"
27
+
bug-reports: "https://github.com/mirage/mirage-crypto/issues"
30
+
"ocaml" {>= "4.13.0"}
33
+
"mirage-crypto-rng" {=version}
34
+
"digestif" {>= "1.2.0"}
35
+
"alcotest" {with-test & >= "0.8.1"}
36
+
"ppx_deriving_yojson" {with-test}
37
+
"ppx_deriving" {with-test}
38
+
"yojson" {with-test & >= "1.6.0"}
39
+
"asn1-combinators" {with-test & >= "0.3.1"}
40
+
"ohex" {with-test & >= "0.2.0"}
41
+
"ounit2" {with-test}
44
+
"ocaml-freestanding"
47
+
["dune" "subst"] {dev}
48
+
["dune" "build" "-p" name "-j" jobs]
49
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
51
+
dev-repo: "git+https://github.com/mirage/mirage-crypto.git"
52
+
tags: ["org:mirage"]
53
+
x-maintenance-intent: [ "(latest)" ]
56
+
"https://github.com/mirage/mirage-crypto/releases/download/v1.2.0/mirage-crypto-1.2.0.tbz"
58
+
"sha256=0fec11ff82d8c5b36cc930db91310711c6593a3975ba2f2e59836249e4754e40"
59
+
"sha512=1770344c7cdce45e40568b1e1730bf2fed5d30600aa9fdb50230953494d1a2c43e5affcdad4cf14b7163358425e3bb04c3a24f0dfe63020abb8b0891d5be4716"
62
+
x-commit-hash: "1f334ef97e042b3367d54fbe8fbcf03b84841a38"