| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
refactor(air,processor): delete legacy multiset bus + aux trace builders Rip out ~3,000 lines of legacy multiset bus / aux trace code now that `MidenLookupAuxBuilder` and `MidenLookupAir` are wired through `prove_stark` and `ProcessorAir::eval`. Air side: - Delete `air/src/constraints/{decoder,stack,range,chiplets/bus*}.rs` — the per-component bus constraint files. Drop `pub mod bus` declarations from each parent module and the orphaned `air/src/constraints/bus.rs` index. - Delete `enforce_bus`, `enforce_bus_first_row`, `enforce_bus_last_row` from `air/src/constraints/mod.rs`. - Delete the orphaned `air/src/trace/aux_trace.rs` (an unused dependency-inversion trait that never had a real implementor). - Collapse the legacy `AUX_TRACE_*_OFFSET` / `AUX_TRACE_WIDTH = 8` layout in `air/src/trace/mod.rs` down to `AUX_TRACE_WIDTH = LOGUP_AUX_TRACE_WIDTH (= 7)`. Strip dead column-index constants (`P1_COL_IDX`, `P2_COL_IDX`, `P3_COL_IDX`, `B_RANGE_COL_IDX`, hasher `P1_COL_IDX`) from the per-component trace modules. - Delete the legacy `AuxCols<T>` struct + `NUM_AUX_COLS` + `AUX_COL_MAP` + `aux_col_map` test in `air/src/constraints/columns.rs`. Remove the unused `F_5` / `F_6` field constants left behind by the bus deletion. Processor side: - Delete the four legacy aux trace builders: `processor/src/trace/{decoder,stack,range,chiplets}/aux_trace*` (decoder block stack/hash/op group tables, stack overflow, range checker, chiplets hash kernel / bitwise / memory / ACE / virtual table / wiring bus) - Delete `processor/src/debug.rs` (`BusMessage` trait + `BusDebugger` struct, only used by the deleted aux builders) and the dead `AuxColumnBuilder` trait in `processor/src/trace/utils.rs`. - Delete `AuxTraceBuilders` struct, its `build_aux_columns` impl, and its `AuxBuilder` trait impl from `processor/src/trace/mod.rs`. Drop the field, accessor, and constructor parameter from `ExecutionTrace`. Delete the orphaned `ExecutionTrace::build_aux_trace` helper. - Strip the dead `AceHints` / `EvaluatedCircuitsMetadata` infrastructure from `processor/src/trace/chiplets/ace/mod.rs` (the wiring-bus metadata + divisor-construction loop only existed for the legacy ACE wiring bus aux builder). The ACE chiplet `fill_trace` is now a pure trace filler with no side-channel return, and runs in the same parallel rayon scope as the other chiplets. - Delete the legacy `processor/src/trace/tests/{decoder,stack,range, hasher,chiplets/}` aux trace builder tests. The cross-check oracle test in `processor/src/trace/tests/lookup.rs` stays — it remains the algebraic safety net for the LogUp collection pipeline. Verified with `cargo check --workspace --all-targets`, the cross-check oracle test, full miden-air + miden-processor lib suites (46 + 1466 passing), and `test_blake3_256_prove_verify` end-to-end. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com> | 5 个月前 | |
fix(processor): return error on empty OverflowTable instead of panicking (#3370) Signed-off-by: Sertug17 <104278804+Sertug17@users.noreply.github.com> Co-authored-by: François Garillot <4142+huitseeker@users.noreply.github.com> | 2 个月前 |
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
| 5 个月前 | ||
| 2 个月前 |