package fiat-p256

  1. Overview
  2. No Docs
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.

Tags

org:mirage

Published: 27 Oct 2020

Dependencies (7)

  1. conf-pkg-config build
  2. hex
  3. eqaf >= "0.5"
  4. dune-configurator
  5. cstruct >= "3.5.0" & < "6.1.0"
  6. bigarray-compat
  7. dune >= "2.7"

Dev Dependencies (8)

  1. odoc with-doc
  2. yojson with-test & >= "1.6.0"
  3. stdlib-shims with-test
  4. rresult with-test
  5. ppx_deriving_yojson with-test
  6. benchmark with-test
  7. asn1-combinators with-test
  8. alcotest with-test & < "1.4.0"

Used by (2)

  1. tls >= "0.12.0" & < "0.13.0"
  2. tls-mirage >= "0.12.0" & < "0.13.0"

Conflicts (2)

  1. ocaml-freestanding < "0.4.1"
  2. mirage-xen < "6.0.0"