Fq (kimchi_bindings.Kimchi_bindings.Protocol.SRS.Fq)

type nonrec t

val create : int -> t

val write : bool option -> t -> string -> unit

val read : int option -> string -> t option

val lagrange_commitment : 
  t ->
  int ->
  int ->
  Pasta_bindings.Fp.t Kimchi_types.or_infinity Kimchi_types.poly_comm

val add_lagrange_basis : t -> int -> unit

val commit_evaluations : 
  t ->
  int ->
  Pasta_bindings.Fq.t array ->
  Pasta_bindings.Fp.t Kimchi_types.or_infinity Kimchi_types.poly_comm

val b_poly_commitment : 
  t ->
  Pasta_bindings.Fq.t array ->
  Pasta_bindings.Fp.t Kimchi_types.or_infinity Kimchi_types.poly_comm

val batch_accumulator_check : 
  t ->
  Pasta_bindings.Fp.t Kimchi_types.or_infinity array ->
  Pasta_bindings.Fq.t array ->
  bool

val batch_accumulator_generate : 
  t ->
  int ->
  Pasta_bindings.Fq.t array ->
  Pasta_bindings.Fp.t Kimchi_types.or_infinity array

val urs_h : t -> Pasta_bindings.Fp.t Kimchi_types.or_infinity