About ICME Labs

The team behind the receipt.

ICME builds PreFlight: pre-action verification for AI agents, with rules in plain English, deterministic enforcement, and receipts anyone can verify.

Company leaders

Advanced cryptography meets the future of lawyering.

PreFlight sits where formal verification and legal obligation converge. The founding team covers both ends.

Wyatt Benno

Co-founder & CTO

Wyatt leads PreFlight's verification and proving systems. He is a co-author of JOLT Atlas (arXiv:2602.17452), ICME's open-source zkML system built on the JOLT zkVM, and has spent his career building zero-knowledge proof infrastructure.

Every capability claim on this site runs through his engineering review before it ships.

Houman Shadab

Co-founder & CEO

Houman is a former practicing attorney and law professor, a Fellow at Stanford CodeX, and a three-time Congressional witness. He spoke at the Federal Reserve Bank of New York's 2026 Innovation Conference on turning law into verified code.

His prior startup was acquired by DocuSign.

Houman Shadab speaking on the Turning Law into Verified Code panel at the 2026 New York Fed Innovation Conference

"Turning Law into Verified Code," 2026 New York Fed Innovation Conference, Federal Reserve Bank of New York.

Why regulators are paying attention

This conversation is happening at the Fed. We were on the stage.

ICME co-founder Houman Shadab joined the New York Fed's 2026 Innovation Conference panel on turning law into verified code, alongside leading scholars in computational law.

›Former practicing attorney and law professor, published by Harvard, MIT, and Stanford.
›Three-time Congressional witness on financial regulation and technology.
›Prior startup acquired by DocuSign.

Watch the panel at newyorkfed.org

Zero Knowledge, episode 403: "Building ZK-Powered AI Guardrails with Wyatt Benno."

And the cryptography community is listening

The ZK field's podcast of record had Wyatt on to explain how it's built.

ICME co-founder Wyatt Benno joined Zero Knowledge, the leading podcast in zero-knowledge cryptography, whose guests include the field's top researchers and practitioners, for an episode on building ZK-powered AI guardrails: PreFlight, JOLT Atlas, and how zero-knowledge proofs secure agentic commerce.

Listen: Building ZK-Powered AI Guardrails

Get started

Two ways in, depending on where you sit.

Developers can be checking agent actions in minutes. Enterprise teams can start with a scoped pilot on the policies your risk team is asking about.

For developers

Try the API

Compile a policy, check an agent action, get a verdict and a receipt. No subscription, and public proof verification needs no API key.

Read the docs

For risk and platform teams

Book a call

Bring the policy stuck in review. We will count the rules that are checkable facts versus genuine judgment calls and scope a pilot from there.

Book a call