{
  "schema_version": "1.0.0",
  "rubric_version": "1.0",
  "license": "CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/)",
  "record": {
    "id": "O-0120",
    "slug": "attestable",
    "title": "Attestable",
    "aliases": [],
    "status": "draft",
    "last_reviewed": "2026-09-23",
    "review_interval_days": 90,
    "steward": null,
    "provenance": {
      "drafted_by": "ai",
      "reviewed_by": []
    },
    "risk_flags": [],
    "flags": [
      "provider-reported"
    ],
    "kind": "company",
    "homepage": "https://attestable.com/",
    "one_liner": "A company developing zero-knowledge proofs for AI systems; it reports a prover for large language model inference and proposes proof-based compute accounting.",
    "sources": [
      {
        "source": "S-1101",
        "supports": "zero-knowledge prover for production-scale transformer inference; hash-only security (provider-reported)"
      },
      {
        "source": "S-1102",
        "supports": "proposal to combine inference proofs with proof-of-work accounting; need for a compute estimate"
      },
      {
        "source": "S-1103",
        "supports": "verification-firewall proposal with randomly selected proofs"
      }
    ],
    "type": "organization",
    "url": "https://trustbutveri.fyi/organizations/attestable/",
    "source_file": "content/organizations/attestable.md",
    "flags_all": [
      "provider-reported",
      "ai-drafted"
    ],
    "body_markdown": "Attestable describes itself as \"The AI Integrity Company\" and says it provides zero-knowledge proofs for AI systems. It has published the following on verification:\n\n- **Inference prover.** Attestable reports a zero-knowledge prover for production-scale transformer inference whose security rests only on cryptographic hash functions [[S-1101]]. See [[I-0005]] and [[M-0004|zero-knowledge proofs of inference]].\n- **Proof-based accounting.** It proposes combining inference proofs with proof-of-work accounting, and notes that the verifier \"needs a credible estimate of the compute available\" to the actor [[S-1102]]; see [[M-0007]].\n- **Verification firewall.** It proposes a firewall at the external interfaces of an environment that holds model weights, which would select outputs for proof at random after each output is committed [[S-1103]].",
    "body_text": "Attestable describes itself as \"The AI Integrity Company\" and says it provides zero-knowledge proofs for AI systems. It has published the following on verification: - Inference prover. Attestable reports a zero-knowledge prover for production-scale transformer inference whose security rests only on cryptographic hash functions [S-1101]. See Attestable zero-knowledge inference prover and zero-knowledge proofs of inference. - Proof-based accounting. It proposes combining inference proofs with proof-of-work accounting, and notes that the verifier \"needs a credible estimate of the compute available\" to the actor [S-1102]; see Proofs of useful work and resource exhaustion. - Verification firewall. It proposes a firewall at the external interfaces of an environment that holds model weights, which would select outputs for proof at random after each output is committed [S-1103].",
    "referenced_by": [
      {
        "id": "M-0007",
        "title": "Proofs of useful work and resource exhaustion",
        "url": "https://trustbutveri.fyi/mechanisms/proofs-of-useful-work/"
      },
      {
        "id": "M-0004",
        "title": "Zero-knowledge proofs of inference",
        "url": "https://trustbutveri.fyi/mechanisms/zk-proofs-of-inference/"
      },
      {
        "id": "I-0005",
        "title": "Attestable zero-knowledge inference prover",
        "url": "https://trustbutveri.fyi/implementations/attestable-zk-inference/"
      },
      {
        "id": "S-1103",
        "title": "From Verifiability to Model-Weight Security",
        "url": "https://trustbutveri.fyi/sources/attestable-model-weight-security/"
      },
      {
        "id": "S-1102",
        "title": "Pacing AI Requires Proof",
        "url": "https://trustbutveri.fyi/sources/attestable-pacing-ai-requires-proof/"
      },
      {
        "id": "S-1101",
        "title": "Proving LLMs at Scale",
        "url": "https://trustbutveri.fyi/sources/attestable-proving-llms-at-scale/"
      }
    ]
  }
}