package tezos-protocol-environment

  1. Overview
  2. Docs
package tezos-protocol-environment
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Plonk.Main_protocol end
include module type of struct include Plonk.Main_protocol_intf end
module type S = Plonk.Main_protocol.S
include sig ... end
exception Rest_not_null of string
exception Entry_not_in_table of string
module Input_commitment = Plonk.Main_protocol.Input_commitment
type scalar = Plonk.Bls.Scalar.t
val scalar_t : scalar Repr.t
val scalar_encoding : scalar Data_encoding.t
type circuit_map = (Plonk.Circuit.t * int) Plonk.SMap.t
val prover_public_parameters_t : prover_public_parameters Repr.t
val verifier_public_parameters_t : verifier_public_parameters Repr.t
val verifier_public_parameters_encoding : verifier_public_parameters Data_encoding.t
val proof_t : proof Repr.t
val proof_encoding : proof Data_encoding.t
type circuit_prover_input = Make(Plonk.Polynomial_protocol).circuit_prover_input = {
  1. witness : scalar array;
  2. input_commitments : Input_commitment.t list;
}
val circuit_prover_input_t : circuit_prover_input Repr.t
type prover_inputs = circuit_prover_input list Plonk.SMap.t
val prover_inputs_t : prover_inputs Repr.t
type public_inputs = Plonk.Bls.Scalar.t array list
val public_inputs_t : public_inputs Repr.t
val verifier_inputs_t : (public_inputs * Input_commitment.public list list) Plonk.SMap.t Repr.t
val input_commit : ?size:int -> ?shift:int -> prover_public_parameters -> scalar array -> Input_commitment.t
val setup : zero_knowledge:bool -> circuit_map -> srs: (Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t * Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t) -> prover_public_parameters * verifier_public_parameters
val update_prover_public_parameters : Stdlib.Bytes.t -> prover_public_parameters -> prover_public_parameters
val update_verifier_public_parameters : Stdlib.Bytes.t -> verifier_public_parameters -> verifier_public_parameters
module Internal_for_tests = Plonk.Main_protocol.Internal_for_tests
type public_parameters = verifier_public_parameters
type verifier_inputs = (string * scalar array list) list
val public_parameters_encoding : Plonk.Main_protocol.verifier_public_parameters Data_encoding.t
val scalar_array_encoding : scalar array Data_encoding.encoding
val verify : verifier_public_parameters -> (string * public_inputs) list -> proof -> bool
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