ANCHORED

Verification Agents

Output validation, smart contract audit, attestation verification, TEE and zkML verifiers, and compliance agents. The accountability layer that turns claims about agent behaviour into auditable, on-chain evidence.

30
Agents
4.0%
Of classified
TKTK
Avg AHS
TKTK
% HIGH conf.
Phase 2.2 classification: 25 Apr 2026 · 1,000-agent random sample

Definition & scope

A Verification Agent is an autonomous software agent whose primary function is to verify specific claims, outputs, transactions, or behaviour produced by other agents. Where Identity & Trust establishes the substrate (who an agent is, what reputation it carries), Verification operates on top of that substrate to answer the more specific question: did this thing actually happen as claimed, and is it actually correct?

Verification is the smaller-cohort cousin of Identity & Trust. Both categories interlock with ERC-8004: the Identity and Reputation registries are settled and live, but the Validation Registry portion of the spec is under active revision with the TEE community as of mid-2026, and a follow-up spec update is expected later this year. The smaller agent count for this category reflects standards-track immaturity rather than a lack of demand: the demand for verification primitives is large and growing, but the standards layer is not yet fully crystallised.

Calibration

The Validation Registry workflow is mature enough to anchor concrete commercial prototypes (ChaosChain Genesis Studio is the canonical example) but the spec remains under active revision in collaboration with the TEE community. As that work lands, the Verification cohort is expected to grow significantly — both through new validator agents registering against the Validation Registry, and through reclassification of agents currently caught at the Identity / Verification boundary.

In the Phase 2.2 classification run, Verification Agents were anchored on ProblemManager, AgentCoin, and EAS (Ethereum Attestation Service). The first two are specific contract anchors used in the AHM lookup table; EAS is a general-purpose attestation primitive that also serves Identity & Trust use cases — the same primitive can anchor both depending on what is being attested. The methodology is documented in the POC summary; subsequent classification phases are expected to expand the anchor set toward the ERC-8004 Validation Registry once that spec stabilises.

Inclusion criteria

  • Primary function is verification of specific claims, outputs, transactions, or behaviour
  • Produces verdicts, attestations, or scored audit reports as primary output
  • Operates against ground truth or against externally-defined criteria, not against subjective preference
  • Verdicts are typically consumed by other agents or smart contracts that act on them

Exclusion criteria

  • Identity registration and reputation aggregation generally → Identity & Trust
  • Extended due-diligence reports rather than verdicts → Research
  • Real-time signal generation rather than verification of specific claims → Intelligence & Analytics

Five functional cuts

Output Validation

~ count pending

Verify task outputs produced by other agents — typically via re-execution, stake-secured verification, or evaluator workflows. The ERC-8004 Validation Registry pattern fits here.

Smart Contract Audit

~ count pending

Autonomous code review, vulnerability detection, and risk scoring on smart contracts. Boundary case with Research: classified here when output is a binary verdict, in Research when output is a scored report for human reading.

Attestation Verifiers

~ count pending

Agents that consume EAS attestations or W3C Verifiable Credentials, check validity, and propagate trust signals to downstream consumers. The connective tissue between attestation primitives and agent decisions.

TEE & zkML Verifiers

~ count pending

Verifiers using Trusted Execution Environments (Intel TDX, Phala Cloud) or zero-knowledge machine learning proofs to provide cryptographic attestation that specific computation ran on specific inputs without tampering.

Compliance & Fact Verification

~ count pending

Agents checking regulatory compliance, KYC/AML, content authenticity, or product provenance. Increasingly important as agents transact in regulated contexts and brand-authenticated commerce.

Five Verification Agents and protocols in the wild

The agents and protocols below are well-known illustrations of the Verification category as defined above. ChaosChain Genesis Studio is the most fully-realised end-to-end prototype anchored on ERC-8004's Validation Registry; the others demonstrate adjacent verification patterns that also fit the category. Several entries operate as platforms rather than discrete agents — appropriate for a category where the unit of analysis is often the verification protocol, not the registrant.

Network: Base Sepolia + Ethereum Sepolia + Optimism Sepolia + 0G Galileo·Registry: ERC-8004·Sub-category: Output Validation

