ICME Labs Blog

Sign in Subscribe

Latest — Nov 10, 2026

The Definitive Guide to ZKML (2026).

Another year and amazing things have happened in the world of zero-knowledge machine learning. Check out our 2025 guide as a historic reference. Is ZKML mainstream? Close to home, Jolt Atlas went academic early this year, and others started building on it. One paper benchmarked lookup costs on Jolt

More issues

Formal Verification: The 40-Year Overnight Success

From chip-makers and cloud infrastructure to mathematics, AI agents, and human intent.

Verifiable Intelligence

AI can produce more than anyone can check. That is the verification bottleneck. How neurosymbolic guardrails and zero knowledge proofs make AI output verifiable, auditable, and private, so you verify instead of trust.

"Let there be light!", vibe coding or autoformalization?

It's 2027. Your kid is eleven. The AI agent on their tablet is normally very helpful. It knows they hate broccoli and are unbeatable at the dinosaur game. But tonight at 9:14 p.m. your kid asks it, "start this free trial." Seven days, no

Human-in-the-Loop Alternatives: How to Keep Control of AI Agents Without Approving Every Action

Human-in-the-loop doesn't scale; it decays into a rubber stamp. Here are the five real alternatives, why only one of them actually makes decisions, and how deterministic, provable authorization lets agents run at machine speed without running unsupervised.

Are You a Wayfinder?

With a debt to Michael Arrington's 2010 essay, "Are You A Pirate?" This is the same fire, carried in a different canoe. Most people are risk averse. That's not an insult, it's just economics. If you want a normal person to take

Neurosymbolic approaches to natural language formalization: what is state-of-the-art?

Formal methods are genuinely great. Done right, they give you hardware that does not betray you and code that provably does what it says it does. But there is a catch, and it is a big one. The proof is only as good as your specification. You can verify a

LatticeBlindFold: Towards The First Zero-Knowledge Lattice-Based Folding Scheme

Bringing NovaBlindFold's zero-knowledge guarantees into the post-quantum world The Problem The intersection of Zero-Knowledge (ZK) proofs and succinct protocols forms a central and rapidly evolving focus in modern cryptography; enabling parties to prove the validity of a computation without revealing the underlying data, while maintaining

Vericoding: The End of "Trust Me Bro, The AI Wrote It".

92% of developers use AI coding tools daily. Trust in AI-generated code has dropped from 77% to 60%. The gap between those two numbers is where the next billion-dollar problem lives.

Getting Found by Agents: A Builder's Guide to Tool Discovery in 2026

Getting discovered used to be a human problem. You stuffed keywords into title tags, begged for backlinks, wrote blog posts nobody wanted to read, and prayed to the Google algorithm. The audience was a person with ten blue links and a short attention span. You were fighting for a click.

About

ICME Labs Blog

Blog about cryptography, defensive AI, and zero knowledge machine learning.

Topics

AI

Cryptography

Formal methods

Startups