Inspect a proof.
Check a computation against registered model weights.
Drop a .llamaproof file here, or browse.
Read on this device. Your file is never uploaded.
The proof omits prompt and answer text. Public activation values may still reveal information about the prompt.
Run measurements
Measured locally, not certified by the proof. Peak memory and capture overhead are not collected yet.
These proofs are partial. The prompt, the answer and the complete inference are not proven in this release.
What this meansModel records.
Registrations maintained by this project. Model providers have not signed these records.
What does a
passing proof mean?
It means the specified calculation passed the verifier’s checks against a registered weight commitment.
It does not yet establish that a complete answer came from that model.
Which weights am I trusting?
The registry associates a model name with commitments to its weights. The proof checks that commitment. You still rely on the registrar to make the right association; independent review is pending.
What stays private?
Model weights stay private. Activation numbers and integer sums are public in this checkpoint and may reveal information about the prompt.
How much of the computation is covered?
One small group of integer calculations inside a matrix operation. Scaling, other operations and the complete token generation are outside this proof.
Can I verify without this website?
Yes. Use the same file with the trusted registry in your checkout. No model weights are needed.
node site/verify-file.cjs my-proof.llamaproof
Install the pinned verifier dependencies first. Both paths enforce the same acceptance policy.