The burn
syncing
PORISM burned for good
Fees in, tokens out, every buy on chain
Connecting to the chain
Every burn, on chain.
The team funds a vault that can only buy PORISM back and destroy it. Its rules are proved in Lean, and every burn links its transaction.
Use the appCAShared at launch
Fees inBuyBurnProved
The proofs
syncing
rules proved in Lean
Every prediction sealed before the outcome
How it works
Fees in. Supply out.
What happens to the fee from every trade, step by step.
- 01
Someone trades PORISM
Anyone buys or sells, on pump.fun, PumpSwap, or any app. Every trade pays a small creator fee.
The team claims the fees
Creator fees go to the team wallet, like any pump.fun coin. The team claims them on pump.fun.
02- 03
The team funds the vault
When it chooses, the team sends SOL to the burn vault. From there it can only buy PORISM, inside fixed limits.
Every token bought is burned
In the same transaction the tokens are destroyed. Nothing is held back, and nothing can be sold.
04- 05
The supply shrinks
Fewer tokens remain after every burn, and the next trade starts the loop again.
Measured
Read just now, from the chain
Measured, not claimed.
Bought and burned
… PORISM
Loading from the chain.
The chart fills in as burns happen.
every burn links its transaction
Predictions graded
…
of 0 sealed before the outcome existed
graded by the Pyth price feed, not by us · the record
Rules proved
26 of 26
every rule the vault follows, checked by a machine
20,000 cases where code and proofs agree · the proofs
In the vault now
… SOL
waiting to be spent on buys that get burned
funded by the team
It only buys. And burns.
Whatever SOL the team sends to the vault is spent buying PORISM inside fixed limits. Every token bought is burned, and there is no sell path in the code.
no burns yet
The team funds it.
Creator fees go to the team. When the team chooses to burn, it sends SOL here, and from here it can only leave as a buy that gets burned.
no deposits yet
It calls, then gets graded.
Every minute it seals a call on SOL's price before the answer exists. The Pyth feed grades it, and misses stay on the record.
no calls yet
Use cases
What you can do with PORISM.
Four ways people use it, from simply holding to checking every transaction.
For holders
Hold a coin that shrinks
You do nothing. Every trade anyone makes buys PORISM back and burns it, so each coin you hold is a bigger slice of a smaller supply.
For traders
Trade a coin with a built in buyback
The team funds buybacks, and every coin bought is burned on chain. You can watch each buyback and burn as it happens.
For the careful
Check it instead of trusting it
Every buy, burn and fee payment is a public transaction, and every rule the vault follows is a proof anyone can run.
For the curious
Watch an agent keep score
Follow the agent's live predictions. It locks each one before the answer is known, so its record can never be faked.
The token
One coin, one job.
PORISM is the coin at the center of the loop. SOL the team sends to the vault buys it back and burns it.
CAShared at launch
- TradingEvery trade pays a small fee
- VaultFunded by the team
- BurnBought coins are destroyed
- SupplyShrinks after every burn
- ProofsEvery rule checked by math
- AgentRuns the loop, keeps score
The guarantees
What can never happen.
Each of these is either proved in Lean or fixed on chain. None of it rests on our word.
Burn money can only burn
SOL sent to the vault only leaves through a buy, and whoever runs the buy ends with no more SOL than they started with.
Proved in Lean
keeper_never_profitsleftover_goes_backEverything bought is burned
Every token a buy brings in is destroyed in the same transaction. Not some of them. All of them.
Proved in Lean
everything_bought_is_burnedburn_equals_tokens_gainedTokens never leave unburned
Over any sequence of actions, every token that entered is still held or was burned. There is no way out.
Proved in Lean
nothing_leaves_unburnedSpending stays inside the limits
No buy is bigger than the cap, no day spends more than the daily cap, and buys always wait their turn.
Proved in Lean
buy_within_buy_capspend_within_epoch_capgap_respectedThe limits can never be raised
The caps are written once, at launch. The program has no instruction that changes them, for anyone.
Fixed on chain
flywheel::initializeMisses cannot be hidden
A prediction that is never opened counts as wrong, and a graded prediction can never be graded again.
Proved in Lean
expired_counts_wrongsettled_once
The record
The agent's public scoreboard.
Every minute the agent predicts SOL's price and locks the guess on chain before the answer is known. The price feed grades it, and every miss stays public.
…
Sealed
…
Graded
…
Right
…
Expired as wrong
Loading the record from the chain.
The proofs
Proved, not promised.
We wrote the vault's rules as math and had a computer check them. If any rule could be broken, the check would fail.
26
rules proved in Lean 4
20,000
cases where the code and the proofs agree
70
tests run against the programs
Questions
Questions, answered.
The team. The creator fee from every trade goes to the team wallet, as with most pump.fun coins.
The team funds burns by sending SOL to the vault when it chooses. Once SOL is there it can only buy PORISM and burn it, and every transfer and burn is a public transaction.
Nothing breaks. The flywheel buys on pump.fun before graduation and on PumpSwap after it, with the same limits and the same burn.
The vault works the same way, buying on PumpSwap instead. We ran both stages on Solana devnet before launch.
An agent runs them on a schedule, using a key with very little power. It can start a buy inside the fixed limits, and nothing else.
It cannot withdraw from the vault, keep tokens, or change the limits. If it ever stops, fees simply wait until it restarts.
Every buy, burn and fee payout is a public transaction, and the site links each one. The program addresses and the fee setting are listed in the docs.
The rules themselves are Lean theorems you can read and run, matched against the program code on 20,000 cases.
No. PORISM is a meme coin with a machine attached. The burn is real and the rules are proved, but nothing guarantees a price.
Only buy what you can afford to lose, and do your own research.
Have another question? Ask us on X
Make the next trade.
Buy PORISM, then watch the vault buy it back and burn it, on chain, in the open.