Module Aggregation.Main_protocolSource

Sourcemodule SMap = Plonk.SMap
Sourcemodule Make_impl (Super_PP : Polynomial_protocol.S with type PC.Scalar.t = Plompiler.S.t) : sig ... end
Sourcemodule type S = sig ... end
Sourcemodule Make (PP : Polynomial_protocol.S with type PC.Scalar.t = Plompiler.S.t) : S with module PP = PP and type circuit_verifier_input = PP.PC.Scalar.t array list
include sig ... end
Sourcemodule PP : sig ... end
Sourceexception Rest_not_null of string
Sourceexception Entry_not_in_table of string
Sourcemodule Scalar : sig ... end
Sourcetype scalar = Scalar.t
Sourceval scalar_t : scalar Repr.t
Sourceval scalar_encoding : scalar Data_encoding.t
Sourcetype circuit_map = (Plonk.Circuit.t * int) Plonk.SMap.t
Sourceval prover_public_parameters_t : prover_public_parameters Repr.t
Sourceval verifier_public_parameters_t : verifier_public_parameters Repr.t
Sourceval verifier_public_parameters_encoding : verifier_public_parameters Data_encoding.t
Sourceval proof_t : proof Repr.t
Sourceval proof_encoding : proof Data_encoding.t
Sourcetype circuit_prover_input = Make(Polynomial_protocol).circuit_prover_input = {
  1. public : scalar array;
  2. witness : scalar array;
}
Sourcetype prover_inputs = circuit_prover_input list Plonk.SMap.t
Sourcetype circuit_verifier_input = Polynomial_protocol.PC.Scalar.t array list
Sourceval to_verifier_inputs : prover_inputs -> verifier_inputs
Sourceval setup : zero_knowledge:bool -> circuit_map -> srs:(Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) -> prover_public_parameters * verifier_public_parameters
Sourceval update_prover_public_parameters : Bytes.t -> prover_public_parameters -> prover_public_parameters
Sourceval update_verifier_public_parameters : Bytes.t -> verifier_public_parameters -> verifier_public_parameters
Sourceval verify : verifier_public_parameters -> inputs:verifier_inputs -> proof -> bool
Sourcemodule Internal_for_tests : sig ... end
Sourcemodule Gates : sig ... end
Sourcemodule Perm : sig ... end
Sourceval get_gen_n_t : prover_public_parameters -> scalar * int * int
Sourcetype prover_aux = Make(Polynomial_protocol).prover_aux = {
  1. answers : scalar SMap.t SMap.t list;
  2. batch : scalar SMap.t list;
  3. alpha : scalar;
  4. beta : scalar;
  5. gamma : scalar;
  6. delta : scalar;
  7. x : scalar;
  8. r : scalar;
  9. cm_answers : scalar;
  10. cm_pi : scalar;
}
Sourcetype verifier_aux = Make(Polynomial_protocol).verifier_aux = {
  1. alpha : scalar;
  2. beta : scalar;
  3. gamma : scalar;
  4. delta : scalar;
  5. x : scalar;
  6. r : scalar;
}
Sourceval verify_list : verifier_public_parameters -> nb_proofs:int -> (proof * scalar SMap.t list * scalar * scalar) -> bool * verifier_aux