Utils.Transcript
Module used to handle transcripts, used for applying the Fiat-Shamir heuristic
type t
val t : t Repr.t
val empty : t
val equal : t -> t -> bool
val of_srs : len1:int -> len2:int -> Mavkit_bls12_381_polynomial.Srs.t -> t
val list_expand : 'a Repr.ty -> 'a list -> t -> t
val expand : 'a Repr.ty -> 'a -> t -> t