Manifesto

A trader who is long $3M of perp and long $500K of T-bills is hedged. (Illustrative scenario. See backtest under services/archive/research/.) The risk has been reduced. Most of the collateral they posted to do this is just sitting there, locked, doing nothing for them. That is broken.

Every venue today does its own isolated margin. Hyperliquid does perp margin. Aave does borrow margin. Pendle does its own. Each computes risk in a silo. Each demands collateral as if your account was a single one-sided position. Hedged risk is not priced into the math.

Atrium does the math. One vault. One margin number. The hedge is recognized. The capital that should not be locked, is not.

What we will not do

• · Invent a number to look impressive in a deck.
• · Claim a partner who has not signed.
• · Ship a green CI badge that lies about its source.
• · Treat formal verification as a sticker. We Kani-verify what the contract actually does.
• · Hide failure modes. The audit register is in the repo and updates same-day.

What we will

• · Stay testnet for Year 1. No real money at risk until the audit closes mainnet-grade.
• · Keep the contracts upgradeable behind a 48-hour timelock and a 3-of-5 multisig. Year-1 needs to fix bugs fast.
• · Publish proofs of reserves every ≤10 minutes. Anyone can verify their own balance in 10 seconds.
• · Open-source the adapter standard. Curator grant for every accepted adapter and reference agent.
• · Let agents trade for you under bounded mandates. One-tap revocation of every delegation in a single tx.

What we are building toward

A prime-brokerage layer that the EVM has not had: collateral posted once, priced as a portfolio, accessible to every venue that meets the Portico adapter standard. Open-sourced. Formally verified where the math matters most. Honest about every remaining mock, relay, and stub until the production paths land.