Group (consensus.Consensus

type t = Snark_params.Tick.Inner_curve.t

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val to_yojson : t -> Yojson.Safe.t

val of_yojson : 
  Yojson.Safe.t ->
  ( Pasta_bindings.Pallas.t, string ) Core_kernel.Result.t

val to_string_list_exn : t -> string list

val of_string_list_exn : string list -> Pasta_bindings.Pallas.t

type value = Snark_params.Tick.Inner_curve.t

type var = Snark_params.Tick.Inner_curve.var

val scale : 
  Snark_params.Tick.Inner_curve.t ->
  Kimchi_pasta_basic.Fq.t ->
  Snark_params.Tick.Inner_curve.t

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

val generator : Snark_params.Tick.Inner_curve.t

val add : 
  Snark_params.Tick.Inner_curve.t ->
  Snark_params.Tick.Inner_curve.t ->
  Snark_params.Tick.Inner_curve.t

val negate : Snark_params.Tick.Inner_curve.t -> Snark_params.Tick.Inner_curve.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

module Checked : sig ... end