Module tezos_smart_rollup::dac

Defines dac related types and functions.

Modules

• certificate
  Encoding of Dac certificates. Dac certificates are versioned: the first byte in a serialized Dac certificate is indicative of the version of the certificate itself.
• pages
  Encoding of DAC payload as a Merkle tree with an arbitrary branching factor greater or equal to 2. The serialization process works as follows:

Structs

• PreimageHash
  A 33-byte hash corresponding to a preimage.
• V0ContentPage
  Content page consisting of a dynamic number of bytes.
• V0HashPage
  Hash page consisting of a dynamic number of PreimageHash.
• V0SliceContentPage
  Borrowing version of V0ContentPage.
• V0SliceHashPage
  Borrowing version of V0HashPage.

Enums

• Page
  A Dac page: either a leaf node of contents, or node of hashes.
• SlicePage
  A Dac Page that borrows the underlying buffer.
• SlicePageError
  Errors that may occur when dealing with SlicePage.

Constants

• MAX_PAGE_SIZE
  Maximum size of dac pages is 4Kb.

Functions

• fetch_page_raw
  Fetches a page of data from file hash into buffer using Runtime::reveal_preimage. Returns a tuple of the raw page and remaining buffer.
• make_preimage_hash
  Hashes content into a preimage hash.
• prepare_preimages
  Generates the preimages of the given content.
• reveal_loop
  Recursively traverses a Merkle Tree of hashes up to max_dac_levels depth where each hash corresponds to a preimage that can be revealed via Runtime::reveal_preimage. The closure save_content is applied on each content page found.