Checked (consensus.Consensus_vrf.Group.Checked)

include module type of struct include Snark_params.Tick.Inner_curve.Checked end

type t = Snark_params.Tick.Fq.t * Snark_params.Tick.Fq.t

val typ : 
  ( t, Crypto_params.Tick.Inner_curve.t ) Snark_params.Tick.Fq.Impl.Typ.t

module Shifted = Snark_params.Tick.Inner_curve.Checked.Shifted

val negate : t -> t

val constant : Crypto_params.Tick.Inner_curve.t -> t

val add_unsafe : 
  t ->
  t ->
  [ `I_thought_about_this_very_carefully of t ]
    Snark_params.Tick.Fq.Impl.Checked.t

val if_ : 
  Snark_params.Tick.Fq.Impl.Boolean.var ->
  then_:t ->
  else_:t ->
  t Snark_params.Tick.Fq.Impl.Checked.t

val double : t -> t Snark_params.Tick.Fq.Impl.Checked.t

val if_value : 
  Snark_params.Tick.Fq.Impl.Boolean.var ->
  then_:Crypto_params.Tick.Inner_curve.t ->
  else_:Crypto_params.Tick.Inner_curve.t ->
  t

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

val scale_known : 
  's Shifted.m ->
  Crypto_params.Tick.Inner_curve.t ->
  Snark_params.Tick.Fq.Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t ->
  init:'s ->
  's Snark_params.Tick.Fq.Impl.Checked.t

val sum : 
  's Shifted.m ->
  t list ->
  init:'s ->
  's Snark_params.Tick.Fq.Impl.Checked.t

module Assert = Snark_params.Tick.Inner_curve.Checked.Assert

val add_known_unsafe : 
  t ->
  Crypto_params.Tick.Inner_curve.t ->
  [ `I_thought_about_this_very_carefully of t ]
    Snark_params.Tick.Fq.Impl.Checked.t

val scale_generator : 
  'a Shifted.m ->
  Snark_params.Tick.Fq.Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t ->
  init:'b ->
  'a Snark_params.Tick.Fq.Impl.Checked.t