Module Epoxy_tx.UtilsSource

Sourceval of_int : int -> Plompiler.S.t
Sourceval to_bls_scalar : Plompiler.S.t -> Curve.Base.t
Sourceval of_bls_scalar : Curve.Base.t -> Plompiler.S.t
Sourceval point_to_affine : (Plompiler.S.t * Plompiler.S.t) -> Curve.t
Sourceval affine_to_point : Curve.t -> Plompiler.S.t * Plompiler.S.t
Sourceval random_int : int -> int
Sourceval random_z : Z.t -> Z.t
Sourceval nb_bits_base : int
Sourceval curve_base_to_s : Curve.Base.t -> Plompiler.S.t
Sourceval curve_base_of_s : Plompiler.S.t -> Curve.Base.t
Sourceval curve_scalar_to_s : Curve.Scalar.t -> Plompiler.S.t
Sourceval curve_scalar_of_s : Plompiler.S.t -> Curve.Scalar.t
Sourceval scalar_of_bytes : bytes -> Plompiler.S.t
Sourceval scalar_to_bytes : Plompiler.S.t -> bytes