Fermah · Protocol Agency Infrastructure

Protocols that act.

Today’s protocols fire a single shot. Kernel lets them run the whole sequence — composably, autonomously, at scale. The last human bottleneck in crypto, solved.

Build on Kernel See it live

KERNEL: OPERATIONAL
2.8M+ PROOFS SETTLED
1M+ MARKETS RESOLVED
99.7% RELIABILITY
0 HUMANS IN THE LOOP

The Root Cause

Protocols can see the world. They can’t orchestrate what happens next.

Software got agency. It stopped waiting to be told what to do. A model that only does inference — reads a prompt, returns an answer — is powerful but not agentic. The same is true of protocols: they can read a condition and emit a value. What neither can do on their own is run the sequence that follows.

Every smart contract ever written is still purely reactive — kept alive by a centralized server someone is paying for, a cron job someone forgot to monitor, a human with a private key.

Agentic AI — software got agency in 2024

Single shot

Model reads prompt Answer one output Next step? no continuation

Agentic

Model reads prompt Agent plans + calls tools Step N delivers result

Protocols — still waiting for that upgrade

Single shot

Condition on-chain Value one output Next action? no continuation

Agentic

Condition on-chain Kernel orchestrates workflow Step N settles on-chain

The Engine

Fermah Kernel. The Protocol Agency Engine.

Define. Execute. Attest. Without asking a human.

Kernel turns “if this verifiable thing is true, do that action” into a first-class on-chain primitive — sandboxed, attested, and composable across any protocol. Smart contracts built on Kernel observe events, run conditional logic in trustless containers, and deliver cryptographically verified results back on-chain.

Build on Kernel Explore Fermah Kernel

kernel · live trace

14:32:07.221 condition market #841_207 "ETH > $9k by Friday?" — deadline reached

14:32:07.229 kernel fetch sources → verify → resolve outcome: NO

14:32:07.312 settle payouts computed · 1,204 positions

14:32:07.598 ✓ SETTLED · onchain · 0 humans involved

14:32:09.014 condition proof request · zk rollup batch #55_310

14:32:09.020 kernel match prover → generate → verify proof

14:32:11.876 settle proof delivered · SLA met

14:32:11.902 ✓ SETTLED · proof #2_800_114 · 99.7% reliability

14:32:14.440 condition stream "creator_growth_rate" · no oracle exists

14:32:14.447 kernel construct price feed from raw verified data

14:32:14.981 settle feed live · instrument tradeable

14:32:15.008 ✓ SETTLED · new market surface online

The analogy Kernel is to protocols what TCP/IP was to machines.

TCP/IP made computation composable across networks.

Kernel makes action composable across protocols.

What this unlocks

Markets on any questionPerps on any streamDeFi automationProgrammable liquidityPrice-feed constructionCross-protocol sequencing

Any measurable condition becomes a market, a trade, or a financial instrument. Markets that have never existed — because no human committee could resolve them in time.

One Engine Underneath

Every app impossible without Protocol Agency.

Two live today. The rest is what Kernel makes possible — all running on one engine.

Applications

Live Flashcast Social Prediction markets Tweet-to-create markets on anything. Kernel resolves automatically — 1M+ markets, zero human intervention.Live · Mainnet Froben ZK proof marketplace Any protocol requests a proof, Kernel runs the workflow. 2.8M+ proofs, 99.7% reliability.

Enabled by Kernel DeFi Automation Autonomous strategies Any strategy runs autonomously on any condition — including off-chain ones.

Enabled by Kernel Programmable Liquidity Adaptive LP positions Positions that adapt to macro events, cross-chain flows, and volatility in real time.

Enabled by Kernel Price Feed Construction Any stream, tradeable Kernel builds the feed from any verifiable source. Any measurable stream becomes tradeable.

Enabled by Kernel Cross-Protocol Sequencing Multi-step workflows Borrow, swap, stake, settle — one verified condition triggers the whole sequence.

Open ecosystem Your app here Any autonomous workflow If it can be measured, triggered, or sequenced — Kernel can run it.

Fermah Kernel

The Protocol Agency Engine · any input · any workflow · any output

Workflow compositionSandboxed executionOn-chain attestationAny trigger · Any output

What's Already Real

Two products live. One engine underneath. Both in production.

B2B · ZK Infrastructure Live on mainnet

Fermah Froben

The Universal Proof Market

The ZK proof marketplace for teams pushing the frontier. Any proof system. Any chain. Any VM. Kernel orchestrates the full proof-generation workflow — no humans in the loop.

0.0M+

Proofs generated

0.0%

Reliability, production load

Paying customers: ZKSync Era · Abstract Chain

Build with us

Consumer · Prediction Markets Live

Flashcast Social

Prediction Markets. Instant. Final.

Anyone creates a market on any topic in one second, resolved automatically by Kernel. No committee. No dispute window. No 48-hour wait.

Markets resolved, first 6 weeks

Users, zero marketing spend

The long tail, created by users — not an editorial team.

Start predicting

Trusted by Industry Leaders

Backed by the Best

Angels & Operators

Claire Kart

CMO, Aztec

Balaji Srinivasan

Former Coinbase CTO and a16z General Partner

Mustafa Al-Bassam

CEO and Cofounder, Celestia

Sandeep Nailwal

Founder, Polygon

Nick White

COO, Celestia

Gregoire Le Jeune

Cofounder, Geometry

Sergey Gurbanov

Cofounder, Axelar

Jaynti Kanani

Cofounder, Polygon and Mozak

Daniel Lubarov

Cofounder, Polygon Zero

Zac Williamson

Founder and CEO, Aztec

Trusted by the Pioneers of ZK

“I had the honor of advising Vanishree during her PhD in Cryptography. What really sets her apart is her depth of cryptographic knowledge, from the frontiers of mathematical research to its practical applications. I look forward to Fermah changing the landscape of the zero-knowledge space!”

Amit Sahai

Professor of Computer Science and Mathematics, UCLA