Combines the tx effects tree roots of two adjacent subtrees of txs, as the rollup tree is walked upwards.
Hash committing to the full contents of a tx's effects.
This tx's leaf of the block's tx effects tree: a hash binding the tx hash to the hash of the tx's effects.
Creates the data to be added to the blobs for a block. This is appended after the data for all txs in the block.
It allows components outside the circuits to correctly retrieve the relevant fields from the checkpoint's blob data
and to easily reconstruct the block header without needing to query other sources or rebuild the trees.
Create the field that marks the end of a block. It's a concatenation of:
BLOCK_END_PREFIX | timestamp | block_number | num_txs
Create the field that contains information about the end state of a block. It's a concatenation of:
l1_to_l2_message_next_available_leaf_index | note_hash_next_available_leaf_index |
nullifier_next_available_leaf_index | public_data_next_available_leaf_index | total_mana_used
Create the field that marks the end of a checkpoint. It's a concatenation of:
CHECKPOINT_END_PREFIX | num_blob_fields
Create the first field that marks the start of a tx. It's a concatenation of:
TX_START_PREFIX | num_note_hashes | num_nullifiers | num_l2_to_l1_msgs | num_public_data_writes |
num_private_logs | private_logs_length | public_logs_length | contract_class_log_length | revert_code |
num_blob_fields