octez-plonk 17.3 · OCaml Package

type common_prover_pp = {

n : int;
domain : Plonk.Bls.Domain.t;
pp_public_parameters : Super_PP.PC.Commitment.prover_public_parameters;
g_map : Plonk.Bls.Poly.t Plonk.SMap.t;
g_prover_aux : Commitment.prover_aux;
evaluations : Plonk.Bls.Evaluations.t Plonk.SMap.t;
zk : bool;
nb_of_t_chunks : int;
eval_points : Plonk.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 : Plonk.Bls.Scalar.t array Plonk.SMap.t;
tables : Plonk.Bls.Scalar.t array list;
wires : int array array;
permutation : int array;
rc_permutation : int array;
evaluations : Plonk.Bls.Evaluations.t Plonk.SMap.t;
alpha : Plonk.Bls.Scalar.t option;
ultra : bool;
range_checks : int list * int;

}

val circuit_prover_pp_t : circuit_prover_pp Repr.t

type public_parameters = {

common_pp : common_prover_pp;
circuits_map : circuit_prover_pp Plonk.SMap.t;
transcript : Stdlib.Bytes.t;

}

val public_parameters_t : public_parameters Repr.t

val enforce_wire_values : 
  int array array ->
  Plonk.Bls.Evaluations.scalar array ->
  Plonk.Bls.Evaluations.t array

val compute_wire_polynomials : 
  zero_knowledge:bool ->
  gates:'a Plonk.SMap.t ->
  int ->
  Plonk.Bls.Evaluations.domain ->
  Plonk.Bls.Evaluations.t Plonk.SMap.t ->
  Plonk.Bls.Poly.t Plonk.SMap.t * Plonk.Bls.Poly.t Plonk.SMap.t option

val commit_to_wires : 
  ?all_keys:string list ->
  ?shifts_map:(int * int) Stdlib__Map.Make(Stdlib.String).t ->
  public_parameters ->
  circuit_prover_input list Plonk.SMap.t ->
  Plonk.Bls.Evaluations.t Plonk.SMap.t list Plonk.SMap.t
  * Plonk.Bls.Poly.t Plonk.SMap.t list Plonk.SMap.t
  * Plonk.Bls.Poly.t Plonk.SMap.t option list Plonk.SMap.t
  * Plonk.Bls.Poly.t Stdlib__Map.Make(Stdlib.String).t
  * Commitment.t
  * Commitment.prover_aux

val build_f_map_perm : 
  public_parameters ->
  gate_randomness ->
  Plonk.Bls.Evaluations.t Plonk.SMap.t Plonk.SMap.t ->
  Plonk.Bls.Poly.t Stdlib__Map.Make(Stdlib.String).t

val build_f_map_plook : 
  ?shifts_map:(int * int) Stdlib__Map.Make(Stdlib.String).t ->
  public_parameters ->
  gate_randomness ->
  Plonk.Bls.Evaluations.t Plonk.SMap.t list Plonk.SMap.t ->
  Plonk.Bls.Poly.t Stdlib__Map.Make(Stdlib.String).t

val build_f_map_rc_1 : 
  ?shifts_map:(int * int) Stdlib__Map.Make(Stdlib.String).t ->
  public_parameters ->
  gate_randomness ->
  Plonk.Bls.Evaluations.t Plonk.SMap.t list Plonk.SMap.t ->
  Plonk.Bls.Evaluations.t Plonk.SMap.t Plonk.SMap.t ->
  Plonk.Bls.Poly.t Stdlib__Map.Make(Stdlib.String).t
  * Plonk.Bls.Evaluations.t Plonk.SMap.t Plonk.SMap.t

val build_f_map_rc_2 : 
  public_parameters ->
  gate_randomness ->
  Plonk.Bls.Evaluations.t Plonk.SMap.t Plonk.SMap.t ->
  Plonk.Bls.Poly.t Stdlib__Map.Make(Stdlib.String).t

val format_input_com : 
  circuit_prover_input list Plonk.SMap.t ->
  (Plonk.Bls.Poly.t Plonk.SMap.t * Super_PP.PC.Commitment.prover_aux) list

val build_evaluations : 
  public_parameters ->
  Plonk.Bls.Evaluations.polynomial Plonk.SMap.t ->
  Plonk.Bls.Evaluations.t Plonk.SMap.t

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

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

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

package octez-plonk