Make_weierstrass_checked (snarky_curves.Snarky_curves.Make_weierstrass

Parameters

module F : Snarky_field_extensions.Intf.S

module Scalar : sig ... end

module Curve : sig ... end

module Params : Params_intf with type field := F.Unchecked.t

module Override : sig ... end

type t = F.t * F.t

val typ : ( t, Curve.t ) F.Impl.Typ.t

module Shifted : sig ... end

val negate : t -> t

val constant : Curve.t -> t

val add_unsafe : 
  t ->
  t ->
  [ `I_thought_about_this_very_carefully of t ] F.Impl.Checked.t

val if_ : F.Impl.Boolean.var -> then_:t -> else_:t -> t F.Impl.Checked.t

val double : t -> t F.Impl.Checked.t

val if_value : F.Impl.Boolean.var -> then_:Curve.t -> else_:Curve.t -> t

val scale : 
  's Shifted.m ->
  t ->
  F.Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t ->
  init:'s ->
  's F.Impl.Checked.t

val scale_known : 
  's Shifted.m ->
  Curve.t ->
  F.Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t ->
  init:'s ->
  's F.Impl.Checked.t

val sum : 's Shifted.m -> t list -> init:'s -> 's F.Impl.Checked.t

module Assert : sig ... end