Skip to content
CasperProof
Verifiable AI oracle on Casper

Proof your agents can’t fake.

Stake-backed truth for autonomous agents.

On-chain attestationsx402 pay-per-callParametric insuranceMCP-native

The problem

The agent economy runs on trust it hasn’t earned.

Autonomous agents are making real decisions with real money. Nothing proves their outputs are genuine, and nothing pays out when they’re wrong.

Agent outputs are unverifiable

Autonomous agents produce prices, risk scores, and decisions that downstream systems must trust blindly. There is no on-chain proof that an output is what the model actually produced — or that it has not been tampered with after the fact.

Agent capital is uninsured

When an agent is wrong — a bad oracle print, an exploited integration, a governance attack — the loss lands on whoever depended on it. There is no native way to price that risk or pay out automatically when it materializes.

Real money lost

Unverifiable inputs cost DeFi billions — Casper's agent economy is next.

Every exploit below trusted an input it couldn't prove. CasperProof makes agent outputs provable and insurable on Casper, before the loss.

$2.2BStolen in 2024Across 303 distinct hacking incidents.Source: Chainalysis
~$3.4BStolen in 2025Reported stolen across the ecosystem.Source: Chainalysis
$200M+Lost to oracle manipulationDrained via price-oracle manipulation alone.Source: Chainalysis
303Hacking incidents in 2024Distinct incidents tracked in a single year.Source: Chainalysis

Cited, real incidents — auto-scrolling; pauses on hover or focus.

Mango MarketsOracle manipulation

$117M

Oct 2022

Oracle price manipulation drained the perp DEX.

Source: Chainalysis
BonqDAOOracle manipulation

$120M

Feb 2023

Tellor price-oracle manipulation.

Source: Hacken
Cream FinanceOracle manipulation

$130M

Oct 2021

Oracle + flash-loan price manipulation.

Source: Chainalysis
WormholeBridge / verification

$326M

Feb 2022

Forged signature / verification bypass on the bridge.

Source: Chainalysis
Euler FinanceFlash-loan

$197M

Mar 2023

Flash-loan donation attack (most later returned).

Source: Chainalysis
FreysaAgent failure

$47K

Nov 2024

AI agent talked into releasing funds via prompt injection.

Source: Freysa challenge (on-chain, Base)

Uncovered agent losses

Illustrative · simulated

Illustrative simulation: synthetic events generated on an interval to picture an unprotected agent economy. These are not real Casper Network transactions.

  • just now0xe501…051aOracle−$67,713Uncovered
  • 4s ago0xcf33…e482Liveness−$63,026Uncovered
  • 8s ago0x6772…09c5Exploit−$58,635Uncovered
  • 12s ago0x8c8a…5552Liveness−$30,183Uncovered

How it works

Stake, prove, and let anyone check the work.

Three on-chain steps turn an unverifiable model output into a stake-backed, challengeable proof.

  1. Attest

    An agent commits to its output by staking CSPR and writing a blake2b commitment of (model, input, output, timestamp) to the on-chain AttestationRegistry. The stake is collateral against fraud.

  2. Pay & verify

    Consumers pay per call over x402 and verify any attestation: recompute the output hash and compare it byte-for-byte to the on-chain commitment. PASS or FAIL — no trust required.

  3. Challenge & slash

    Anyone can challenge a suspect attestation with a dispute bond. A resolver adjudicates; fraudulent attestors are slashed and the challenger is rewarded. Honest agents build reputation.

Live numbers

Read straight from the SDK.

These tiles are populated by @casperproof/casper-sdk at build time — not typed in by hand.

Attestations on registry9Total commitments written to the AttestationRegistry.
Challenges resolved2Disputes adjudicated by a resolver.
Fraudulent slashes1Attestations slashed after a successful challenge.
Honest-resolution rate50%Share of resolved attestations that were upheld as honest.

Mock sourceNo CSPR_CLOUD_TOKEN set — figures come from the SDK mock backend (a seeded demo flow), not real testnet activity.

For builders

Wire verifiable trust into your agents in minutes.

One typed SDK, MCP tools for agent-to-agent verification, and native x402 metering. Works offline against a mock; flips to live with a single env var.

One-liner SDK

Attest, verify, challenge, and resolve through a single typed client. Runs against an in-memory mock with zero secrets, or live over CSPR.cloud when a token is present.

import { createClient } from '@casperproof/casper-sdk';

const cp = createClient(); // mock unless CSPR_CLOUD_TOKEN is set
const { id } = await cp.submitAttestation({
  modelId: 'riskscorer-v1',
  input: { address: 'account-hash-aabbcc' },
  output: { score: 73, tier: 'HIGH' },
  uri: 's3://payloads/abc.json',
  stake: '2000000000',
});

const { valid } = await cp.verify(id, { score: 73, tier: 'HIGH' });

MCP tools

Drop CasperProof into any MCP-aware agent. The server exposes attest / verify / challenge as first-class tools so agents can prove and check each other autonomously.

{
  "mcpServers": {
    "casperproof": {
      "command": "casperproof-mcp",
      "tools": ["attest", "verify", "challenge", "score_risk"]
    }
  }
}

x402 pay-per-call

Monetize verifiable inference natively. Each verify or attest call settles over the x402 HTTP payment protocol — pay exactly for what you use, no API keys or invoices.

GET /verify/42 HTTP/1.1
Host: api.casperproof.com

HTTP/1.1 402 Payment Required
Accept-Payment: x402 token=CSPR; amount=10000000
Link: <https://casperproof.com/x402>; rel="payment"

Use cases

Wherever an agent’s word needs to be worth something.

RWA

RWA price oracle

Anchor real-world-asset valuations with stake-backed attestations. Buyers verify the print on-chain before settling; bad prints are challengeable and slashable.

DeFi

DeFi agent insurance

Parametric cover for autonomous strategies. Buy a policy, and when a covered trigger (exploit, oracle failure, agent error) is attested, the claim pays out automatically.

Compliance

Compliance & audit trail

Every model decision leaves an immutable, content-addressed proof. Regulators and auditors verify what was produced, by which model, and when — without trusting the operator.

Roadmap

From testnet oracle to a mainnet trust layer.

Phase 1Shipped

Verifiable oracle on testnet

AttestationRegistry + commitment scheme, SDK, MCP server, and the verify/challenge/slash flow live on Casper testnet.

Phase 2In progress

Parametric insurance vault

Risk scoring, policy creation, and automatic claim payout backed by a solvency-checked vault.

Phase 3Planned

Mainnet & open resolver set

Mainnet deployment, decentralized challenge resolution, and reputation-weighted staking markets.