Traits

  • A transaction on a data availability layer, including the address of the sender.
  • Trait with collection of trait bounds for a block hash.
  • 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.