package dirsp-proscript

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

Providing the signatures of cryptographic primitives needed by verified ProScript code.

There are other libraries, especially dirsp-proscript-mirage, that provide implementations for the cryptographic primitives.

exception Crypto_failure of string

exception Encoding_failure of string

module type PROSCRIPT_ENCODING = sig ... end

The ProScript.encoding interface for conversions back and forth between various encodings like hexadecimal.

module type PROSCRIPT_CRYPTO_ED25519 = sig ... end

The ProScript.crypto.ED25519 interface for the elliptic curve 25519 DSA.

module type PROSCRIPT_CRYPTO = sig ... end

The ProScript.crypto interface for core cryptographic primitives like SHA-256.

module type S = sig ... end

Signature of cryptographic primitives and low-level functions needed by verified ProScript code.