TRVM/docs/spec/proof-wire/experiment

Documents

• The blind implementation contract — Status: PROCEDURAL, not normative. This document does not define the protocol. It defines the experiment the protocol is about to be subjected to, and what would make its result…
• The clean-room prompt — This file is every word the blind implementer is told that is not one of the specification documents themselves. It is inside the package, therefore inside experiment_digest, th…
• TRVM-HOLDOUT-OBSERVATION-v1 — the neutral observation grammar — Status: PROCEDURAL, not normative. This is the document format an implementation emits after applying a challenge recipe. It is the boundary between an implementation and the sc…
• TRVM-PROOF-WIRE-HOLDOUT-v2 — the recipe grammar — Status: PROCEDURAL, not normative. This document does not define the wire protocol. It defines the language a hidden challenge is written in, so that an implementation can be wr…