Encodings (mavkit-libs.Epoxy_tx.Tx

module Bounded_e : sig ... end

module Anemoi = Plompiler.Anemoi128.V

module Plompiler_Curve : sig ... end

module Plompiler_Hash : sig ... end

val s_of_int : int -> Plompiler.S.t

val curve_base_t_encoding : 
  (Epoxy_tx.Utils.Curve.Base.t, L.scalar L.repr, L.scalar) L.Encodings.encoding

val curve_scalar_t_encoding : 
  (Epoxy_tx.Utils.Curve.Scalar.t, L.scalar L.repr, L.scalar)
    L.Encodings.encoding

val curve_t_encoding : 
  (Epoxy_tx.Utils.Curve.t, (L.scalar * L.scalar) L.repr, Plompiler_Curve.point)
    L.Encodings.encoding

val balance_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Z.t * Z.t, Epoxy_tx__Constants.balance Bounded_e.VL.t, L.Num.scalar)
    L.Encodings.encoding

val amount_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Z.t * Z.t, Epoxy_tx__Constants.amount Bounded_e.VL.t, L.Num.scalar)
    L.Encodings.encoding

val fee_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Z.t * Z.t, Epoxy_tx__Constants.fee Bounded_e.VL.t, L.Num.scalar)
    L.Encodings.encoding

val pos_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Z.t * Z.t, Epoxy_tx__Constants.position Bounded_e.VL.t, L.Num.scalar)
    L.Encodings.encoding

val cnt_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Z.t * Z.t, Epoxy_tx__Constants.counter Bounded_e.VL.t, L.Num.scalar)
    L.Encodings.encoding

val op_code_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Z.t * Z.t, Epoxy_tx__Constants.op_code Bounded_e.VL.t, L.Num.scalar)
    L.Encodings.encoding

val mavryk_pkh_encoding : 
  (bytes, L.scalar L.repr, L.scalar) L.Encodings.encoding

val mavryk_zkru_encoding : 
  (bytes, L.scalar L.repr, L.scalar) L.Encodings.encoding

val ticket_encoding : 
  safety:Bounded_e.bound_check_safety ->
  'a Constants.Bound.t ->
  ('a Epoxy_tx__Types.P.ticket,
    'a Epoxy_tx__Types.V(L).ticket_u,
    L.scalar * L.Num.scalar)
    L.Encodings.encoding

val ticket_balance_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Constants.balance Epoxy_tx__Types.P.ticket,
    Epoxy_tx__Constants.balance Epoxy_tx__Types.V(L).ticket_u,
    L.scalar * L.Num.scalar)
    L.Encodings.encoding

val ticket_amount_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Constants.amount Epoxy_tx__Types.P.ticket,
    Epoxy_tx__Constants.amount Epoxy_tx__Types.V(L).ticket_u,
    L.scalar * L.Num.scalar)
    L.Encodings.encoding

val account_encoding : 
  (Epoxy_tx__Types.P.account,
    Epoxy_tx__Types.V(L).account_u,
    (L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
    L.Encodings.encoding

val leaf_encoding : 
  (Epoxy_tx__Types.P.leaf,
    Epoxy_tx__Types.V(L).leaf_u,
    L.Num.scalar * (L.scalar * L.Num.scalar))
    L.Encodings.encoding

val proof_encoding : 
  (Epoxy_tx__Types.P.proof,
    Epoxy_tx__Types.V(L).proof_u,
    (L.scalar * bool) list * L.scalar)
    L.Encodings.encoding

val account_tree_el_encoding : 
  (Epoxy_tx__Types.P.account_tree_el,
    Epoxy_tx__Types.V(L).account_tree_el_u,
    ((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
    * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
       * ((L.scalar * bool) list * L.scalar)))
    L.Encodings.encoding

val leaf_tree_el_encoding : 
  (Epoxy_tx__Types.P.leaf_tree_el,
    Epoxy_tx__Types.V(L).leaf_tree_el_u,
    (L.Num.scalar * (L.scalar * L.Num.scalar))
    * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list))
    L.Encodings.encoding

val tree_el_encoding : 
  (Epoxy_tx__Types.P.tree_el,
    Epoxy_tx__Types.V(L).tree_el_u,
    (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
     * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
        * ((L.scalar * bool) list * L.scalar)))
    * ((L.Num.scalar * (L.scalar * L.Num.scalar))
       * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list)))
    L.Encodings.encoding

val header_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Types.P.header,
    Epoxy_tx__Types.V(L).header_u,
    L.Num.scalar * ((L.scalar * L.Num.scalar) * (L.scalar * L.scalar)))
    L.Encodings.encoding

val unsigned_transfer_payload_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Types.P.unsigned_transfer_payload,
    Epoxy_tx__Types.V(L).unsigned_transfer_payload_u,
    L.Num.scalar
    * (L.Num.scalar
       * (L.Num.scalar * ((L.scalar * L.Num.scalar) * L.Num.scalar))))
    L.Encodings.encoding

val transfer_payload_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Types.P.transfer_payload,
    Epoxy_tx__Types.V(L).transfer_payload_u,
    (L.Num.scalar
     * (L.Num.scalar
        * (L.Num.scalar * ((L.scalar * L.Num.scalar) * L.Num.scalar))))
    * (bool list * ((L.scalar * L.scalar) * bool list)))
    L.Encodings.encoding

val transfer_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Types.P.transfer,
    Epoxy_tx__Types.V(L).transfer_u,
    (L.Num.scalar * ((L.scalar * L.Num.scalar) * (L.scalar * L.scalar)))
    * ((L.Num.scalar
        * (L.Num.scalar
           * (L.Num.scalar * ((L.scalar * L.Num.scalar) * L.Num.scalar))))
       * (bool list * ((L.scalar * L.scalar) * bool list))))
    L.Encodings.encoding

val transfer_storage_encoding : 
  (Epoxy_tx__Types.P.transfer_storage,
    Epoxy_tx__Types.V(L).transfer_storage_u,
    ((((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
      * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
         * ((L.scalar * bool) list * L.scalar)))
     * ((L.Num.scalar * (L.scalar * L.Num.scalar))
        * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list)))
    * (((((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
         * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
            * ((L.scalar * bool) list * L.scalar)))
        * ((L.Num.scalar * (L.scalar * L.Num.scalar))
           * ((L.Num.scalar * (L.scalar * L.Num.scalar))
              * (L.scalar * bool) list)))
       * bool))
    L.Encodings.encoding

val unsigned_create_payload_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Types.P.unsigned_create_payload,
    Epoxy_tx__Types.V(L).unsigned_create_payload_u,
    (L.scalar * L.scalar) * L.Num.scalar)
    L.Encodings.encoding

val create_payload_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Types.P.create_payload,
    Epoxy_tx__Types.V(L).create_payload_u,
    ((L.scalar * L.scalar) * L.Num.scalar)
    * (bool list * ((L.scalar * L.scalar) * bool list)))
    L.Encodings.encoding

val create_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Types.P.create,
    Epoxy_tx__Types.V(L).create_u,
    (L.Num.scalar * ((L.scalar * L.Num.scalar) * (L.scalar * L.scalar)))
    * (((L.scalar * L.scalar) * L.Num.scalar)
       * (bool list * ((L.scalar * L.scalar) * bool list))))
    L.Encodings.encoding

val create_storage_encoding : 
  (Epoxy_tx__Types.P.create_storage,
    Epoxy_tx__Types.V(L).create_storage_u,
    ((((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
      * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
         * ((L.scalar * bool) list * L.scalar)))
     * ((L.Num.scalar * (L.scalar * L.Num.scalar))
        * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list)))
    * (((((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
         * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
            * ((L.scalar * bool) list * L.scalar)))
        * ((L.Num.scalar * (L.scalar * L.Num.scalar))
           * ((L.Num.scalar * (L.scalar * L.Num.scalar))
              * (L.scalar * bool) list)))
       * bool))
    L.Encodings.encoding

val credit_payload_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Types.P.credit_payload,
    Epoxy_tx__Types.V(L).credit_payload_u,
    L.Num.scalar * (L.Num.scalar * (L.scalar * L.Num.scalar)))
    L.Encodings.encoding

val credit_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Types.P.credit,
    Epoxy_tx__Types.V(L).credit_u,
    (L.Num.scalar * ((L.scalar * L.Num.scalar) * (L.scalar * L.scalar)))
    * (L.Num.scalar * (L.Num.scalar * (L.scalar * L.Num.scalar))))
    L.Encodings.encoding

val credit_storage_encoding : 
  (Epoxy_tx__Types.P.credit_storage,
    Epoxy_tx__Types.V(L).credit_storage_u,
    ((((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
      * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
         * ((L.scalar * bool) list * L.scalar)))
     * ((L.Num.scalar * (L.scalar * L.Num.scalar))
        * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list)))
    * bool)
    L.Encodings.encoding

val unsigned_debit_payload_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Types.P.unsigned_debit_payload,
    Epoxy_tx__Types.V(L).unsigned_debit_payload_u,
    L.Num.scalar * (L.Num.scalar * (L.scalar * L.Num.scalar)))
    L.Encodings.encoding

val debit_payload_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Types.P.debit_payload,
    Epoxy_tx__Types.V(L).debit_payload_u,
    (L.Num.scalar * (L.Num.scalar * (L.scalar * L.Num.scalar)))
    * (bool list * ((L.scalar * L.scalar) * bool list)))
    L.Encodings.encoding

val debit_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (Epoxy_tx__Types.P.debit,
    Epoxy_tx__Types.V(L).debit_u,
    (L.Num.scalar * ((L.scalar * L.Num.scalar) * (L.scalar * L.scalar)))
    * ((L.Num.scalar * (L.Num.scalar * (L.scalar * L.Num.scalar)))
       * (bool list * ((L.scalar * L.scalar) * bool list))))
    L.Encodings.encoding

val debit_storage_encoding : 
  (Epoxy_tx__Types.P.debit_storage,
    Epoxy_tx__Types.V(L).debit_storage_u,
    ((((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
      * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar)))
         * ((L.scalar * bool) list * L.scalar)))
     * ((L.Num.scalar * (L.scalar * L.Num.scalar))
        * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list)))
    * bool)
    L.Encodings.encoding