package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Validator end
val init_params : unit -> unit

Loads the ZCash parameters for Groth16, searching them in:

  • /usr/share/zcash-params
  • ${OPAM_SWITCH_PREFIX}/share/zcash-params
  • ${HOME}/.zcash-params Only Sapling's parameters are loaded, not Sprout's.

This function must be called before any of the proving and verification functions requiring a context. Usually you should not need to call this function directly as it is done by the fist call to `with_{proving,verification}_ctx`. However you can call this function in order to:

  • pay its cost upfront and have more predictable latency later
  • make sure that the parameters are present in the system and avoid a failure later.
module Ciphertext = Validator.Ciphertext
module Commitment = Validator.Commitment
module CV = Validator.CV
module Hash = Validator.Hash
module Nullifier = Validator.Nullifier
module UTXO : sig ... end
module Verification : sig ... end
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