Verifiable Data — at1 prove

Most data-trust claims end in “trust us” — trust that the archive still decodes, that the deleted record is gone, that the clean room didn’t peek, that the model forgot. at1 prove replaces the promise with a portable proof: you issue a small certificate, hand the recipient only that certificate, and they verify it themselves — without your data and without any of our proprietary software. Issuing a proof is metered; verifying is always free and needs no account.

Proof-of-exactness

Prove a compressed archive decompresses to exactly the data you committed to.

# Proof-of-exactness — prove an archive decodes to exactly what you committed to
at1 prove seal   data.at1  -o proof.at1proof     # issue a proof (metered)
# hand the recipient ONLY proof.at1proof -- never your data
at1 prove check  proof.at1proof                  # anyone verifies -- FREE, no account, no your data
#   -> VERIFIED: decompresses to exactly the committed data

The other three proofs

# Proof-of-deletion (under immutability) — WORM-immutable AND right-to-erasure
at1 prove erase          vault.at1  subject-42  -o deletion.cert
at1 prove check-deletion vault.at1  deletion.cert          # free

# Provable clean room — exact aggregates, operator provably sees no raw row
at1 prove cleanroom      values.json --nodes 3            # SUM/COUNT/avg over secret shares

# Verifiable unlearning — prove your model forgot a specific subject
at1 prove unlearn        model.at1pkg subject-42 -o forget.cert
at1 prove check-unlearn  forget.cert                       # free

What each one proves

  • Exactness — this archive decodes to exactly the committed data (data escrow, “is this the file we agreed on?”).
  • Deletion — a subject’s data is provably unreadable, on a store whose bytes never change (right-to-erasure on immutable/audited storage).
  • Clean room — exact cross-party aggregates where the operator provably cannot see any raw row. See the confidential clean-room.
  • Unlearning — the updated model is exactly what training-without-a-subject yields, and they influenced nothing else.

Pricing

Billed per proof issued — a proof is a compliance deliverable, priced per artifact, not per byte. Your first 1,000 proofs are free (a one-time credit);verifying is always free. It’s a separate, additive line from compression. Full tiers on the Verifiable Data page.

Pairs with verifiable analytics (signed query results), the right-to-erasure path, and the AT-1 Ledger.

← CLI reference