Reference Runtime Overview

The standalone runtime is the reference protocol runtime for the bounded direct-spend lane.

It is not the entire protocol contract by itself.

Runtime Role

The runtime owns:

• canonical witness decoding
• relation evaluation for the bounded lane
• hidden-runtime projection construction
• prove/verify boundary execution for the current backend profile

Canonical Boundary Files

• standalone/prover-runtime/src/runtime/canonical_witness_v1.ts
• standalone/prover-runtime/src/runtime/stark_rq_relation_witness_v1.ts
• standalone/prover-runtime/src/runtime/stark_rq_relation_v1.ts
• standalone/prover-runtime/src/runtime/hidden_runtime_projection_v1.ts
• standalone/prover-runtime/src/runtime/stark_rq_hidden_runtime_v1.ts

Bounded Milestone Statement

For the current milestone, runtime enforcement is bounded to the two-input lane and should be described as such in all claims.

Integrator Example

• Prover Request/Response Example
• Canonical minimal example in repo