Percolator Risk Engine · Solana SPL

PERCOBALL

The first Solana SPL token with Percolator integrated — the formally verified risk engine built by Toly (Anatoly Yakovenko), ensuring no withdrawal ever exceeds the protocol's real balance sheet.

⬡
—
$ ——
$——
—
Market Cap
——
Vol 24h
——
Liquidity
——
CA q2k2P6GFPDJWYYZFVkBdvRzyqKB7h7DtViZnscJperc
Fees Collected
$0
Percolator engine · all-time
Liquidity Added
$0
Deposited into vault
Txns Processed
0
Risk-engine verified
Insurance Fund
$0
Balance-sheet backed
Unique Holders
0
On-chain wallets
Invariant Checks
0
All passed · Kani verified
Risk Engine ACTIVE
Keeper Crank RUNNING
Invariant ENFORCED
Funding Rate 0.0091%
Last Settle —
⚙
Percolator Risk Engine Formally verified on-chain · Solana Mainnet · github.com/aeyakovenko/percolator