Tick.Inner_curve
include module type of struct include Crypto_params.Tick.Inner_curve end
module Params = Crypto_params.Tick.Inner_curve.Params
type t = Pasta_bindings.Pallas.t
val to_affine : t -> Pasta_bindings.Pallas.Affine.t
val of_affine_coordinates :
Kimchi_pasta_basic.Fp.t ->
Kimchi_pasta_basic.Fp.t ->
t
val scale : t -> Kimchi_pasta_basic.Fq.t -> t
val random : unit -> t
module Base_field = Crypto_params.Tick.Inner_curve.Base_field
val one : t
val zero : t
val y_squared : Kimchi_pasta_basic.Fp.t -> Kimchi_pasta_basic.Fp.t
module Affine = Crypto_params.Tick.Inner_curve.Affine
val to_affine_or_infinity :
Pasta_bindings.Pallas.t ->
Pasta_bindings.Pallas.Affine.t
val to_affine_exn :
Pasta_bindings.Pallas.t ->
Kimchi_pasta_basic.Fp.t * Kimchi_pasta_basic.Fp.t
val of_affine :
(Kimchi_pasta_basic.Fp.t * Kimchi_pasta_basic.Fp.t) ->
Pasta_bindings.Pallas.t
val bin_size_t : t Bin_prot.Size.sizer
val bin_write_t : t Bin_prot.Write.writer
val bin_read_t : t Bin_prot.Read.reader
val __bin_read_t__ : ( int -> t ) Bin_prot.Read.reader
val bin_writer_t : t Bin_prot.Type_class.writer
val bin_reader_t : t Bin_prot.Type_class.reader
val bin_t : t Bin_prot.Type_class.t
val (*) : Kimchi_pasta_basic.Fq.t -> t -> t
val find_y : Kimchi_pasta_basic.Fp.t -> Kimchi_pasta_basic.Fp.t option
val point_near_x : Kimchi_pasta_basic.Fp.t -> Pasta_bindings.Pallas.t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
type var = Tick0.Field.Var.t * Tick0.Field.Var.t
module Scalar : sig ... end
module Checked : sig ... end
val typ : ( Checked.t, Crypto_params.Tick.Inner_curve.t ) Fq.Impl.Typ.t