• btc-relay
  • Functionality:
    • Storage and verification of block headers
    • Handling of forks
    • Verification of transaction inclusion proofs
    • Validation of transactions according to accepted format in XCLAIM (see
  • Test coverage*: 96.25%
• bitcoin
  • Functionality:
    • types.rs: BTC-Relay / Bitcoin data model
    • parser.rs: Parsing Bitcoin block headers and transactions
    • merkle.rs: Verification of Merkle Proofs
    • utils.rs: Bitcoin-specific util functions
  • Test coverage*: 83.74%
• btc-core
  • Functionality:
    • Unified handling across all components