package octez-plonk

  1. Overview
  2. Docs
package octez-plonk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Aggregation.Polynomial_protocolSource

Sourcemodule SMap = Plonk.SMap
Sourcemodule type S = sig ... end
Sourcemodule KZG_Answers_commitment : sig ... end
include sig ... end
Sourcemodule PC : sig ... end
Sourcemodule Answers_commitment : sig ... end
Sourcetype prover_public_parameters = PC.Public_parameters.prover
Sourceval prover_public_parameters_t : prover_public_parameters Repr.t
Sourcetype verifier_public_parameters = PC.Public_parameters.verifier
Sourceval verifier_public_parameters_t : verifier_public_parameters Repr.t
Sourcetype transcript = PC.transcript
Sourceval transcript_t : transcript Repr.t
Sourceval proof_t : proof Repr.t
Sourceval prove : prover_public_parameters -> transcript -> n:int -> generator:Plonk.Bls.Scalar.t -> secrets:(Plonk.Bls.Poly.t Plonk.SMap.t * PC.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 -> proof * transcript
Sourceval verify : verifier_public_parameters -> transcript -> n:int -> generator:Plonk.Bls.Scalar.t -> commitments:PC.Commitment.t list -> eval_points:Plonk.Identities.eval_point list list -> identities:Plonk.Identities.verifier_identities -> proof -> bool * transcript
Sourcetype prover_aux = Make_aggregation(Polynomial_commitment)(KZG_Answers_commitment).prover_aux = {
  1. answers : Plonk.Bls.Scalar.t SMap.t SMap.t list;
  2. batch : Plonk.Bls.Scalar.t SMap.t list;
  3. alpha : Plonk.Bls.Scalar.t;
  4. x : Plonk.Bls.Scalar.t;
  5. r : Plonk.Bls.Scalar.t;
  6. cms_answers : Answers_commitment.t SMap.t;
  7. t_answers : Plonk.Bls.Scalar.t list;
}

Auxiliary information needed by the prover for the meta-verification in aPlonK

Sourcetype verifier_aux = Make_aggregation(Polynomial_commitment)(KZG_Answers_commitment).verifier_aux = {
  1. alpha : Plonk.Bls.Scalar.t;
  2. x : Plonk.Bls.Scalar.t;
  3. r : Plonk.Bls.Scalar.t;
}

Auxiliary information needed by the verifier for the meta-verification in aPlonK

Sourceval prove_super_aggregation : prover_public_parameters -> transcript -> commit_to_answers_map: (Plonk.Bls.Scalar.t array -> Answers_commitment.t) SMap.t -> n:int -> generator:Plonk.Bls.Scalar.t -> secrets:(Plonk.Bls.Poly.t SMap.t * PC.Commitment.prover_aux) list -> eval_points:Plonk.Identities.eval_point list list -> evaluations:Plonk.Bls.Evaluations.t SMap.t -> identities:Plonk.Identities.prover_identities -> nb_of_t_chunks:int -> (proof * prover_aux) * transcript
Sourceval verify_super_aggregation : verifier_public_parameters -> transcript -> n:int -> generator:Plonk.Bls.Scalar.t -> commitments:PC.Commitment.t list -> eval_points:Plonk.Identities.eval_point list list -> s_list:Plonk.Bls.Scalar.t SMap.t list -> cms_answers:Answers_commitment.public SMap.t -> t_answers:Plonk.Bls.Scalar.t list -> ids_batch:(Plonk.Bls.Scalar.t * int) SMap.t -> proof -> (bool * verifier_aux) * PC.transcript