Skip to content

Commit 4b52d83

Browse files
committed
fix comment
1 parent ebbf0e3 commit 4b52d83

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

book/src/trace_generation.md

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -36,16 +36,15 @@ The output is a fully populated witness table where every slot contains a concre
3636

3737
Trace extraction happens internally within `runner.run()` after execution completes. This phase delegates to specialized trace builders that transform the populated witness table into operation-specific trace tables.
3838

39-
Each operation family has a dedicated builder that extracts its operations from the IR and produces trace columns:
39+
Each primitive operation has a dedicated builder that extracts its operations from the IR and produces trace columns:
4040

4141
- **WitnessTraceBuilder** — Generates the central [witness table](./construction.md#witness-table) with sequential `(index, value)` pairs
4242
- **ConstTraceBuilder** — Extracts constants (both columns preprocessed)
4343
- **PublicTraceBuilder** — Extracts public inputs (index preprocessed, values at runtime)
4444
- **AddTraceBuilder** — Extracts additions with six columns: `(lhs_index, lhs_value, rhs_index, rhs_value, result_index, result_value)`
4545
- **MulTraceBuilder** — Extracts multiplications with the same six-column structure
46-
- **MmcsTraceBuilder** — Validates and extracts MMCS path verification traces
4746

48-
Each builder operates independently in a single pass, producing isolated trace tables. All index columns are preprocessed since the IR is fixed and known to the verifier.
47+
Non-primitive operations require custom trace builders. For example, **MmcsTraceBuilder** validates and extracts MMCS path verification traces. Custom trace builders follow the same pattern, operating independently in a single pass to produce isolated trace tables. All index columns are preprocessed since the IR is fixed and known to the verifier.
4948

5049
The output is a `Traces<F>` structure containing all execution traces needed by the prover to generate STARK proofs for each [operation-specific chip](./construction.md#operation-specific-stark-chips).
5150

0 commit comments

Comments
 (0)