Module `Tx_rollup.V`Source

Parameters

module L : Plompiler.LIB

Signature

Sourcemodule Hash : sig ... end

Sourcemodule Plompiler_Curve : sig ... end

Sourcemodule Schnorr : sig ... end

Sourcemodule Merkle : sig ... end

Sourcemodule T : sig ... end

Sourcemodule Encodings : sig ... end

Sourceval compression_bound : unit T.Bounded_u.t list -> Z.t

Sourceval monadic_compress : unit T.Bounded_u.t list -> L.Num.scalar L.Num.repr L.t

Source

val assert_merkle_proof : 
  T.Merkle.leaf L.repr ->
  T.Merkle.path ->
  T.Merkle.root L.repr ->
  unit L.Bool.repr L.t

Sourceval hash_leaf : T.leaf_u -> L.scalar L.repr L.t

Sourceval hash_account : T.account_u -> L.Num.scalar L.Num.repr L.t

Source

val assert_tree_proofs : 
  T.account_u ->
  T.leaf_u ->
  T.Merkle.path ->
  T.Merkle.path ->
  T.Merkle.root L.repr ->
  unit L.Bool.repr L.t

Sourceval coerce : 'a T.Bounded_u.t -> L.scalar L.repr

Sourceval check_eq_account : T.account_u -> T.account_u -> unit L.repr L.t

Sourceval check_eq_leaf : T.leaf_u -> T.leaf_u -> unit L.repr L.t

Source

val predicate_fees : 
  old_root:Plompiler.Csir.Scalar.t ->
  old_next_pos:(Z.t * Z.t) ->
  new_root:Plompiler.Csir.Scalar.t ->
  new_next_pos:(Z.t * Z.t) ->
  fees:(Z.t * Z.t) ->
  Epoxy_tx__Types.P.account_tree_el ->
  unit L.repr L.t

Source

val hash_op : 
  [< `Create of T.create_u
  | `Credit of T.credit_u
  | `Debit of T.debit_u
  | `Transfer of T.transfer_u ] ->
  L.scalar L.repr L.t

Sourceval expected_op_code : Types.P.tx -> Plompiler.S.t

Sourceval get_op_code : Types.P.tx -> Z.t

Source

val predicate_ill_formed : 
  old_root:Plompiler.Csir.Scalar.t ->
  old_next_pos:(Z.t * Z.t) ->
  new_root:Plompiler.Csir.Scalar.t ->
  new_next_pos:(Z.t * Z.t) ->
  fee:(Z.t * Z.t) ->
  exit_validity:bool ->
  rollup_id:bytes ->
  Types.P.tx ->
  unit L.Bool.repr L.t

Source

val transfer_circuit : 
  op_code:Plompiler.Csir.Scalar.t ->
  old_root:T.Merkle.root L.Bool.repr ->
  old_next_pos:'a ->
  rollup_id:L.scalar L.repr ->
  generator:T.Schnorr.Affine.point L.repr ->
  T.transfer_u ->
  T.transfer_storage_u ->
  (T.Merkle.root L.Bool.repr * 'a * Epoxy_tx__Constants.fee T.Bounded_u.t) L.t

Source

val predicate_op : 
  ?public:bool ->
  old_root:Plompiler.Csir.Scalar.t ->
  old_next_pos:(Z.t * Z.t) ->
  new_root:Plompiler.Csir.Scalar.t ->
  new_next_pos:(Z.t * Z.t) ->
  fee:(Z.t * Z.t) ->
  exit_validity:bool ->
  rollup_id:bytes ->
  Types.P.tx ->
  Types.P.tx_storage ->
  unit L.repr L.t

Source

val predicate_private_batch : 
  old_root:Plompiler.Csir.Scalar.t ->
  old_next_pos:(Z.t * Z.t) ->
  new_root:Plompiler.Csir.Scalar.t ->
  new_next_pos:(Z.t * Z.t) ->
  fees:(Z.t * Z.t) ->
  rollup_id:bytes ->
  Types.P.transfer list ->
  Types.P.transfer_storage list ->
  unit L.repr L.t

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Tx_rollup.V`Source

Parameters

Signature

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Tx_rollup.VSource

Parameters

Signature

Module `Tx_rollup.V`Source