val ciphersuite : bytes
val ciphersuite_length : int
val sign : Fr.Stubs.scalar -> Bytes.t -> bytes
val verify : Bytes.t -> Bytes.t -> Bytes.t -> bool
val aggregate_verify : (Bytes.t * Bytes.t) list -> Bytes.t -> bool
