package hacl-star

  1. Overview
  2. Docs
On This Page
  1. 0.1.1
  2. 0.1
OCaml API for EverCrypt/HACL*

Install 

dune-project
 Dependency

hacl-star.github.io Changelog Edit opam file Versions (21)

Authors

  1. V
    Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>

Maintainers

  1. V
    Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>

Sources

hacl-star.0.2.1.tar.gz
md5=a8fc22a701608018cded326be1990af9
sha512=de185640ddd9ec63e5f07274f45dee68cea30e476cd58cb7e7be3e7bd6c062b347236e2a20e6b54238212a2c2e351f7717893b79ed9e381419dffeb962fd744c

doc/CHANGES.html

0.2.0

  • Updated bindings for P-256
  • Bytecode files provided in hacl-star-raw to ease debugging

0.1.1

  • Support for ARM

0.1

The first release of the OCaml API for HACL*