DEVNETUNAUDITEDUPGRADE KEY: 1

Your bot trades.
Your prices stay unread.

Set a price to buy, a price to sell, a price to stop. They are encrypted in your browser and evaluated by a network where no single node holds them whole.

SOL / USD · — OLD

on-chain Pyth account 7UVimffx…pjLiE

OLDER THAN THE 30-SECOND LIMIT THE PROGRAM ENFORCES — IT WOULD REFUSE TO TRADE ON THIS. DEVNET PUBLISHES LESS OFTEN THAN MAINNET.

Three prices go in. They are sealed in your browser.

buy under · sell over · stop below

The trade is public on Solana. The three prices are not.

Drag the numbers. Watch it fire.

Real SOL candles, last 24 hours, relayed from Pyth by this site’s own server.

This rule would have fired 0 times in the last 24 hours.

A COUNT OF PAST CROSSINGS IN THE WINDOW SHOWN — NOT A BACKTEST, NOT A RETURN, NOT A PROJECTION

The trade is public. The rule is not.

This is one filled trade, as the chain records it.

execute_trade · one fillShape of every fill · example amounts
programJ7mfFVqo…tHrgfNEJ
instructionexecute_trade
sideBUY
amount in418.02 USDC
price at fill$105.00
vault after1,204.55 USDC · 8.21 SOL
size cap10.00%PUBLIC ON PURPOSE — ONE TRADE RECOVERS IT EXACTLY → T-38
Never reaches the chain · evaluated inside the computation
buy under
sell over
stop below

Seven fields anyone can read. Three they cannot — encrypted in your browser, and evaluated by a cluster where no single node holds one whole.

Every fill is a labelled inequality. Enough of them narrow the three prices. Unread, not unknowable.

No instruction in the deployed program accepts an operator authority.

A TEST FAILS IF THAT CHECK IS REMOVED (T-1, T-5) · TRUE OF THE DEPLOYED CODE — SEE CARD 1 BELOW

Four pieces, one job each.

Where the money lives

Solana

The vault is a program-derived account. Deposits, limits and every enforcement rule are on chain, because that is the only place they cannot be quietly changed.

Where the rules stay unread

Arcium

Your three prices are secret-shared across an MPC cluster and evaluated without any single node holding them whole. The result comes back signed by the whole cluster.

What it decides against

Pyth

An on-chain price account the program validates for staleness and confidence before it can influence anything. Not the chart — the chart is a display feed.

How the trade happens

Jupiter

A pinned program id, called through a CPI with a slippage floor derived from the oracle, and three balance assertions after the swap returns.

What is actually built.

Counted from the repository, not asserted

0
tests passing
110 TypeScript · 16 Rust
0
program instructions
every one exercised by a suite
0
threats graded
five grades, split below
0
pairs charted
one tradable by the vault
Enforced12Coded14Design5Unverified5Inherent4
ENFORCED MEANS A TEST FAILS IF THE CHECK IS DELETED. THE FIVE UNVERIFIED ROWS ARE SHOWN BECAUSE HIDING THEM WOULD MAKE THE OTHER THIRTY-FIVE WORTHLESS.

Four things this does not do.

Grades and threat IDs from SECURITY.md

UNVERIFIED · T-3

One key can upgrade this program.

The upgrade authority is a single hot keypair, Cbdvwy6D…kbpTZ, and every other line on this site is conditional on it.

SECURITY.md, the gaps that matter #1. Verified live, not assumed: solana program show reports that authority and the account is system-owned — a plain keypair, not a multisig.

INHERENT · T-9

Your trades are public.

Solana is a public ledger, every fill is a labelled inequality, and enough of them narrow the three prices behind them.

SECURITY.md T-9 — inherent and unfixable. Bounds tighten roughly logarithmically: days, not years, for an active bot. Sharpened by T-38 and T-39. Unread, not unknowable.

CODED · T-7

We hold the MXE authority.

Using it would halt every bot loudly and publicly on chain and cannot forge a trade, but it could decrypt strategies already stored.

SECURITY.md T-7 — partially mitigated. Cluster pinning makes a migration halt the system loudly. Ciphertext already published on chain stays decryptable, because anything the MXE computes on, the MXE key decrypts, and on-chain data is permanent.

UNVERIFIED · T-10

We cannot prove one node can’t read your numbers.

Arcium’s one-honest-node guarantee is their published property, reproduced here, and nothing in this repo can verify it.

SECURITY.md, what this audit does not cover: the Arcium privacy claim (1-of-n honest) is a vendor property reproduced from their documentation, not something this project can verify. No third party has reviewed any of this.

All of it is checkable.

programJ7mfFVqo7L8jKHiVREeBti6cVrDLyHGQcUT3tHrgfNEJ · devnet
oracle7UVimffxr9ow1uXYxsr4LHAcV58mLzhmwaeKvJ1pjLiE
clusterarcium offset 456 (devnet)
circuitevaluate_strategy_v3 — 3 encrypted u64 in, 4 public inputs, 2 revealed outputs
pairSOL / USDC — one tradable pair, compiled into the program