Every smart contract ever written is reactive: it reads a condition and emits a
value, then waits for a human, a server or a cron job to do the next thing. Fermah Kernel —
which the team calls the Protocol Agency Engine — turns “if this verifiable thing is true, do
that” into an on-chain primitive: observe the event, run the logic in a sandboxed container,
settle the verified result back on-chain. Two products run on it in production today. Froben
is the universal proof market, live on mainnet, with ZKsync Era named as a
paying customer. Flashcast Social turns any topic into a prediction market in a second and
resolves it automatically, with no committee and no dispute window. The current Fermah docs
separately list Marina as privacy-preserving data infrastructure. Fermah Pay now has a
public Stellar testnet implementation for prepaid USDC billing, sponsored submission,
recurring mandates and x402 settlement. Read the Pay testnet update →
Read it at fermah.xyz and docs.fermah.xyz.