Module PBT.MakeCompressedSerialisationAffine

Parameters

module G : sig ... end

Signature

val test_zero : unit -> unit
val test_of_compressed_bytes_exn_recover_correct_point_from_uncompressed_representation : unit -> unit
val test_of_compressed_bytes_opt_recover_correct_point_from_uncompressed_representation : unit -> unit
val test_compressed_version_is_half_the_size : unit -> unit
val test_of_compressed_bytes_exn_and_opt_do_not_accept_uncompressed_bytes_representation : unit -> unit
val test_of_bytes_exn_and_opt_do_not_accept_compressed_bytes_representation : unit -> unit
val get_tests : unit -> string * unit Alcotest.test_case list