Prover (mavkit-libs.Plonk.Main_protocol.Make

type common_prover_pp = {

n : int;
domain : Kzg.Bls.Domain.t;
pp_public_parameters : PP.prover_public_parameters;
g_map : Kzg.Bls.Poly.t SMap.t;
g_prover_aux : Commitment.prover_aux;
evaluations : Identities.Evaluations.t SMap.t;
zk : bool;
nb_of_t_chunks : int;
eval_points : Identities.eval_point list list;

}

val common_prover_pp_t : common_prover_pp Repr.t

type circuit_prover_pp = {

circuit_size : int;
input_com_sizes : int list;
public_input_size : int;
gates : Kzg.Bls.Scalar.t array SMap.t;
tables : Kzg.Bls.Scalar.t array list;
wires : int array array;
permutation : int array;
rc_permutations : int array SMap.t;
evaluations : Identities.Evaluations.t SMap.t;
alpha : Kzg.Bls.Scalar.t option;
ultra : bool;
range_checks : (int * int) list SMap.t;

}

val circuit_prover_pp_t : circuit_prover_pp Repr.t

type public_parameters = {

common_pp : common_prover_pp;
circuits_map : circuit_prover_pp SMap.t;
transcript : Kzg.Utils.Transcript.t;

}

val public_parameters_t : public_parameters Repr.t

val build_all_wires_keys : 
  public_parameters ->
  int SMap.t ->
  int ->
  string list

val build_all_keys_z : public_parameters -> string list

val enforce_wire_values : 
  int array array ->
  Identities.Evaluations.scalar array ->
  Identities.Evaluations.t array

val blind : 
  pp:public_parameters ->
  Kzg.Bls.Poly.t SMap.t list SMap.t ->
  Kzg.Bls.Poly.t SMap.t list SMap.t * Kzg.Bls.Poly.t SMap.t option list SMap.t

val update_wires_with_rc_1 : 
  ?shifts_map:(int * int) Kzg__SMap.t ->
  public_parameters ->
  (Kzg.Bls.Poly.t SMap.t
   * Kzg.Bls.Poly.t Kzg__SMap.t list Kzg__SMap.t
   * Kzg.Bls.Poly.t SMap.t option list SMap.t
   * Identities.Evaluations.t Kzg__SMap.t list SMap.t) ->
  Kzg.Bls.Poly.t SMap.t
  * Kzg.Bls.Poly.t Kzg__SMap.t list Kzg__SMap.t
  * Kzg.Bls.Poly.t SMap.t option list SMap.t
  * Identities.Evaluations.t Kzg__SMap.t list Kzg__SMap.t

val commit_to_wires : 
  ?all_keys:string list ->
  ?shifts_map:(int * int) Kzg__SMap.t ->
  public_parameters ->
  circuit_prover_input list SMap.t ->
  Identities.Evaluations.t Kzg__SMap.t list Kzg__SMap.t
  * Kzg.Bls.Poly.t Kzg__SMap.t list Kzg__SMap.t
  * Kzg.Bls.Poly.t SMap.t option list SMap.t
  * Kzg.Bls.Poly.t SMap.t
  * Commitment.t
  * Commitment.prover_aux

val build_f_map_perm : 
  public_parameters ->
  gate_randomness ->
  Identities.Evaluations.t SMap.t SMap.t ->
  Kzg.Bls.Poly.t Kzg__SMap.t

val build_f_map_plook : 
  ?shifts_map:(int * int) Kzg__SMap.t ->
  public_parameters ->
  gate_randomness ->
  Identities.Evaluations.t Plonk.Identities.SMap.t list SMap.t ->
  Kzg.Bls.Poly.t Kzg__SMap.t

val build_f_map_rc_2 : 
  public_parameters ->
  gate_randomness ->
  Identities.Evaluations.t Plonk.Identities.SMap.t SMap.t ->
  Kzg.Bls.Poly.t Kzg__SMap.t

val format_input_com : 
  circuit_prover_input list SMap.t ->
  (Kzg.Bls.Poly.t SMap.t * Input_commitment.Commitment.prover_aux) list

val build_evaluations : 
  public_parameters ->
  Identities.Evaluations.polynomial Kzg.SMap.t ->
  Identities.Evaluations.t Kzg.SMap.t

val build_perm_rc2_identities : 
  public_parameters ->
  gate_randomness ->
  Identities.prover_identities

val build_gates_plook_rc1_identities : 
  ?shifts_map:(int * int) SMap.t ->
  public_parameters ->
  gate_randomness ->
  circuit_prover_input List.t SMap.t ->
  Identities.prover_identities

val prove_parameters : 
  pp_prove:
    (PP.prover_public_parameters ->
      Kzg.Utils.Transcript.t ->
      n:int ->
      generator:Kzg.Bls.Domain.scalar ->
      secrets:(Kzg.Bls.Poly.t SMap.t * Commitment.prover_aux) list ->
      eval_points:Identities.eval_point list list ->
      evaluations:Identities.Evaluations.t Kzg.SMap.t ->
      identities:Identities.prover_identities ->
      nb_of_t_chunks:int ->
      'a * 'b) ->
  public_parameters ->
  inputs_map:circuit_prover_input List.t SMap.t ->
  'c * (PP.PC.Commitment.t * Commitment.t * gate_randomness)