01 /
By track
Invariant research coverage across chains and VMs. Each track is grounded in shipped work or active development. No vapor.
Shipped, CI-verified, public
Building, active development
Planned, on-roadmap, not started
Solana / Anchor
Solana VM · Anchor · Crucible
cf-invariants-anchor: Crucible/Anchor invariant harness
cf-invariants-jito: tip-distribution harness
cf-invariants-jito-tippayment: tip-payment harness
cf-invariants-jito-priorityfee: priority-fee harness
cf-invariants-pyth: oracle-class protocol harness
Atlas C3: Cashio account-validation twin (~$50M, Mar 2022)
Atlas C4: Mango Markets oracle-freshness twin (~$117M, Oct 2022)
Atlas C5: Loopscale collateral-oracle-bound twin (~$5.8M, Apr 2025)
SVS-1 (Solana Vault Standard): share-price monotonicity harness
Helium lazy-distributor harness: DePIN sector reward-epoch conservation
StreamFlow token-vesting harness: schedule-monotonicity class
AI invariant suggester CLI v1: reads Anchor IDL, emits property-test stubs
Atlas C9: oracle-price-manipulation class (2026 exploit class)
Authoring layer v2: exploit-annotated AI suggestions (sequenced after CLI v1)
Starknet / Cairo
Starknet VM · Cairo 2.x · snforge
cf-invariants: 12-class reference suite, Sepolia-verified
snforge PR #4409: upstream tooling contribution
Additional reference contracts (expanding coverage)
Starknet mainnet harness
13th Cairo invariant class: first real-protocol Starknet harness
snforge stateful-fuzz integration maintenance (opportunistic)
Atlas C-Cairo expansion: 2nd Cairo case (gated on a new citable post-mortem)
Exploit → Invariant Atlas
Cross-chain · Reference library
Atlas v0.1: 7 cases across Cairo, Move, Solana, EVM
Apart "Lost in Translation?" paper (2026-06-20)
Cross-layer settlement-boundary case (C8, Aztec class)
Atlas v0.2: C8 + C9 + additional class, targeting 10 cases across 4 VMs
Atlas methodology arXiv preprint: extends Apart paper into a full Atlas-methods paper
EVM / HyperEVM
EVM · Solidity · Foundry · Recon Chimera
hyperevm-safety: 6 HyperCore-boundary invariants (v0.1)
cf-invariants-verus-bridge-conservation: lock/mint bridge CI
chimera-template-pack: Foundry + Recon Chimera scaffold
Atlas C8 cross-layer settlement twin (see Atlas track)
EVM oracle manipulation invariant suite
HyperEVM D-6 RollupSettlementWindow: generalizes Aztec proof-vs-settlement class
EVM AI fuzz-to-invariant lifter: Foundry fuzz suite to invariant stubs
AI-safety evals
Internal gate system + public record
Gate system: §4a content QA + §4b code quality + CEO-Hold
Self-correction record: public at /what-we-caught
Apart paper: cross-model, cross-language auditor eval (2026-06-20)
cf-modeleval evidence gate (v1 build in progress)
cf-modeleval v1: AI-safety certification artifact + GitHub Action
Design-partner onboarding cohort (gated on v1 evidence gate)
LTFF / AISI applications (gated on v1 evidence gate)
Sui / Move
Sui VM · Move language
cf-invariants-move: Move invariant harness (Sui Devnet)
Atlas C2: Cetus overflow-safety + liquidity conservation (~$223M, May 2025)
Sui devnet deploy: publish cf-invariants-move to produce a public package ID
Sui Security Expansion outreach: cold reach to security@sui.io with Move methodology
Move harness v2: second real Sui protocol (gated on license + toolchain check)