Module Kzg.Kate_amortizedSource

Sourcetype public_parameters = {
  1. max_polynomial_length : int;
  2. shard_length : int;
  3. srs_g1 : Kzg.Bls.Srs_g1.t;
  4. number_of_shards : int;
}
Sourcetype preprocess
Sourceval preprocess_encoding : preprocess Data_encoding.t
Sourcetype shard_proof = Commitment.Single_G1.t
Sourceval preprocess_equal : preprocess -> preprocess -> bool
Sourceval preprocess_multiple_multi_reveals : public_parameters -> preprocess
Sourceval multiple_multi_reveals : public_parameters -> preprocess:preprocess -> coefficients:Octez_bls12_381_polynomial.scalar array -> shard_proof array
Sourceval verify : public_parameters -> commitment:commitment -> srs_point:Bls.G2.t -> domain:Bls.Domain.t -> root:Octez_bls12_381_polynomial.scalar -> evaluations:Octez_bls12_381_polynomial.scalar array -> proof:shard_proof -> bool
Sourceval verify_multi : public_parameters -> commitment:commitment -> srs_point:Bls.G2.t -> domain:Bls.Domain.t -> root_list:Octez_bls12_381_polynomial.scalar list -> evaluations_list:Octez_bls12_381_polynomial.scalar array list -> proof_list:shard_proof list -> bool