refactor: make the protocol spine field-agnostic; extract provekit-field-bn254 + provekit-noir#455

Closed

BornPsych wants to merge 15 commits into

worldfnd:v2from

BornPsych:ys/field-agnostic-prep

Commits on Jun 16, 2026

feat(common): add ProofField trait and DynFieldSponge shim
BornPsych
committed
refactor(common): route field-native code through ProofField
BornPsych
committed
refactor(common): derive FieldElement from a single embedding instantiation
BornPsych
committed
refactor: extract provekit-field-bn254; make common field-agnostic via a registered provider
BornPsych
committed
refactor: move bn254 witness-hint computation into provekit-field-bn254
BornPsych
committed
refactor(verifier): make verification field-agnostic; callers register the backend
BornPsych
committed
refactor: split prover into a generic engine + provekit-noir frontend
BornPsych
committed
test(bench): add bn254 deterministic-artifact regression gate
BornPsych
committed
docs: tighten comments and PR prose; fix move-broken doc links
BornPsych
committed

Commits on Jun 18, 2026

docs(common): sharpen field-selection anchor on the bn254 instantiation point
BornPsych
committed

Commits on Jun 19, 2026

refactor: surface a missing field backend as an error, not a panic
BornPsych
committed