Skip to content
Research

Verifiable inference has no runtime in this tree. There is no model registry, no published model, and no verifier for an inference result.

StatusIllustration · not chain data
Exists
A decision record sketch of what a verifier would need.
Does not exist
Registry, runtime, proof format, verifier.
Blocked on
A verification model for inference.
VerificationRFC 9381
  1. COMMITTEDproof submitted with the output
  2. VERIFIEDECVRF checked by the program
  3. FINALIZED64-byte output written
  4. EXECUTEDcallback ran, no accounts passed
Illustration · not chain data