Skip to content

How the terms relate

VERIFIABLE AI · A NEW CATEGORY OF AI

OPEN VERIFICATION · A NEW CATEGORY OF OPEN SOURCE

  • Proof-of-ControlOUR FLAGSHIP STANDARD
    • + more

Open verification is a new category of open source: the open standards and specifications that let anyone verify what an AI system did, without trusting the operator or an auditor. It is the foundation. Verifiable AI is a new category of AI: AI whose actions can be verified from evidence, built on open verification. Proof-of-Control is our flagship standard for evidence that an AI agent stayed within the controls it was given. It is one of many ways to achieve open verification.

Claims-based AI and verifiable AI

Claims-based AI asks you to trust agent logs. Verifiable AI produces a separate piece of evidence of what the agent did, which is either attested by an independent verifier or, with open verification, verifiable by anyone without trusting the operator or an auditor.

Claims-based AIVerifiability Tier 1 · where most AI is todayVerifiable AIFrom Verifiability Tier 2 · at minimum
Who is the actor?Inferred from credentials.Attested.
What were they allowed to do?Asserted in policy.Authority is documented and signed in policy.
What did they actually do?Actions reconstructed from logs.Each action carries evidence.
What is the agent made of?Undocumented, changes silently.Composition documented and attested.
Who can verify?Only the vendor.Someone other than the vendor.

Verifiability Tiers

Claims-based AI: where most AI is today
Proof-of-Control: achieved at tiers 3–4 · open verification

VERIFIABILITY TIER 1

Assertion

their word

VERIFIABILITY TIER 2

Attestation

a third party vouches

VERIFIABILITY TIER 3

Trust-minimized

anyone can openly verify

VERIFIABILITY TIER 4

Self-enforcing

no evidence, no action

Who you must trust
The operator
A third party or qualified auditor
The verification mechanism itself, open to anyone (mathematical or distributed assumptions)
The protocol itself: continuous constraints, anchored in external hardware roots of trust
How it is verified
Not verified; asserted
An auditor verifies, with privileged access
Anyone can openly verify, no privileged access
Execution is gated by cryptographic proofs; verification is continuous and automated
When it is verified
Never, or only when questioned
After the fact, sampled
After the fact, but by anyone
Before every execution interval: no proof, no write
On integrity break
Nothing: the system runs regardless
Detected in audit, after the fact
Detected by anyone, but the system can still run
MUST NOT execute until the integrity condition holds again
Accountability
Operator, self-attested
Named human + institution, bound to policy
Same authority, externally verifiable without trusting the operator or their auditors
Accountable person whose authorization is un-bypassable

THE BINARY THRESHOLD: Graded by who you must trust, not by whether cryptography is used. It indicates the phase change from human verification to mechanical verification, from a party’s word to a mechanism anyone can openly verify.

See the Verifiability Tiers on the Proof-of-Control page →

Questions and definitions

What is open verification?

Open verification means anyone can verify what an AI system did, using published methods, without having to trust the operator or an auditor. It is essential when machines act faster than people can watch. Open verification is a new category of open source: the open standards and specifications that let anyone verify what an AI system did, without trusting the operator or an auditor.

What is verifiable AI?

Verifiable AI is a new category of AI: AI whose actions can be verified from evidence, built on open verification.

What is claims-based AI?

Claims-based AI is AI that asks you to trust what it did on the operator's word, whereas verifiable AI provides evidence of what it did.

What is Proof-of-Control?

Proof-of-Control is our flagship industry-led open standard for evidence that an AI agent stayed within the controls it was given. It is one of many ways to achieve open verification. Anyone can openly verify that evidence without trusting the operator or an auditor, and any change made after it is recorded can be detected.

Read about Proof-of-Control →

What is the Verifiability Gap?

The widening distance between what AI agents do and anyone's ability to openly verify that they stayed within the controls they were given.

WHAT
AGENTS DO

WHAT ANYONE CAN OPENLY VERIFY

VERIFIABILITY GAP

WIDENS AS CAPABILITY COMPOUNDS

Read why the gap is widening →