Module `Main_protocol.Common`Source

Parameters

module PP : Polynomial_protocol.S

Signature

Sourcemodule Commitment : sig ... end

Sourcetype commit_to_wires_reply = Commitment.t

Sourceval commit_to_wires_reply_t : Commitment.t Repr.t

Sourcetype worker_inputs = {

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

}

Sourceval worker_inputs_t : worker_inputs Repr.t

Source

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

Sourcetype 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;

}

Sourceval commit_to_plook_rc_reply_t : commit_to_plook_rc_reply Repr.t

Sourcetype 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;

}

Sourcetype 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;

}

Source

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

Source

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

Source

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

Source

val kzg_eval_at_x : 
  Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters ->
  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

Source

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 Stdlib__Map.Make(String).t

Source

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 Stdlib__Map.Make(String).t
  * Plonk.Bls.Evaluations.t Plonk.SMap.t
  * (Commitment.t * Commitment.prover_aux)

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-plonk.distribution/Plonk_for_distribution/Main_protocol/Common/index.html

Module `Main_protocol.Common`Source

Parameters

Signature

package octez-plonk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-plonk.distribution/Plonk_for_distribution/Main_protocol/Common/index.html

Module Main_protocol.CommonSource

Parameters

Signature

Module `Main_protocol.Common`Source