octez-plonk 17.3 (latest) · OCaml Package

Parameters

module PP : Polynomial_protocol.S

Signature

module Commitment : sig ... end

type commit_to_wires_reply = Commitment.t

val commit_to_wires_reply_t : Commitment.t Repr.t

type worker_inputs = {

inputs : Plonk__Main_protocol.Make_impl(PP).circuit_prover_input list;
shift : int * int;

}

val worker_inputs_t : worker_inputs Repr.t

val split_inputs_map : 
  nb_workers:int ->
  Plonk__Main_protocol.Make_impl(PP).circuit_prover_input list SMap.t ->
  worker_inputs SMap.t list

type commit_to_plook_rc_reply = {

batched_wires_map : Plonk.Bls.Evaluations.t SMap.t SMap.t;
cmt : Commitment.t;
f_map : Plonk.Bls.Poly.t SMap.t;
prover_aux : Commitment.prover_aux;

}

val commit_to_plook_rc_reply_t : commit_to_plook_rc_reply Repr.t

type commit_to_plook_rc_remember = {

beta_plook : Plonk.Bls.Scalar.t;
gamma_plook : Plonk.Bls.Scalar.t;
beta_rc : Plonk.Bls.Scalar.t;
gamma_rc : Plonk.Bls.Scalar.t;

}

type commit_to_wires_remember = {

all_f_wires : Plonk.Bls.Poly.t SMap.t;
wires_list_map : Plonk.Bls.Evaluations.t SMap.t list SMap.t;
inputs_map : Plonk__Main_protocol.Make_impl(PP).circuit_prover_input list SMap.t;
shifts_map : (int * int) SMap.t;
f_wires : Plonk.Bls.Poly.t SMap.t list SMap.t;
cm_aux_wires : Commitment.prover_aux;

}

val worker_commit_to_wires : 
  Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters ->
  worker_inputs SMap.t ->
  PP.PC.Commitment.t * commit_to_wires_remember

val commit_to_plook_rc : 
  Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters ->
  (int * int) Plonk__SMap.t ->
  Stdlib.Bytes.t ->
  Plonk.Bls.Evaluations.t Plonk.SMap.t list Plonk.SMap.t ->
  commit_to_plook_rc_reply * commit_to_plook_rc_remember

val batch_evaluated_ids : 
  alpha:Plonk.Bls.Scalar.t ->
  Plonk.Bls.Evaluations.t SMap.t ->
  string list ->
  Plonk.Bls.Evaluations.t

val kzg_eval_at_x : 
  Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters ->
  Stdlib.Bytes.t ->
  (Plonk.Bls.Poly.t Plonk.SMap.t * 'a) list ->
  Plonk.Bls.Scalar.t ->
  Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list

val build_batched_witness_polys_bis : 
  (bool * int * Plonk.Bls.Domain.t) ->
  Plonk.Bls.Evaluations.t Plonk.SMap.t SMap.t ->
  Plonk.Bls.Poly.t Plonk__SMap.t

val shared_perm_argument : 
  Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters ->
  int ->
  Plonk__Main_protocol.Make_impl(PP).gate_randomness ->
  'a list SMap.t ->
  commit_to_plook_rc_reply list ->
  Plonk.Bls.Poly.t Plonk__SMap.t
  * Plonk.Bls.Evaluations.t Plonk.SMap.t
  * (Commitment.t * Commitment.prover_aux)

val make_secret : 
  Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters ->
  (Plonk.Bls.Poly.t Plonk.SMap.t * PP.PC.Commitment.prover_aux) ->
  (Plonk.Bls.Poly.t Plonk.SMap.t * PP.PC.Commitment.prover_aux) list

val make_eval_points : 
  Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters ->
  Plonk.Identities.eval_point list list
  * Plonk.Identities.eval_point list Plonk.List.t

val get_generator : 
  Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters ->
  Plonk.Bls.Domain.scalar

val get_srs : 
  Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters ->
  PP.PC.Commitment.prover_public_parameters

val get_gen_n_nbt : 
  Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters ->
  Plonk.Bls.Domain.scalar * int * int

val get_transcript : 
  Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters ->
  Stdlib.Bytes.t

val check_no_zk : 
  Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters ->
  unit

package octez-plonk

Parameters

Signature