package nocoiner

You can search for identifiers within the package.

in-package search v0.2.0

package nocoiner

nocoiner
- Nocoiner
  - Reasons

Legend:
Library
Module
Module type
Parameter
Class
Class type

A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.

author marcoonroad

version 0.0.1

module Reasons : sig ... end

val commit : string -> string * string

Operation which generates both a commitment box and an opening key, respectively, from a secret input. This operation is non-deterministic in the sense of producing different pairs every time it is invoked, no matter if the input is always the same.

val reveal : commitment:string -> opening:string -> string

Operation which generates the original secret from given commitment and opening. Fails if the opening key is not linked to the commitment. This operation is deterministic, no matter how much time you call that, it will always produce the same result (or failure).

raises Reasons.InvalidCommitment
if fails to parse commitment.

raises Reasons.InvalidOpening
if fails to parse the opening key.

raises Reasons.BindingFailure
if the pairs are not related.