dirsp-proscript-mirage
  1. Overview
  2. Docs
Mirage crypto backed implementation of the ProScript Cryptography Library

Install

github.com Readme Changelog Apache-2.0 License Edit opam file

Authors

  1. [
    [Diskuv, Inc. <opensource+dirsp-proscript-mirage@support.diskuv.com>]

Maintainers

  1. O
    opensource+dirsp-proscript-mirage@support.diskuv.com

Sources

0.1.0.tar.gz
md5=a3c6f4b221fb9732bc55ab4c44e39c14
sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199

Description

Dirsp is a short form for Diskuv Implementations of Research Security Protocols. The [dirsp-proscript-mirage] library is an implementation based on mirage-crypto / mirage-crypto-rng / mirage-crypto-ecc of the ProScript Cryptography Library. ProScript is a subset of JavaScript that can be verified with formal security proofs.

The implementation comes with tests: an overlapping-pairs-sparse-occupancy test for randomness, wycheproof test vectors for DH25519 (aka X25519) and RFC 8032 test vectors for EDH25519 (aka Ed25519).

Tags

org:diskuv

Published: 17 Jun 2021

Dependencies (6)

  1. ppx_deriving_protobuf >= "3.0.0"
  2. mirage-crypto-ec >= "0.10.0"
  3. mirage-crypto-rng >= "0.8.1" & < "0.11.0"
  4. dirsp-proscript = version
  5. dune >= "2.6.0"
  6. ocaml >= "4.08.0"

Dev Dependencies (2)

  1. iter >= "1.2.1" & with-test
  2. alcotest >= "1.4.0" & with-test

Conflicts

None