Chunked (signature_lib.Signature_lib.Schnorr.Message.Chunked)

type t = Snark_params.Tick.Field.t Random_oracle.Input.Chunked.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 Random_oracle.Input.Chunked.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 Random_oracle.Input.Chunked.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 Random_oracle.Input.Chunked.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 Random_oracle.Input.Chunked.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.State.t ->
  Kimchi_pasta_basic.Fp.t Random_oracle.Input.Chunked.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 Random_oracle.Input.Chunked.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 Random_oracle.Input.Chunked.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 Random_oracle.Input.Chunked.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 Random_oracle.Input.Chunked.t

val hash_checked : 
  Pickles.Impls.Step.Internal_Basic.Field.Var.t Random_oracle.Input.Chunked.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