package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module PP = PP
exception Entry_not_in_table of string
type public_parameters = (PP.prover_public_parameters * PP.verifier_public_parameters) * PP.PC.Scalar.t array list * PP.PC.Polynomial.Polynomial.t SMap.t
val srs_size : length_table:int -> int
val polynomials_degree : unit -> int
val format_tables : tables:PP.PC.Scalar.t array list list -> nb_columns:int -> length_not_padded:int -> length_padded:int -> PP.PC.Scalar.t array list
val common_preprocessing : n:int -> domain:PP.PC.Polynomial.Domain.t -> PP.PC.Polynomial.Polynomial.t SMap.t
val preprocessing : ?prefix:string -> domain:PP.PC.Polynomial.Domain.t -> tables:PP.PC.Scalar.t array list -> alpha:PP.PC.Scalar.t -> unit -> PP.PC.Polynomial.Polynomial.t SMap.t
val setup : ?nb_pack:int -> nb_wires:int -> domain:PP.PC.Polynomial.Domain.t -> size_domain:int -> tables:PP.PC.Scalar.t array list list -> table_size:int -> alpha:PP.PC.Scalar.t -> srs:(Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) -> unit -> public_parameters
val prover_identities : ?circuit_name:string -> proof_idx:int -> nb_proofs:int -> f_map:PP.PC.Polynomial.Polynomial.t SMap.t -> wires_name:string array -> alpha:PP.PC.Scalar.t -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> ultra:bool -> n:int -> unit -> PP.prover_identities
val verifier_identities : ?circuit_name:string -> proof_idx:int -> nb_proofs:int -> wires_name:string array -> alpha:PP.PC.Scalar.t -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> ultra:bool -> unit -> PP.verifier_identities
val f_map_contribution : wires:PP.PC.Scalar.t array SMap.t -> gates:PP.PC.Scalar.t array SMap.t -> tables:PP.PC.Scalar.t array list -> alpha:PP.PC.Scalar.t -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> domain:PP.PC.Polynomial.Domain.t -> size_domain:int -> circuit_size:int -> PP.PC.secret
OCaml

Innovation. Community. Security.