Module Tx_rollup.PSource

Sourceval compression_bound : unit Types.P.Bounded.t list -> Z.t
Sourceval compress : unit Types.P.Bounded.t list -> Z.t
Sourceval scalar_of_account : Types.P.account -> Plompiler.S.t
Sourceval scalar_of_leaf : Types.P.leaf -> Hash.scalar
Sourceval default_leaf : int -> Types.P.leaf
Sourceval empty_ticket_tree : int -> Types.P.leaf array * Types.P.Merkle.tree
Sourceval default_account : int -> Types.P.account * Types.P.leaf array * Types.P.Merkle.tree
Sourceval random_ticket_tree : int -> Types.P.Merkle.tree * Types.P.leaf array
Sourceval random_account : Types.P.Schnorr.sk array -> int -> Types.P.account * Types.P.leaf array * Types.P.Merkle.tree
Sourceval random_state : Types.P.Schnorr.sk array -> unit -> Types.P.state
Sourceval empty_state : unit -> Types.P.state
Sourceval coerce : 'a Types.P.Bounded.t -> Z.t
Sourceval get_validity : Types.P.tx_storage option -> bool
Sourceval preprocess_private_batch : Types.P.state -> Types.P.tx list -> Types.P.tezos_zkru -> Types.P.state * Types.P.transfer list * Types.P.transfer_storage list * Epoxy_tx__Constants.amount Types.P.Bounded.t
Sourcetype generate_op_result = {
  1. tx : Types.P.tx;
  2. tx_s : Types.P.tx_storage;
  3. fee : Constants.fee Types.P.Bounded.t;
  4. hash : Plompiler.S.t;
  5. exit_validity : bool;
}
Sourceval generate_transaction : ?src_pos:Z.t -> ?dst_pos:Z.t -> ?amount:Constants.amount Types.P.ticket -> ?fee:Z.t -> ?cnt:Z.t -> ?valid:bool -> ?unsafe:bool -> sks:Types.P.Schnorr.sk array -> Types.P.state -> generate_op_result * Types.P.state
Sourceval generate_transactions : ?src_pos:Z.t -> ?dst_pos:Z.t -> ?amount:Constants.amount Types.P.ticket -> ?fee:Z.t -> ?cnt:Z.t -> ?valid:bool -> ?unsafe:bool -> nb_batches:int -> batch_size:int -> sks:Types.P.Schnorr.sk array -> Types.P.state -> (generate_op_result list * Types.P.state) list