Described as the first end-to-end commercial prototype of ERC-8004. Implements a Triple-Verified Stack: Google AP2 Intent Verification ("did the human authorise?"), ChaosChain Process Integrity ("was the code executed correctly?") via local code hashing and optional TEE attestations, and ERC-8004 Adjudication ("was the outcome valuable?") via the Validation Registry. Demonstrates the three-agent commercial pattern (server / validator / client) with stake-secured verification gating USDC escrow release. The "no work, no pay" guarantee is enforced cryptographically rather than relationally — the headline economic feature of the category.

AgentStamp
Network: cross-chain·Registry: ERC-8004 bridge·Sub-category: Attestation Verifiers

Trust intelligence platform for AI agents with an ERC-8004 bridge: identity stamps, 0–100 reputation scoring, forensic audit trails, and x402 micropayments. Provides lookup, trust check, and linking endpoints for ERC-8004-registered agents. Open-source Node.js server with MCP tools, HMAC signature verification, and admin audit endpoints. Representative of the verification-as-a-service pattern: an agent commissions a verification check and pays per call rather than running the verification itself.

Network: 25+ chains·Registry: Direct·Sub-category: Attestation Verifiers

EAS is general-purpose attestation infrastructure — included on the Identity & Trust page as a credentialing primitive and on this page as a verification primitive, because the same protocol serves both depending on what is being attested. Agents acting as attestation verifiers consume EAS-issued claims (audit results, capability proofs, compliance status) and use them to make trust decisions about counterparties. The neutrality of EAS as tokenless public-good infrastructure makes it suitable as the verification substrate for high-value verticals.

Network: cross-chain·Registry: ERC-8004 + TEE·Sub-category: TEE & zkML Verifiers

The validator role of Phala's ERC-8004 TEE Agent stack: agents running inside Intel TDX TEEs that produce cryptographic attestations of correct execution. Where ERC-8004's reputation layer relies on social signals and the validation layer relies on stake-secured re-execution, TEE validators provide a third path — cryptographic guarantees that specific code ran on specific inputs without tampering. Particularly relevant for high-stakes verification where re-execution non-determinism would otherwise be a problem.

MolTrust
Network: Base mainnet·Registry: ERC-8004 (agent #21023)·Sub-category: Compliance & Fact Verification

Swiss trust infrastructure using W3C DID-based identity and Ed25519 signed Verifiable Credentials anchored on Base mainnet. Operates across seven verticals including MT Salesguard for brand and product provenance — BrandRegistryCredentials, AuthorizedResellerCredentials, and ProductProvenanceCredentials are all verifiable by shopping agents before purchase. Representative of the compliance-and-provenance verification pattern, increasingly important as agents transact in branded commerce and regulated contexts.

Use cases

"No work, no pay" enforcement. The clearest commercial use case for Verification is conditional escrow: USDC locked at job creation, released only after verification confirms the work was done correctly. ChaosChain's Triple-Verified Stack demonstrates this end-to-end. The pattern eliminates a class of fraudulent chargebacks and relational disputes that would otherwise constrain agent-to-agent commerce. As Verification primitives mature, expect this to become the default rather than a special configuration.

Tiered trust matched to value at risk. ERC-8004 deliberately supports three trust models: reputation aggregation for low-stakes social interactions, crypto-economic staking for medium-stakes commercial work, and TEE / zkML attestation for high-stakes financial or sensitive-data workflows. Verification Agents are the operational layer of those models. A trader agent risking $100 might rely on reputation; a treasury agent moving $100M will require TEE attestation. The same registry serves both.

Continuous audit and re-verification. Verification is not a one-time event. As contracts upgrade, dependencies change, and operational posture drifts, previously-valid attestations become stale. Continuous-audit agents that re-evaluate on schedule, or whenever upstream conditions change, are an emerging pattern — particularly for smart contract audit and compliance verification where the cost of a missed regression is large.

Compliance and provenance for regulated commerce. Agents transacting in branded commerce or regulated contexts need verifiable claims about counterparty identity, product authenticity, and regulatory status. MolTrust-style verifiable credential infrastructure is the substrate that makes this practical without bottlenecking on per-transaction human approval. As more economic activity routes through agents, the demand for verification-as-infrastructure scales with it.

Trust considerations

Validator capture
A captured or compromised validator can issue attestations that are formally valid but substantively wrong. Without a slashing mechanism in the base ERC-8004 spec, the disincentive for lazy or corrupt validation is left to specific validation protocols. Naive consumers who trust attestations without checking validator integrity inherit the validator's failure modes wholesale.
AHM Health endpoint surfaces validator operational patterns; cross-validator consistency checks identify outliers in the validator set.
Sybil validators
Multiple validators owned by the same party producing correlated attestations can simulate consensus without actually achieving it. Particularly damaging when the consumer reads "five validators agree" and concludes the verification is robust, when the underlying validators share an operator.
AHM Counterparty Map exposes ownership and operational correlations across validator addresses; behavioural baselines flag clusters whose attestation patterns are too aligned.
Re-execution non-determinism
Stake-secured re-execution validators rely on the assumption that running the same code on the same inputs produces the same outputs. In practice, randomness, timestamps, external data sources, and model non-determinism break this assumption. Honest validators can disagree on outputs without anyone being malicious — and the validation result can swing on which validator was sampled.
AHM AHS multi-dimensional scoring captures behavioural consistency across observed validations; outliers in agreement rates surface for investigation.
Capability claim vs verification reality gap
A validator can advertise that it verifies specific properties (correctness, non-malice, regulatory compliance) without actually running checks at that depth. The attestation looks identical regardless of how rigorously it was produced. Consumers downstream cannot distinguish a thorough audit from a rubber stamp without independent inspection of the validator's process.
AHM Health endpoint cross-references claimed verification scope against observed activity; the claimed-vs-actual gap is a sub-dimension of the AHS score.
Attestation freshness and silent staleness
An attestation produced by an honest validator can become substantively wrong without ever being revoked. Smart contracts upgrade, dependencies change, operational posture drifts. Consumers reading the attestation see a valid signature and a recent timestamp but get a verdict that no longer matches reality. The failure mode is silent and easy to miss.
AHM Wash failed-transaction analysis surfaces operational drift; AHS captures temporal consistency between claimed verification status and observed behaviour.

AHM endpoints for this category

Related categories

Citations & further reading

  1. AHM Taxonomy v1 — POC summary and methodology (Phase 2.2), github.com/moonshot-cyber/agent-health-monitor
  2. ERC-8004: Trustless Agents (specification), eips.ethereum.org/EIPS/eip-8004
  3. ERC-8004 contracts repository — Validation Registry status under active revision, github.com/erc-8004
  4. ChaosChain Genesis Studio — Triple-Verified Stack documentation, github.com/ChaosChain/chaoschain-genesis-studio
  5. Coinmonks, "ERC-8004: A Trustless Extension of Google's A2A Protocol for On-chain Agents," September 2025, medium.com/coinmonks
  6. Ethereum Attestation Service (EAS), attest.org
  7. Phala Network ERC-8004 TEE Agent reference implementation, github.com/Phala-Network
  8. QuillAudits, "ERC-8004: Infrastructure for Autonomous AI Agents," September 2025, quillaudits.com
  9. Awesome ERC-8004 — curated ecosystem resources including AgentStamp and MolTrust, github.com/sudeepb02/awesome-erc8004

Cite this page

BibTeX
@misc{ahm_taxonomy_verification_2026,
  title  = {Verification Agents --- AHM Taxonomy v1},
  author = {{Agent Health Monitor}},
  year   = {2026},
  month  = {May},
  url    = {https://intelligence.agenthealthmonitor.xyz/taxonomy/verification},
  note   = {Accessed: 2026-05-07}
}

Classification methodology and category boundaries are documented in the AHM Taxonomy v1 POC summary.

Counts reflect the Phase 2.2 classification run (25 April 2026): a 1,000-agent random sample from Base mainnet wallets, of which 757 (75.7%) were classified across 6 anchored categories. Updated as new classification phases complete.