Legacy (signature_lib.Signature_lib.Schnorr.Message.Legacy)

type t = ( Snark_params.Tick.Field.t, bool ) Random_oracle.Input.Legacy.t

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val make_derive : 
  network_id:char ->
  ( Kimchi_pasta_basic.Fp.t, bool ) Random_oracle.Input.Legacy.t ->
  private_key:Snark_params.Tock.Field.t ->
  public_key:Pasta_bindings.Pallas.t ->
  Snark_params.Tock.Field.t

val derive : 
  ( Kimchi_pasta_basic.Fp.t, bool ) Random_oracle.Input.Legacy.t ->
  private_key:Snark_params.Tock.Field.t ->
  public_key:Pasta_bindings.Pallas.t ->
  Snark_params.Tock.Field.t

val derive_for_mainnet : 
  ( Kimchi_pasta_basic.Fp.t, bool ) Random_oracle.Input.Legacy.t ->
  private_key:Snark_params.Tock.Field.t ->
  public_key:Pasta_bindings.Pallas.t ->
  Snark_params.Tock.Field.t

val derive_for_testnet : 
  ( Kimchi_pasta_basic.Fp.t, bool ) Random_oracle.Input.Legacy.t ->
  private_key:Snark_params.Tock.Field.t ->
  public_key:Pasta_bindings.Pallas.t ->
  Snark_params.Tock.Field.t

val make_hash : 
  init:Pickles.Impls.Step.Internal_Basic.Field.t Random_oracle.Legacy.State.t ->
  ( Kimchi_pasta_basic.Fp.t, bool ) Random_oracle.Input.Legacy.t ->
  public_key:Pasta_bindings.Pallas.t ->
  r:Kimchi_pasta_basic.Fp.t ->
  Snark_params.Tock0.Field.t

val hash : 
  ( Kimchi_pasta_basic.Fp.t, bool ) Random_oracle.Input.Legacy.t ->
  public_key:Pasta_bindings.Pallas.t ->
  r:Kimchi_pasta_basic.Fp.t ->
  Snark_params.Tock0.Field.t

val hash_for_mainnet : 
  ( Kimchi_pasta_basic.Fp.t, bool ) Random_oracle.Input.Legacy.t ->
  public_key:Pasta_bindings.Pallas.t ->
  r:Kimchi_pasta_basic.Fp.t ->
  Snark_params.Tock0.Field.t

val hash_for_testnet : 
  ( Kimchi_pasta_basic.Fp.t, bool ) Random_oracle.Input.Legacy.t ->
  public_key:Pasta_bindings.Pallas.t ->
  r:Kimchi_pasta_basic.Fp.t ->
  Snark_params.Tock0.Field.t

type var =
  ( Snark_params.Tick.Field.Var.t, Snark_params.Tick.Boolean.var )
    Random_oracle.Input.Legacy.t

val hash_checked : 
  ( Pickles.Impls.Step.Internal_Basic.Field.Var.t,
    Pickles.Impls.Step.Internal_Basic.Boolean.var )
    Random_oracle.Input.Legacy.t ->
  public_key:
    (Pickles.Impls.Step.Internal_Basic.Field.Var.t
     * Pickles.Impls.Step.Internal_Basic.Field.Var.t) ->
  r:Pickles.Impls.Step.Internal_Basic.Field.Var.t ->
  Pickles.Impls.Step.Internal_Basic.Boolean.var
    Bitstring_lib.Bitstring.Lsb_first.t
    Snark_params.Tick.Checked.t