G. A zkVM, Line by Line · build prompt annotations
⚲

Lexicon

Terms of art that recur across the prompt set. Every one of them is underlined the first time it appears in a line, and listed beside any line that uses it.

What this is

A reading tool for a zkVM build prompt set — the specification a machine builds the system from, stage by stage.

The prompts are written to be executed, not read: every sentence is compressed, most decisions are stated without their reasons, and a single clause can carry a protocol invariant. This page puts each line beside two things the prompt itself leaves out — what it is asking for in ordinary words, and why it is stated so absolutely.

Click any line on the left. Terms of art are underlined the first time they appear in a line; the full Lexicon is one keystroke away. Code spans and formulas with a steel underline carry their own note — what the expression computes, what each variable stands for — and clicking one jumps straight to it. Where a line leans on theory, a further note explains the idea behind it far enough to see why it works.

J next annotated line
K previous line
←→ previous / next stage
/ search every line
L open the lexicon
Esc close
Scope. The set will run to a master prompt and twenty-eight stages. Twenty-eight documents are annotated here — the master prompt and stages S01 through S27, which carry the system from the field arithmetic up to the aggregation tree that folds a block's proofs into one. The last stage is added when it is cleaned up; the reader takes it without changing.

The annotations are commentary on the prompt set, not a specification of anything. Where an annotation and a prompt disagree, the prompt is what gets built.  ·  Nothing on this page is fetched over the network.