Stop Recomputing for AI/LLMs: Proof-Carrying Skills for Compute-Saving Inference Reuse

Stop Recomputing for AI/LLMs introduces Proof-Carrying Skills (PCS), an implementation-ready framework for reducing repeated inference cost (latency, energy, and operating cost) by reusing verified skill executions instead of recomputing full inference each time. PCS is built for a no-meta trust boundary: skill providers are untrusted, while acceptance depends only on a small deterministic checker, locally supplied inputs, and explicit observable anchors. The framework is specified as a lightweight layered stack: PCS-Core (deterministic checker, OPVM predicates, VTR/Glue receipts, replay-resistant invocation binding), with optional PCS-Blob (content-addressed chunks and Merkle inclusion proofs for large…