Module `Make.Prover`Source

Sourcetype prover_common_pp = {

n : int;
domain : Domain.t;
pp_public_parameters : PP.prover_public_parameters;
evaluations : Evaluations.t SMap.t;
common_keys : string list;

}

Sourcetype prover_circuit_pp = {

circuit_size : int;
nb_wires : int;
gates : Scalar.t array SMap.t;
tables : Scalar.t array list;
wires : int array SMap.t;
permutation : int array;
evaluations : Evaluations.t SMap.t;
alpha : Scalar.t;
ultra : bool;

}

Sourceval enforce_wire_values : int array SMap.t -> 'a array -> 'a array SMap.t

val compute_wire_polynomials : 
  zero_knowledge:bool ->
  module_list:(module Gates.Gate_base_sig) list ->
  int ->
  Evaluations.domain ->
  Evaluations.scalar array SMap.t ->
  Poly.t SMap.t * Poly.t SMap.t option

Sourcetype wires_info = {

wires : scalar array SMap.t;
f_wires_map : Evaluations.polynomial SMap.t;
f_blinds_map : Evaluations.polynomial SMap.t option;
wires_values : scalar array;
wires_indices : int array SMap.t;

}

Source

val build_wires_map : 
  ?zero_knowledge:bool ->
  prover_common_pp ->
  prover_circuit_pp SMap.t ->
  SMap.key ->
  prover_inputs list ->
  Poly.t SMap.t list * wires_info list

Source

val build_all_f_wires_map : 
  zero_knowledge:bool ->
  prover_common_pp ->
  prover_circuit_pp SMap.t ->
  prover_inputs list SMap.t ->
  Poly.t SMap.t list SMap.t * wires_info list SMap.t

Source

val build_aggregated_wires_map : 
  zero_knowledge:bool ->
  Poly.scalar ->
  prover_common_pp ->
  prover_circuit_pp SMap.t ->
  wires_info list SMap.t ->
  SMap.key ->
  Evaluations.t ->
  Poly.t SMap.t

Source

val build_all_aggregated_wires_map : 
  zero_knowledge:bool ->
  Poly.scalar ->
  prover_common_pp ->
  prover_circuit_pp SMap.t ->
  Poly.t SMap.t list SMap.t ->
  wires_info list SMap.t ->
  Evaluations.t SMap.t ->
  Poly.t SMap.t SMap.t

Sourceval add_prefix_to_query : prefix:string -> PP.prover_query -> PP.prover_query

Source

val build_query : 
  prover_common_pp ->
  Perm.PP.PC.Scalar.t ->
  Perm.PP.PC.Scalar.t ->
  Plook.PP.PC.Scalar.t ->
  Plook.PP.PC.Scalar.t ->
  Plook.PP.PC.Scalar.t ->
  prover_circuit_pp SMap.t ->
  prover_inputs list SMap.t ->
  PP.Evaluations.polynomial SMap.t SMap.t ->
  SMap.key ->
  PP.Evaluations.polynomial SMap.t list ->
  PP.prover_query

Source

val build_all_queries : 
  prover_common_pp ->
  Perm.PP.PC.Scalar.t ->
  Perm.PP.PC.Scalar.t ->
  Plook.PP.PC.Scalar.t ->
  Plook.PP.PC.Scalar.t ->
  prover_circuit_pp SMap.t ->
  prover_inputs list SMap.t ->
  PP.Evaluations.polynomial SMap.t SMap.t ->
  PP.Evaluations.polynomial SMap.t list SMap.t ->
  PP.prover_query

Source

val build_f_map_evaluation_perm : 
  zero_knowledge:bool ->
  prover_common_pp ->
  Fr_generation.scalar ->
  Perm.PP.PC.Scalar.t ->
  Perm.PP.PC.Scalar.t ->
  prover_circuit_pp SMap.t ->
  SMap.key ->
  wires_info list ->
  Poly.t SMap.t * Evaluations.t

Source

val build_all_f_map_evaluation_perm : 
  zero_knowledge:bool ->
  prover_common_pp ->
  Fr_generation.scalar ->
  Perm.PP.PC.Scalar.t ->
  Perm.PP.PC.Scalar.t ->
  prover_circuit_pp SMap.t ->
  wires_info list SMap.t ->
  (Poly.t SMap.t * Evaluations.t) SMap.t

Source

val build_f_map_evaluation_plook : 
  zero_knowledge:bool ->
  prover_common_pp ->
  Plook.PP.PC.Scalar.t ->
  Plook.PP.PC.Scalar.t ->
  prover_circuit_pp SMap.t ->
  SMap.key ->
  wires_info list ->
  Poly.t SMap.t list

Source

val build_all_f_map_evaluation_plook : 
  zero_knowledge:bool ->
  prover_common_pp ->
  Plook.PP.PC.Scalar.t ->
  Plook.PP.PC.Scalar.t ->
  prover_circuit_pp SMap.t ->
  wires_info list SMap.t ->
  Poly.t SMap.t list SMap.t

Sourceval gather_maps : 'a Stdlib__Map.Make(String).t List.t SMap.t -> 'a SMap.t

Sourceval gather_maps_perm : 'a Stdlib__Map.Make(String).t SMap.t -> 'a SMap.t

Source

val prove_circuits_with_pool : 
  ?zero_knowledge:bool ->
  ((prover_common_pp * prover_circuit_pp SMap.t) * bytes) ->
  inputs_map:prover_inputs list SMap.t ->
  proof * PP.transcript

package tezos-plonk

Module Make.ProverSource

Module `Make.Prover`Source