Kate_amortized (mavkit-libs.Kzg.Kate

type public_parameters = {

max_polynomial_length : int;
shard_length : int;
srs_g1 : Kzg.Bls.Srs_g1.t;
number_of_shards : int;

}

type preprocess

val preprocess_encoding : preprocess Data_encoding.t

type shard_proof = Commitment.Single_G1.t

type commitment = Commitment.Single_G1.t

val preprocess_equal : preprocess -> preprocess -> bool

val commit : public_parameters -> Kzg.Bls.Poly.t -> commitment

val preprocess_multiple_multi_reveals : public_parameters -> preprocess

val multiple_multi_reveals : 
  public_parameters ->
  preprocess:preprocess ->
  coefficients:Mavkit_bls12_381_polynomial.scalar array ->
  shard_proof array

val verify : 
  public_parameters ->
  commitment:commitment ->
  srs_point:Bls.G2.t ->
  domain:Bls.Domain.t ->
  root:Mavkit_bls12_381_polynomial.scalar ->
  evaluations:Mavkit_bls12_381_polynomial.scalar array ->
  proof:shard_proof ->
  bool

val verify_multi : 
  public_parameters ->
  commitment:commitment ->
  srs_point:Bls.G2.t ->
  domain:Bls.Domain.t ->
  root_list:Mavkit_bls12_381_polynomial.scalar list ->
  evaluations_list:Mavkit_bls12_381_polynomial.scalar array list ->
  proof_list:shard_proof list ->
  bool