TODAThe file protocol.
Rigging gives a file portable integrity at a distance. A TODA file carries its own proof, so its integrity holds wherever its state is managed.


Integrity, built into every digital asset.
Research, open specifications, Integrity Networks and agentic commerce, all built on the TODA and ADOT protocols.
TODA file protocol · ADOT application protocol · Open, living specifications · Integrity Networks · Agentic commerce with Qatom · Research with Cambridge CRDC
Choose where you're headed.
Qatom is our commercial arm: the market and payment rail where AI agents find, buy and sell APIs, data and digital assets.

Integrity Networks are for organisations running TODA in production.

TODAQ Labs carries out long-range research toward a human-centric web.

Open specifications and academic research.

Verify any transaction.See how TODA works
The file is the proof.
Both protocols are published: a book from World Scientific and the living specifications maintained by T.R.I.E.
Selected work

Carlos Molina-Jimenez, Dann Toliver, Hazem Danny Nakib and Jon Crowcroft on the fair exchange of our digital belongings.

The normative specification of rigging. A well-formed rig links two things so the integrity of one is extended to the other.

Objects can maintain the integrity of one system while having their state fully managed by another.

The ADOT protocol: how to create, update, serialize and interpret ADOT objects (abjects).
TODA keeps the file whole. ADOT says what is inside it.
Rigging gives a file portable integrity at a distance. A TODA file carries its own proof, so its integrity holds wherever its state is managed.
Just as HTTP is an application-layer protocol, ADOT defines how to create, update, serialize and interpret ADOT objects, called abjects. Abjects provide the meaning inside TODA files.
ADOT objects live inside TODA files: the meaning travels with the proof.
Everything we build runs on two protocols: TODA for the file, ADOT for the objects inside it.
The Rigging Specification defines TODA and the Abject Specification defines ADOT. Both are living documents, maintained by T.R.I.E.
trie.siteOpen-source core library and command-line client.
Open sourceThe TODAQ Twin API is a hosted TODA container. Micropay sends and receives micropayments between hosted twins.
Integrity NetworksThe commercial rail for AI infrastructure and agentic commerce.
Commercial