Attestable
A company developing zero-knowledge proofs for AI systems; it reports a prover for large language model inference and proposes proof-based compute accounting.
Attestable says it develops zero-knowledge proofs for AI systems 1. It has published the following on verification:
- Attestable reports a zero-knowledge prover for production-scale transformer inference whose security rests only on cryptographic hash functions 2. See Attestable zero-knowledge inference prover and zero-knowledge proofs of inference.
- 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 3; see Proofs of useful work for capacity accounting.
- It proposes a verification 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 4.
On this page
Implementations
Implementations this organization develops.
- Attestable's zero-knowledge prover, which the company reports proves large language model outputs came from committed weights at tens of tokens per second.
Related records
Mechanisms and implementations whose records cite or describe this organization's work.
- A prover produces a cryptographic proof that an output came from running a committed model on a given input, without revealing the weights.
- Cryptographic evidence that a given amount of matrix-multiplication work was completed, proposed as one input to accounting for spare capacity on declared hardware.
Publications
Sources this organization authored or published.
- BAttestable homepage. Attestable. Source recordCited by Attestable
- CAttestable (2026). From Verifiability to Model-Weight Security. Attestable blog. Source recordCited by Zero-knowledge proofs of inference; Attestable zero-knowledge inference prover; Attestable
- CAttestable (2026). Pacing AI Requires Proof. Attestable blog. Source recordCited by Proofs of useful work for capacity accounting; Zero-knowledge proofs of inference; Attestable zero-knowledge inference prover; Pearl proof-of-useful-work blockchain; Declared hardware is idle or shut down; This compute runs inference, not training; There is no undeclared relevant compute; Proof of (useful) work; Attestable
- CAttestable (2026). Proving LLMs at Scale. Attestable blog. Source recordCited by Zero-knowledge proofs of inference; Attestable zero-knowledge inference prover; Attestable
Sources
- BAttestable homepage. Attestable. Source recordSupports: development of zero-knowledge proofs for AI systems
- CAttestable (2026). Proving LLMs at Scale. Attestable blog. Source recordSupports: zero-knowledge prover for production-scale transformer inference; hash-only security (provider-reported)
- CAttestable (2026). Pacing AI Requires Proof. Attestable blog. Source recordSupports: proposal to combine inference proofs with proof-of-work accounting; need for a compute estimate
- CAttestable (2026). From Verifiability to Model-Weight Security. Attestable blog. Source recordSupports: verification-firewall proposal with randomly selected proofs