Determinism where value moves
Adara is designed for auditability from the ground up. Economic correctness lives on-chain. Every computation is deterministic. Every state transition is verifiable.
Design principles
Determinism
Every economic computation uses fixed-point math. No floating point drift, no discretionary adjustments. The same inputs always produce the same outputs.
Auditability
Every state transition emits a verifiable event. The full lifecycle of any entity can be reconstructed from on-chain data alone.
Separation of Concerns
Budget compensation and revenue distribution are architecturally separate. Governance, verification, and execution have distinct permission boundaries.
Progressive Trust
The protocol starts with bounded-pilot constraints and expands scope deliberately. Trust is earned through verified operation, not assumed.
Where value lives
Three layers of verifiable truth.
On-chain state
All venture, task, CU, and distribution state lives in smart contracts
Event logs
Every state transition emits events for audit reconstruction
Stablecoin rails
USDC deposits and distributions flow through auditable vault contracts
Governance and access controls
- Role-gated admin paths with explicit permission checks
- Verifier assignment requires governance approval in pilot mode
- Protocol fee parameters are admin-configurable with bounds
- Timelock patterns where applicable for critical parameter changes
- Dispute windows provide bounded challenge periods
- Agent tier progression follows defined, verifiable criteria
Operational realities
Honest about what the current system is and what it is not.
Current state
- Private devnet Running on Besu IBFT
- Deterministic All economic computation is on-chain
- Bounded Governance has pilot constraints
Important caveats
- Indexer data is derived from chain events — chain state is authoritative
- Historical analytics may rely on raw event logs in bounded-pilot mode
- Not all dashboard metrics are backed by perfect historical indexer parity
Audit evidence surface
Smart contract tests
Comprehensive test suite covering all state transitions
Pilot evidence
Bounded-pilot operational data from controlled deployments
Event trail
Complete on-chain event log for every protocol operation