Module `Nocoiner`

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.