refactor: split stage provers, deduplicate helpers, extract witness types#73

Merged

MatteoMer merged 3 commits into

mainfrom

refactor/split-stage3-preprocessing-mod

Apr 5, 2026

Commits on Apr 5, 2026

refactor: split stage3_prover, preprocessing, and mod.zig into focused modules

MatteoMer
and
claude
committed
refactor: deduplicate helpers, remove dead pairing code, extract R1CS witness types

MatteoMer
and
claude
committed
refactor: adopt pool_helpers, extract shared sumcheck helpers, extract stage6 bytecode_raf

MatteoMer
and
claude
committed