Skip to main content

Smart Contract Architecture

Home · Generic Index · Chain Overlays

This document provides a high-level view of the Credible Layer contract suite in credible-layer-contracts.

Contract Topology​

Notes:

  • StateOracle is the on-chain registry for assertion adopters and assertions.
  • Admin verifiers validate who can register or manage an adopter.
  • DA verifiers validate data availability proofs for assertions.
  • Access control and batch execution are shared components for governance and batched updates.

Registration and Assertion Flow​

Key code paths:

  • State oracle: credible-layer-contracts/src/StateOracle.sol
  • Access control: credible-layer-contracts/src/StateOracleAccessControl.sol
  • Batch helper: credible-layer-contracts/src/Batch.sol
  • Admin verifiers: credible-layer-contracts/src/verification/admin/
  • DA verifier: credible-layer-contracts/src/verification/da/