Fermah
2 known investors
Fermah builds Kernel, a protocol agency engine that enables smart contracts and protocols to autonomously execute conditional workflows, resolve markets, and orchestrate multi-step actions on-chain without human intervention. The platform serves blockchain protocols and decentralized applications across crypto infrastructure.
Also known as Fermah Froben · Fermah Kernel
Founders & leadership
Investors · 2
Company profile
researched Aug 2026Fermah develops Kernel, which the company describes as a "protocol agency engine": infrastructure that lets smart contracts and protocols move beyond single-shot reactions (observing a condition and emitting a value) to running the full sequence of actions that follows. Kernel-based contracts observe events, execute conditional logic inside sandboxed trustless containers, and return cryptographically verified results on-chain with on-chain attestation, removing dependence on centralized servers, cron jobs, or a human holding a private key.
The company frames the target use cases as workflow composition across protocols: prediction-market resolution, ZK proof generation and delivery, autonomous DeFi strategies, programmable/adaptive liquidity positions, construction of price feeds from arbitrary verifiable data streams, and cross-protocol sequencing in which one verified condition triggers a chain of borrow, swap, stake, and settle steps. Fermah positions Kernel by analogy to TCP/IP, describing TCP/IP as making computation composable across networks and Kernel as making action composable across protocols.
Fermah operates two products on top of Kernel. Fermah Froben is a B2B universal ZK proof marketplace, live on mainnet, supporting any proof system, chain, or VM, with Kernel orchestrating the proof-generation workflow. Flashcast Social is a consumer prediction-market application where users can create a market on any topic in about one second, with automatic Kernel resolution and no committee, dispute window, or waiting period.
Business model
Fermah operates a single underlying engine, Kernel, and monetizes it through applications and integrations built on top: a B2B ZK proof marketplace (Fermah Froben) serving protocol customers, and a consumer prediction-market product (Flashcast Social). The site also invites external teams to build their own autonomous workflows on Kernel as an open ecosystem.
Traction
The company reports Kernel as operational with more than 2.8 million proofs settled, more than 1 million markets resolved, 99.7% reliability under production load, and no humans in the loop. Fermah Froben is live on mainnet with ZKSync Era and Abstract Chain cited as paying customers. Flashcast Social is live, with the 1M+ markets resolved figure attributed to its first six weeks and user growth achieved without marketing spend.
Latest developments
Fermah's blog announced the appointment of Patricio Napoli as chief technology officer in a post dated March 30, 2026 authored by Vanishree Rao, followed by technical posts on autonomous ZK proof generation (April 28, 2026) and autonomous workflow execution (May 3, 2026).
▸Full profile — market position, technology, go-to-market
Market position
Fermah presents itself as infrastructure for autonomous protocol execution, contrasting Kernel with today's purely reactive smart contracts and with non-agentic AI inference. It highlights endorsement from angels and operators across the ZK and layer-1 ecosystem, including executives and founders associated with Aztec, Celestia, Polygon, Axelar, Geometry, and Polygon Zero, as well as Balaji Srinivasan, plus an academic reference from UCLA professor Amit Sahai regarding cofounder Vanishree Rao's cryptography background.
Technology
Kernel turns conditional statements of the form "if this verifiable thing is true, do that action" into an on-chain primitive. Contracts built on it observe events, run conditional logic in sandboxed trustless containers, and deliver cryptographically verified results back on-chain, with the three advertised properties being workflow composition, sandboxed execution, and on-chain attestation. It accepts any trigger and produces any output, including matching provers, generating and verifying ZK proofs, fetching and verifying off-chain sources to resolve markets, and constructing price feeds from raw verified data where no oracle exists.
Go-to-market
Fermah demonstrates Kernel through its own first-party applications rather than selling the engine in isolation, with Froben addressing B2B ZK infrastructure buyers and Flashcast Social addressing consumers. The site notes Flashcast Social's user base was reached with zero marketing spend, and offers developer entry points ("Build on Kernel", documentation) for third-party builders.
Protocols and teams needing verifiable automation: ZK rollups and chains requiring proof generation (named paying customers include ZKSync Era and Abstract Chain), DeFi protocols seeking autonomous strategies and adaptive liquidity, developers building markets or tradeable instruments on arbitrary data streams, and retail users of the Flashcast Social prediction-market app.
Compiled by commissioned research from 1 cited public sources — announcements, filings, and press listed under research sources below.
Key figures
latest reportedCompany-reported or press-reported figures, each dated to when it was claimed — not independently audited.
Timeline · 1
launches, deals, and filingsFermah announced on its blog, in a post authored by Vanishree Rao, that Patricio Napoli had been appointed chief technology officer.
Dated company events from announcements, filings, and press; legal rows summarize public dockets and regulator releases.
▸Research sources · 1
primary sources listed
- Fermahfermah.xyz · web
1 public sources were cited for this profile; the first-party ones are listed here.
Frequently asked questions
- What does Fermah do?
- Fermah builds Kernel, an on-chain engine that autonomously executes conditional, multi-step protocol workflows.
- Who founded Fermah?
- Fermah was founded by Vanishree.
- Who are Fermah's investors?
- Fermah's investors include Lemniscap, LongHash Ventures.