Skip to content
Rex St. John
demoin development

Actually Smart Contracts

Rules written in plain English, inscribed on Solana with IQ Labs, and enforced by a jury of AI models from different labs. The contract acts only when enough jurors agree.

Solana / IQ Labs inscriptions / OpenRouter

Problem

A smart contract does exactly what its code says, bug or not. The rules people care about are written in words, like "never pay an unknown wallet more than a million dollars," and someone has to turn each one into code and get it right.

Solution

Write the rule in English. One model compiles it into a short list of steps, a second looks for loopholes, and a person signs off. The steps are inscribed on Solana with IQ Labs. When a request comes in, AI models from different labs each read the rule and the request and sign a vote from their own wallet. The contract acts only on a quorum.

The same check can stand in front of an existing contract: a program calls checkPolicy() before a risky action. That part is a proposal.

Analysis

The jury never touches the money. It can only pick among the outcomes the contract lists, and caps in code limit what any outcome pays. That keeps a wrong ruling bounded, at the price of a contract author having to list outcomes up front.

The weak point is evidence. In testing, a forged correction fooled all ten models. Models from different labs still share blind spots, so a jury reduces single-model error and does nothing about bad inputs.

A signature proves which wallet voted, not which model ran. Anthropic's FlashProve research proves a model's output without revealing its weights, but today it is slow and covers one open model. Until something like it is practical, jurors have to be trusted operators.

Result

The hot-wallet run is real on a local Solana validator: inscription, signatures and transfer. Its votes were scripted from the rules. The other recorded runs use real model calls. Everything runs on play money. The sandbox, the standards and certification are next.

Screens

  • The ASC logo in ASCII beside a withdrawal rule and two rulings, one paid 5 of 5 and one refused 0 of 5
    One rule, two withdrawals. The same jury pays one and refuses the other.
  • Six steps from an English rule to a signed result, write, compile and check, inscribe, call, jury votes, act or refuse
    From a sentence to a signed ruling in six steps.
  • A table of recorded runs on insurance, forecasts, governance, treasury and vesting contracts, including a poisoned-evidence run the jury got wrong
    Recorded runs with real model calls. The forged correction fooled every model, and it stays in the table.
  • Five draft standards, each with an ASCII badge, for devices, agents, treasuries, vesting contracts and model deployments
    Draft standards a repo can be certified against, each a short list of things software should never do.