dirsp-proscript-mirageversion
Mirage crypto backed implementation of the ProScript Cryptography Library
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 |
|---|---|
| Author | [Diskuv, Inc. <opensource+dirsp-proscript-mirage@support.diskuv.com>] |
| License | Apache-2.0 |
| Published | |
| Homepage | https://github.com/diskuv/dirsp-exchange |
| Issue Tracker | https://github.com/diskuv/dirsp-exchange/issues |
| Maintainer | opensource+dirsp-proscript-mirage@support.diskuv.com |
| Dependencies |
|
| Source [http] | https://github.com/diskuv/dirsp-exchange/archive/0.1.0.tar.gz md5=a3c6f4b221fb9732bc55ab4c44e39c14 sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/dirsp-proscript-mirage/dirsp-proscript-mirage.0.1.0/opam |
Required by
- dirsp-exchange-kbb2017with-test
