Module blob_data

Structs

• SpongeBlob
  A Poseidon2 sponge used to accumulate data that will be added to blob(s). (More accurately called BlobSponge, but that's not as fun).
• TxEffect
• TxEffectArrayLengths

Functions

• accumulate_tx_effects_tree_root
  Combines the tx effects tree roots of two adjacent subtrees of txs, as the rollup tree is walked upwards.
• compute_tx_effect_hash
  Hash committing to the full contents of a tx's effects.
• compute_tx_effect_leaf
  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.
• create_block_end_blob_data
  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_block_end_marker
  Create the field that marks the end of a block. It's a concatenation of: BLOCK_END_PREFIX | timestamp | block_number | num_txs
• create_block_end_state_field
  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_checkpoint_end_marker
  Create the field that marks the end of a checkpoint. It's a concatenation of: CHECKPOINT_END_PREFIX | num_blob_fields
• create_tx_start_marker
  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