package nocoiner

  1. Overview
  2. Docs
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.