Module Transaction_snark

module Transaction_validator : sig ... end
val with_top_hash_logging : ( unit -> 'a ) -> 'a

For debugging. Logs to stderr the inputs to the top hash.

module Pending_coinbase_stack_state : sig ... end
module Statement : sig ... end
module Stable : sig ... end
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val compare : t -> t -> int
val equal : t -> t -> bool
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> t -> Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val create : statement:Statement.With_sok.t -> proof:Mina_base.Proof.t -> t
val proof : t -> Mina_base.Proof.t
val statement : t -> Statement.t
val sok_digest : t -> Mina_base.Sok_message.Digest.t
val verify : (t * Mina_base.Sok_message.t) list -> key:Pickles.Verification_key.t -> bool Async.Deferred.t
module Verification : sig ... end
val check_transaction : ?preeval:bool -> constraint_constants:Genesis_constants.Constraint_constants.t -> sok_message:Mina_base.Sok_message.t -> source:Mina_base.Frozen_ledger_hash.t -> target:Mina_base.Frozen_ledger_hash.t -> init_stack:Mina_base.Pending_coinbase.Stack.t -> pending_coinbase_stack_state:Pending_coinbase_stack_state.t -> zkapp_account1:Mina_base.Zkapp_account.t option -> zkapp_account2:Mina_base.Zkapp_account.t option -> supply_increase:Currency.Amount.Signed.t -> Mina_transaction.Transaction.Valid.t Transaction_protocol_state.t -> Snark_params.Tick.Handler.t -> unit
val generate_transaction_witness : ?preeval:bool -> constraint_constants:Genesis_constants.Constraint_constants.t -> sok_message:Mina_base.Sok_message.t -> source:Mina_base.Frozen_ledger_hash.t -> target:Mina_base.Frozen_ledger_hash.t -> init_stack:Mina_base.Pending_coinbase.Stack.t -> pending_coinbase_stack_state:Pending_coinbase_stack_state.t -> zkapp_account1:Mina_base.Zkapp_account.t option -> zkapp_account2:Mina_base.Zkapp_account.t option -> supply_increase:Currency.Amount.Signed.t -> Mina_transaction.Transaction.Valid.t Transaction_protocol_state.t -> Snark_params.Tick.Handler.t -> unit
module Zkapp_command_segment : sig ... end
module type S = sig ... end
val zkapp_command_witnesses_exn : constraint_constants:Genesis_constants.Constraint_constants.t -> state_body:Transaction_protocol_state.Block_data.t -> fee_excess:Currency.Amount.Signed.t -> [ `Ledger of Mina_ledger.Ledger.t | `Sparse_ledger of Mina_ledger.Sparse_ledger.t ] -> ([ `Pending_coinbase_init_stack of Mina_base.Pending_coinbase.Stack.t ] * [ `Pending_coinbase_of_statement of Pending_coinbase_stack_state.t ] * Mina_base.Zkapp_command.t) list -> (Zkapp_command_segment.Witness.t * Zkapp_command_segment.Basic.t * Statement.With_sok.t) list * Mina_ledger.Sparse_ledger.t

zkapp_command_witnesses_exn ledger zkapp_commands generates the zkapp_command segment witnesses and corresponding statements needed to prove the application of each zkapp_command transaction in zkapp_commands on top of ledger. If multiple zkapp_command are given, they are applied in order and grouped together to minimise the number of transaction proofs that would be required. There must be at least one zkapp_command transaction in zkapp_command.

The returned value is a list of tuples, each corresponding to a single proof for some parts of some zkapp_command transactions, comprising: * the witness information for the segment, to be passed to the prover * the segment kind, identifying the type of proof that will be generated * the proof statement, describing the transition between the states before and after the segment * the list of calculated 'snapp statements', corresponding to the expected public input of any snapp zkapp_command in the current segment.

WARNING: This function calls the transaction logic internally, and thus may raise an exception if the transaction logic would also do so. This function should only be used on zkapp_command that are already known to pass transaction logic without an exception.

module Make (Inputs : sig ... end) : S
val constraint_system_digests : constraint_constants:Genesis_constants.Constraint_constants.t -> unit -> (string * Core.Md5.t) list
val dummy_constraints : unit -> unit Snark_params.Tick.Checked.t
module Base : sig ... end
module For_tests : sig ... end