Module `Tx_rollup.P`Source

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

val default_account : 
  int ->
  Types.P.account * Types.P.leaf array * Types.P.Merkle.tree

Source

val get_account : 
  int ->
  (Types.P.account * Types.P.leaf array * Types.P.Merkle.tree) Types.P.IMap.t ->
  Types.P.account * Types.P.leaf array * Types.P.Merkle.tree

Sourceval random_leaf : Constants.position Types.P.Bounded.t -> Types.P.leaf

Sourceval random_ticket_tree : int -> Types.P.Merkle.tree * Types.P.leaf array

Source

val 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

Source

val make_state : 
  (Types.P.Schnorr.pk * Z.t * Constants.balance Types.P.ticket array) list ->
  Types.P.state

Sourceval coerce : 'a Types.P.Bounded.t -> Z.t

Sourceval hash_op : Types.P.unsigned_tx -> Hash.scalar

Sourceval sign_op : Types.P.Schnorr.sk -> Types.P.unsigned_tx -> Types.P.tx

Source

val preprocess_operation : 
  Types.P.state ->
  Types.P.tx ->
  Types.P.tezos_zkru ->
  Types.P.state * Types.P.tx * Types.P.tx_storage option

Sourceval get_validity : Types.P.tx_storage option -> bool

Source

val tx_fee : 
  Types.P.tx ->
  Types.P.tx_storage option ->
  Constants.fee Types.P.Bounded.t

Source

val 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 = {

tx : Types.P.tx;
tx_s : Types.P.tx_storage;
fee : Constants.fee Types.P.Bounded.t;
hash : Plompiler.S.t;
exit_validity : bool;

}

Source

val 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

Source

val 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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.epoxy-tx/Epoxy_tx/Tx_rollup/P/index.html

Module `Tx_rollup.P`Source

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.epoxy-tx/Epoxy_tx/Tx_rollup/P/index.html

Module Tx_rollup.PSource

Module `Tx_rollup.P`Source