ERC-8004 Trustless Agent

Smart Contract Auditor

AI-powered security audit with verifiable execution inside DEOS. Attest results on-chain via ERC-8004 with your own wallet.

The DEOS VM running dhttpd

Passed to DEOS for the Claude API call

How it works

1

Submit

Paste your Solidity contract. The source is hashed and stored in content-addressed storage inside DEOS.

2

Audit

Claude analyzes the contract inside DEOS. Every syscall is logged and capability-checked. An ExCert proof is generated.

3

Verify

Review findings, severity ratings, and the ExCert — a HCPS polynomial commitment proving deterministic execution.

4

Attest

Connect your wallet and attest the audit on Ethereum Sepolia via the ERC-8004 Trustless Agents standard.

Technical Details

DEOS Verification Stack

  • Deterministic OS kernel (119K lines Rust)
  • Every syscall logged to append-only ring buffer
  • Capability-based security (no ambient authority)
  • Content-addressed storage with BLAKE3
  • ExCert: HCPS polynomial commitment to syscall sequence

ERC-8004 Integration

  • Standard: ERC-8004 Trustless Agents
  • Network: Ethereum Sepolia Testnet
  • Identity Registry: 0x8004A818...A494BD9e
  • Reputation Registry: 0x8004B663...B7388713
  • Attestation: User signs via wallet (MetaMask)
  • Evidence: ExCert + audit hashes stored on-chain

Why not just use ChatGPT?

The AI analysis is similar. The difference is provability.

Verifiable Execution

ExCert proves exactly what model, prompt, and code were used. Replayable and auditable.

On-Chain Accountability

ERC-8004 attestation creates a permanent, public record. Reputation accumulates over time.

Legal Evidence

Cryptographic proof chain from contract source to audit findings. Admissible in disputes.