package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Validator_legacy.VerificationSource

include module type of struct include Validator.Verification end

A verification context. Stores information involving the commitment values of inputs and outputs and it is used to verify the binding_sig. A context should created with init, passed to check_spend for all inputs and check_output for all outputs, passed to final_check and finally freed with free. *

Sourceval with_verification_ctx : (t -> 'a) -> 'a
Sourceval check_spend : t -> Validator.UTXO.input -> Validator.Hash.t -> string -> bool

Checks the zero-knowledge proof for spending money, the spend_sig, and stores info in the context. String is the anti-replay. *

Sourceval check_output : t -> Validator.UTXO.output -> bool

Checks the zero-knowledge proof for creating money and stores information in the context *

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct