Module `Tx_rollup_l2_batch.V1`Source

Sourcetype 'status operation_content =

| Withdraw of {
1. destination : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t;
2. ticket_hash : Alpha_context.Ticket_hash.t;
3. qty : Tx_rollup_l2_qty.t;
}
(*
A Withdraw removes qty of the tickets represented by ticket_hash from the operation's signer in layer-2, and permits destination to retrieve those tickets in layer-1 through a Tx_rollup_withdraw operation.
*)
| Transfer of {
1. destination : 'status Tx_rollup_l2_address.Indexable.t;
2. ticket_hash : 'status Tx_rollup_l2_context_sig.Ticket_indexable.t;
3. qty : Tx_rollup_l2_qty.t;
}
(*
A Transfer moves qty of the tickets represented by ticket_hash from the operation's signer in layer-2 to destination in layer-2.
*)

Sourcetype ('signer, 'content) operation = {

signer : 'signer Signer_indexable.t;
counter : int64;
contents : 'content operation_content list;

}

Sourcetype ('signer, 'content) transaction = ('signer, 'content) operation list

Sourcetype signature = Tezos_protocol_environment_alpha.Bls.t

Sourcetype ('signer, 'content) t = {

contents : ('signer, 'content) transaction list;
aggregated_signature : signature;

}

Source

val compact : 
  bits:int ->
  (Indexable.unknown, Indexable.unknown) t
    Tezos_protocol_environment_alpha.Data_encoding.Compact.t

compact ~bits is a specialized, space-efficient encoding for a batch of layer-2 operations, such as the bits first bits of the first byte of the resulting binary array are used to encode small lists of transactions.

Source

val compact_transaction : 
  (Indexable.unknown, Indexable.unknown) transaction
    Tezos_protocol_environment_alpha.Data_encoding.Compact.t

A specialized, space-efficient encoding for transaction.

The first byte of the resulting binary array is used to encode the size of lists of less than 254 elements. For larger lists, the tag is 11111111 and the list is prefixed by its size, which consumes eight bytes.

Source

val compact_transaction_signer_index : 
  (Indexable.index_only, Indexable.unknown) transaction
    Tezos_protocol_environment_alpha.Data_encoding.Compact.t

A specialized compact_transaction where the signers are indexes only.

Source

val transaction_encoding : 
  (Indexable.unknown, Indexable.unknown) transaction
    Tezos_protocol_environment_alpha.Data_encoding.t

The encoding of reference used to sign a transaction. It is derived from compact_transaction.

Source

val compact_operation : 
  (Indexable.unknown, Indexable.unknown) operation
    Tezos_protocol_environment_alpha.Data_encoding.Compact.t

A specialized, space-efficient encoding for operation.

The first byte of the binary output describes precisely the layout of the encoded value.

Considering the tag ooooccss, ss describes the format of signer, cc of counter and oooo of contents.

More precisely, for signer,

00 means an index fitting on 1 byte.
01 means an index fitting on 2 bytes.
10 means an index fitting on 4 bytes.
11 means a value of type Bls.Public_key.t.

The counter field follows a similar logic,

00 means an index fitting on 1 byte.
01 means an index fitting on 2 bytes.
10 means an index fitting on 4 bytes.
11 means an integer fitting on 8 bytes.

Finally, the contents field follows this pattern

From 0000 to 1110, the tag encodes the size of the list of operation_content, e.g., 0010 means that there is two elements in contents.
1111 means that contents is prefixed by its number of elements.

Source

val compact_operation_content : 
  Indexable.unknown operation_content
    Tezos_protocol_environment_alpha.Data_encoding.Compact.t

A specialized, space-efficient encoding for operation_content.

The first byte of the binary output describes precisely the layout of the encoded value.

Considering the tag 0qqttddd, ddd describes the format of destination, tt of ticket_hash and qq of qty. More precisely, for destination,

000 means a layer-1 address.
100 means an index for a layer-2 address, fitting on 1 byte.
101 means an index for a layer-2 address, fitting on 2 bytes.
110 means an index for a layer-2 address, fitting on 4 bytes.
111 means a value (of type Tx_rollup_l2_address.t, that is a layer-2 address.

The ticket_hash is encoded using this logic:

00 means an index for a ticket hash, fitting on 1 byte.
01 means an index for a ticket hash, fitting on 2 bytes.
10 means an index for a ticket hash, fitting on 4 bytes.
11 means a value (of type Ticket_hash.t.

The qty field follows a similar logic,

00 means an integer fitting on 1 byte.
01 means an integer fitting on 2 bytes.
10 means an integer fitting on 4 bytes.
11 means an integer fitting on 8 bytes.

If used to read, respectively write, a value where the the destination is a layer-1 address and the ticket_hash is an index, which is not allowed by the layer-2 protocol, then a

Data_encoding.Binary.Read_error (Exception_raised_in_user_function ...),

respectively

Data_encoding.Binary.Write_error (Exception_raised_in_user_function ...)

exception is raised.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Tx_rollup_l2_batch/V1/index.html

Module `Tx_rollup_l2_batch.V1`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Tx_rollup_l2_batch/V1/index.html

Module Tx_rollup_l2_batch.V1Source

Module `Tx_rollup_l2_batch.V1`Source