Provably Logo

The people and mission behind Provably.

Mission

From verifiable databases to verifiable agents.

We build verifiable data and runtime verification infrastructure so agents and humans can collaborate with accuracy, safety and integrity.

Our research in verifiable databases creates cryptographic anchors of integrity across the agent lifecycle, from tool use and handoffs to cross agent protocols, learning and governance.

For a new era where trust and integrity are verified at machine speed, not left to contracts and paper trails.

Founders
Emanuele Ragnoli
Emanuele Ragnoli
CTO and founder

Inventor and adjunct professor. Previously at Intel and IBM Research.

Alberto Trombetta
Alberto Trombetta
Scientific officer and founder

Professor of computer science, University of Insubria.

Simone Bottoni
Simone Bottoni
Engineer and founder

PhD in secure, privacy-preserving techniques for federated machine learning.

Advisors
Benedek Orban
Benedek Orban
Founding member
CV Labs
Matteo Campanelli
Matteo Campanelli
Advisor
Offchain Labs
Nicolas Mohnblatt
Nicolas Mohnblatt
Advisor
ZK Security
Investors
CV VC
CV VC
First cheque
Incubated by CV Labs
Dr Steven Waterhouse
Dr Steven Waterhouse
Nazaré
Julien Bouteloup
Julien Bouteloup
Stake Capital
Etienne Van Kruys
Etienne Van Kruys
TRGC
Investors and partners
CV VCCV LabsStake CapitalMidnightGenLayerTRGC

Tell us what you need to prove.

A SQL query over chain data, a report built on private data, an agent's tool call: we'll show you how to attach a proof to it.