dirsp-proscript-mirage
Mirage crypto backed implementation of the ProScript Cryptography Library
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).
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 17 Jun 2021
- Authors
- Maintainers
Sources
0.1.0.tar.gz
md5=a3c6f4b221fb9732bc55ab4c44e39c14
sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199
Dependencies
iter
>= "1.2.1" & with-test
alcotest
>= "1.4.0" & with-test
ppx_deriving_protobuf
>= "3.0.0"
mirage-crypto-ec
>= "0.10.0"
mirage-crypto-rng
>= "0.8.1"
dirsp-proscript
= version
dune
>= "2.6.0"
ocaml
>= "4.08.0"
Reverse Dependencies