Make_checked (snarky_curve.Snarky_curve.Make

Parameters

module Inputs : Inputs_intf

type t = Inputs.F.t * Inputs.F.t

val double : t -> t

val add' : 
  div:( Inputs.F.t -> Inputs.F.t -> Inputs.F.t ) ->
  (Inputs.F.t * Inputs.F.t) ->
  (Inputs.F.t * Inputs.F.t) ->
  t

val add_exn : (Inputs.F.t * Inputs.F.t) -> (Inputs.F.t * Inputs.F.t) -> t

val to_affine_exn : 'a -> 'b

val constant : Inputs.Constant.t -> Inputs.F.t * Inputs.F.t

val negate : ('a * Inputs.F.t) -> 'b * Inputs.F.t

val one : Inputs.F.t * Inputs.F.t

val assert_on_curve : (Inputs.F.t * Inputs.F.t) -> unit

val typ_unchecked : ( t, Inputs.Constant.t ) Inputs.Impl.Typ.t

val typ : ( t, Inputs.Constant.t ) Inputs.Impl.Typ.t

val if_ : 
  Inputs.Impl.Boolean.var ->
  then_:(Inputs.F.t * Inputs.F.t) ->
  else_:(Inputs.F.t * Inputs.F.t) ->
  Inputs.F.t * Inputs.F.t

module Scalar : sig ... end

module type Shifted_intf = sig ... end

module Shifted (M : sig ... end) () : Shifted_intf

val shifted : unit -> (module Shifted_intf)

val scale : 
  ?init:(Inputs.F.t * Inputs.F.t) ->
  t ->
  Inputs.Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t ->
  Inputs.F.t * Inputs.F.t