For_native_base_field (snarky_curve.Snarky_curve.For_native_base

Parameters

module Inputs : Native_base_field_inputs

Signature

include sig ... end

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 -> 'a

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

val negate : ('a * Inputs.F.t) -> 'a * 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

module Window_table : sig ... end

val pow2s : Inputs.Constant.t -> Inputs.Constant.t Core_kernel.Array.t

module Scaling_precomputation : sig ... end

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

val lookup_point : 
  (Inputs.Impl.Boolean.var * Inputs.Impl.Boolean.var) ->
  (Inputs.Constant.t
   * Inputs.Constant.t
   * Inputs.Constant.t
   * Inputs.Constant.t) ->
  Inputs.Impl.Field.t * Inputs.Impl.Field.t

val pairs : 
  Inputs.Impl.Boolean.var list ->
  (Inputs.Impl.Boolean.var * Inputs.Impl.Boolean.var) list

type shifted = {

value : t;
shift : Inputs.Constant.t;

}

val unshift : shifted -> t

val multiscale_known : 
  (Inputs.Impl.Boolean.var list * Scaling_precomputation.t) Core_kernel.Array.t ->
  t

val scale_known : Scaling_precomputation.t -> Inputs.Impl.Boolean.var list -> t

val conditional_negation : 
  Inputs.Impl.Boolean.var ->
  ('a * Inputs.Impl.Field.t) ->
  'a * Inputs.Impl.Field.t

val p_plus_q_plus_p : t -> t -> Inputs.Impl.Field.t * Inputs.Impl.Field.t

val scale_fast : 
  (Inputs.Impl.Field.t * Inputs.F.t) ->
  [< `Plus_two_to_len_minus_1 of Inputs.Impl.Boolean.var Core_kernel.Array.t ] ->
  Inputs.F.t * Inputs.F.t