Security

Why the mechanism is trustworthy without reading the source.

• Snapshot Fraud Proofs — the 5 on-chain-verifiable predicates
• Sortition & VRF — committed VRF + Merkle-Sum Tree + inflation guard
• Circuit Breaker — PauseState, instant freeze, timelocked unpause

Security-relevant ADRs:

• ADR-0003 — draw, snapshot, distinct jurors
• ADR-0007 — upgrade authority, freeze
• ADR-0008 — anchor-slot, fraud predicates, sortition
• ADR-0009 — stake-weighted verifiable sortition, MST, committed VRF