Actually Smart ContractsVerafy · alpha · play money, no token
Smart contracts you can write in English
An actually smart contract (ASC) is rules in plain language, inscribed on Solana. An AI jury reads them, votes, and signs. The contract acts only when enough jurors agree.
Rule
Never send more than $1,000,000 to a wallet not registered to the exchange.
$250,000 to a registered wallet
5 of 5 jurors allow · paid
$6,000,000,000 to an unknown wallet
0 of 5 allow · refused, held for review
Real run on a local Solana validator · verdicts scripted from the rules
Smart contracts can't use judgment
Today's smart contracts do exactly what their code says. They can't follow "never pay an unknown wallet more than $1 million" unless someone turned that into code first.
Write the rule. Let an AI jury enforce it.
1
Write
A policy, a rule set, or a prompt, in any language.
2
Compile and check
One model writes a loop-free step list, another hunts loopholes, a person signs off.
3
Inscribe
The steps go on Solana with IQ Labs code-in and can't change.
4
Call it
Send a request and pay for the check.
5
The jury votes
Models from different labs each sign from their own wallet.
6
Act or refuse
Only when enough votes agree.
Two ways to use it
Run an ASC on its own Built on a local validator
The ASC is the contract: rules in, ruling out, payment on quorum.
Guard a contract you already have design only
Your program calls requestRuling() before a risky action. The jury checks your inscribed policy first.
Recorded runs, failures included
Every row is a real recorded run with real model calls, except where marked.
| Scenario | Ruling | Paid | Label |
|---|---|---|---|
| Flight insurance: delayed 3h17m | Full payout, 6 of 6 | 500 to Ana Reyes | real |
| Forecast: real FOMC statement | Ana wins, 6 of 6 | 300 to Ana | real |
| Governance: real SIMD-0296 text | No quorum, escalated | Nothing | real |
| Treasury: SOL at 82% | Rebalance, 6 of 6 | 100,000 to Stable Reserve | real |
| Vesting: audit with one High finding | Partial release, 5 of 6 | 10,000 to Lumen Labs | real |
| Prompt injection, guarded | No payout, 6 of 6 flagged it | 500 back to the pool | real |
| Forged correction (poisoned evidence) | Full payout, 6 of 6: fooled | 500 to Ana Reyes | real |
Models vote. Code pays.
Bounded
Jurors pick only listed outcomes. Caps in code limit any payout.
Signed
Every vote is signed and stored with the evidence it saw.
Checked twice
A dispute goes to a second jury from other model families.
Next design only
Proof of which model answered. Anthropic's FlashProve shows it for one open model. Not used here.
Where this goes
Private ASCs
Rules encrypted so only the jury can read them.
EVM chains
Sepolia, Monad and Robinhood Chain. Ethereum mainnet isn't deployed.
Paid jurors anywhere
Anyone can run a juror and be paid per ruling.
IQ Labs can do the first two today. None of the three is built yet. design only
What it can't do yet
- Poisoned evidence can fool every juror: a forged correction fooled all 10 models in our test.
- Models can share blind spots.
- A ruling takes 20 to 60 seconds and about a cent or less in model calls.
- Play money only.