package tezos-protocol-environment

  1. Overview
  2. Docs
package tezos-protocol-environment
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module V9.PlonkSource

include module type of struct include Plonk.Main_protocol end
include module type of struct include Plonk.Main_protocol_intf end
include sig ... end
Sourceexception Rest_not_null of string
Sourceexception Entry_not_in_table of string
Sourcetype scalar = Plonk.Bls.Scalar.t
Sourceval scalar_t : scalar Repr.t
Sourceval scalar_encoding : scalar Data_encoding.t
Sourcetype circuit_map = (Plonk.Circuit.t * int) Plonk.SMap.t
Sourceval prover_public_parameters_t : prover_public_parameters Repr.t
Sourceval verifier_public_parameters_t : verifier_public_parameters Repr.t
Sourceval verifier_public_parameters_encoding : verifier_public_parameters Data_encoding.t
Sourceval proof_t : proof Repr.t
Sourceval proof_encoding : proof Data_encoding.t
Sourcetype circuit_prover_input = Make(Plonk.Polynomial_protocol).circuit_prover_input = {
  1. witness : scalar array;
  2. input_commitments : Input_commitment.t list;
}
Sourceval circuit_prover_input_t : circuit_prover_input Repr.t
Sourcetype prover_inputs = circuit_prover_input list Plonk.SMap.t
Sourceval prover_inputs_t : prover_inputs Repr.t
Sourcetype public_inputs = Plonk.Bls.Scalar.t array list
Sourceval public_inputs_t : public_inputs Repr.t
Sourceval verifier_inputs_t : (public_inputs * Input_commitment.public list list) Plonk.SMap.t Repr.t
Sourceval input_commit : ?size:int -> ?shift:int -> prover_public_parameters -> scalar array -> Input_commitment.t
Sourceval 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
Sourceval update_prover_public_parameters : Bytes.t -> prover_public_parameters -> prover_public_parameters
Sourceval update_verifier_public_parameters : Bytes.t -> verifier_public_parameters -> verifier_public_parameters
Sourcetype public_parameters = verifier_public_parameters
Sourcetype verifier_inputs = (string * scalar array list) list
Sourceval scalar_array_encoding : scalar array Data_encoding.encoding
Sourceval 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