• zk-verified ✓atlas treasury
  • 11.84%kamino · usdc
  • 18.20%drift · ksol
  • 9.40%marginfi · usdc
  • 14.10%jupiter · jlp
  • 7.80%kamino · jitosol
  • 8.92%drift · usdc
  • 22.40%orca · sol-usdc
  • 24.10%raydium · sol-usdc
  • 6.20%marginfi · sol
  • 12.30%kamino · pyusd
  • 19.80%jupiter · jlp-perp
  • 5.40%meteora · usdc-usdt
zk · groth16devnet · livecolosseum frontier · 2026

Autonomous treasury

verified

 by math.
On Solana.

AI manages allocations. zk proofs verify every move. Trust the math, not the team.

01verify in browser02treasury pre-warm03oracle-anomaly refusal
verifiedsp1 · groth16

live apy

11.84%

verified rebalances

all sp1-proven

142

allocated

+ sp1 zkVM

POWERED BY · INTEGRATED WITH

27 audited partners.
One verifiable system.

SIX PRIMITIVES

Atlas at the protocol layer.
Six primitives.

Each primitive is a small piece of the Atlas system. Every rebalance touches all six.

Proof Verification

Every rebalance ships a Groth16 proof. Solana checks alt_bn128 pairing in ~250k CU before any USDC moves.

AI Allocation

Seven specialist agents vote on each move. One hard veto collapses to the pre-committed defensive vector.

DEADLINE

Treasury Pre-warm

Cashflow signals from Dodo trigger buffer-ratcheting rebalances before scheduled payouts. Deadline-safe by construction.

THRESHOLD

Proof-Gated Triggers

Stop-loss orders that refuse to fire during oracle anomalies. Conditions are committed and verifier-checked.

RATIOS · PUBLIC$••••$••••$••••NOTIONALS · KEY-GATED

Confidential Mode

Token-2022 confidential transfer. Allocation ratios stay public; absolute notionals hidden behind viewing keys.

MAINNETEPHEMERAL ROLLUPSETTLE

Private Execution

Vault state delegates to a MagicBlock ephemeral rollup. Routing path stays private; final state settles on mainnet.

✔ verified apy   :  4.98%
✔ boost apy      :  8.67%
✔ tvl targeted   :  $100M+
✔ proofs settled :  142  (24h)
✔ PUSD-native    :  12 recipes  · primary reserve
✔ refusal floor  :  1 / 7  hard veto
─ every number proof-bound, not interpolated ─
ℹ how atlas compounds yield[ VERIFIED ]  +  [ BOOST ]
verified apy pays drift / kamino / jupiter, gated bygroth16 receipt. boost apy layers funding-capture sleevesunder the same 7-agent ensemble.
─ intelligence — 8 week projection ─
baseline   $42M  →  $58M
atlas      $42M  →  $108M
+$50M USDC · top-5 +$31M · new +$19M

proof lifecycle · phase 01–19

Eight stages. Every one verifiable.

From quorum ingestion to mainnet settlement, each stage carries an SLO and a public-input commitment. Click any stage on /architecture for the file-level walkthrough.

  1. ingest
  2. features
  3. consensus
  4. allocate
  5. explain
  6. prove
  7. verify
  8. settle

product surfaces

One protocol. Two operator surfaces. One promise.

routes through
+ sp1 zkVM · pyth pull oracles

atlas protocol

On-chain verifier + custody.

The vault programs, the public-input layout, the SP1 verifier on Solana. Every settlement bound to a Groth16 receipt — invalid proofs reject at the program ix entry.

slots · max proof age

150

Open the diagram

atlas vault

AI-managed allocations.

Seven specialist agents (risk · yield · liquidity · tail · compliance · execution · observer) propose; quorum decides; explanation is folded into the public input. No agent can sign alone.

agents · per ensemble

7

See the engine

atlas treasury os

Stablecoin payouts, pre-warmed by proof.

Schedule a payout. Atlas pre-warms the buffer across multiple proofs to land deadline-safe. Adaptive DCA, runway projections, Squads multisig — every action proof-anchored.

buffer pre-warm proofs

≤ 4

Open Treasury OS

trust posture

Atlas does not require trust. It is structurally checkable.

Determinism

  • I-1

    Strategy is committed at vault creation; no mid-life flip.

  • I-3

    Proofs older than MAX_STALE_SLOTS rejected on-chain.

  • I-4

    Public input layout is fixed-size; no Borsh on the verifier path.

Replay

  • I-5

    Every rebalance reproduces from the warehouse byte-for-byte.

  • I-7

    Bus events are content-addressed via blake3.

  • I-8

    Archival writes are atomic with rebalance commits.

Adversarial Survival

  • I-18

    Cross-role keeper signing rejected at the program ix entry.

  • I-20

    High-impact actions need an attestation from a distinct signer + RPC quorum.

  • I-23

    Verifier accepts only ER-rooted post-states inside private execution.

live · public stream

Every move, visible.

Verifieda1b2…0718open proof explorer →
live rebalance feedstream.vault.*.rebalance

architecture timeline

Twenty-four phases. One contract.

play story →
01primitives03verifier05feature pipeline07private execution09decision engine11intelligence13alerts & viewing keys15proof archival17infra observatory19qvac · local-first24frontend final

terminal

Jump straight to where the work happens.

open dashboard →
g v

Vaults

Allocations, APY, depositor flow.

open
g r

Live rebalance

Streaming receipts as they verify.

open

Triggers

Conditional execution, scheduled.

open

Recurring

DCA + payroll + scheduled rebalances.

open

Hedging

Perp / option sleeves with proofs.

open
g t

Treasury

Runway, payments, confidential ledger.

open

Governance

Models, agents, model-card commits.

open

connect · read · decide

Trust the math. Not the team.

Atlas ships every rebalance with a Groth16 proof verified on-chain. Open the explorer, pick any rebalance, click verify-in-browser — Atlas does not ask you to trust it.