package octez-libs

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

Module Core.Validator_legacySource

include module type of struct include Validator end
Sourceval 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.
Sourcemodule Ciphertext = Validator.Ciphertext
Sourcemodule Commitment = Validator.Commitment
Sourcemodule CV = Validator.CV
Sourcemodule Hash = Validator.Hash
Sourcemodule Nullifier = Validator.Nullifier
Sourcemodule UTXO : sig ... end
Sourcemodule 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