Assertion Executor and Store
Home · Generic Index · Chain Overlays
This document summarizes the assertion execution pipeline implemented in credible-sdk/crates/assertion-executor and its integration with the sidecar.
Execution Topology
Notes:
- The executor validates transactions, collects triggers, and evaluates matching assertions against a forked state view.
- The assertion store is populated by the assertion indexer reading State Oracle events and fetching bytecode from Assertion DA.
- Overlay and forked databases provide a transaction-scoped view of state without mutating the canonical cache.
Transaction Validation Flow
Key code paths:
- Executor core:
credible-sdk/crates/assertion-executor/src/executor/mod.rs - Assertion store:
credible-sdk/crates/assertion-executor/src/store/assertion_store.rs - Assertion indexer:
credible-sdk/crates/assertion-executor/src/store/indexer.rs - Inspectors and PhEVM:
credible-sdk/crates/assertion-executor/src/inspectors/