Expand description

Defines traits and types used by the rollup to verify claims about the DA layer.

Structs

  • Simple structure that implements the Read trait for a buffer and counts the number of bytes read from the beginning. Useful for the partial blob reading optimization: we know for each blob how many bytes have been read from the beginning.

Traits

  • This trait wraps “blob transaction” from a data availability layer allowing partial consumption of the blob data by the rollup.
  • Trait with collection of trait bounds for a block hash.
  • A block header, typically used in the context of an underlying DA blockchain.
  • A specification for the types used by a DA layer.
  • A DaVerifier implements the logic required to create a zk proof that some data has been processed.