refactor: make the proving spine generic over the field (`<P: ProofField>`); extract provekit-backend-bn254#458

Merged

shreyas-londhe merged 41 commits into

mainfrom

sl/goldilocks-field-abstraction

Jul 6, 2026

Commits on Jun 23, 2026

feat(common): add ProofField + FieldHash field-abstraction traits
shreyas-londhe
committed
refactor(common): make WhirR1CSScheme generic over <P: ProofField>
shreyas-londhe
committed
refactor(common): make Interner generic over <F: Field>
shreyas-londhe
committed
refactor(common): make R1CS and HydratedSparseMatrix generic over <F: Field>
shreyas-londhe
committed
refactor(common): make covectors generic over <F: Field>
shreyas-londhe
committed
refactor(common): make sumcheck pure-ext utils generic over <F: Field>
shreyas-londhe
committed
refactor(common): genericize serde_ark_vec/option helpers over <T>
shreyas-londhe
committed
feat(common): add HydratedSparseMatrix::mixed_multiply (base×ext via embedding)
shreyas-londhe
committed
feat(common): impl FieldHash for Bn254Field (delegates to bn254 bridges)
shreyas-londhe
committed
refactor(common): make PublicInputs generic over <F: Field> (data only)
shreyas-londhe
committed
feat(common): add FieldHash::hash_public_inputs + bn254 impl
shreyas-londhe
committed
refactor: make multiply_transposed_by_eq_alpha use the mixed (base×ext) path
shreyas-londhe
committed
refactor(common): generic enablers for the <P> verifier (Embedding: Default, transpose<F>, scheme methods)
shreyas-londhe
committed
refactor(verifier): thread <P: ProofField> through the verifier (mixed binding, FieldHash hashing)
shreyas-londhe
committed
refactor(common): genericize calculate_witness_bounds over <F: Field>
shreyas-londhe
committed
refactor(prover): genericize ZK-sumcheck blinding helpers over <F: Field>
shreyas-londhe
committed
refactor(prover): genericize alpha-eval/weight helpers over <F: Field>
shreyas-londhe
committed
refactor(prover): thread <P: ProofField> through the prover spine
shreyas-londhe
committed
build(backend): scaffold provekit-backend-bn254 crate
shreyas-londhe
committed
refactor: drop the WhirR1CSScheme<P = Bn254Field> default
shreyas-londhe
committed
refactor(backend): relocate the Noir/Mavros frontend out of common
shreyas-londhe
committed
refactor(backend): move prover glue + witness solver out of the spine
shreyas-londhe
committed
refactor(backend): move verifier glue out of the spine
shreyas-londhe
committed
refactor: genericize the proof type as ProvekitProof<P> in the spine
shreyas-londhe
committed
refactor: return R1CS/layer compression and commit logging to the spine
shreyas-londhe
committed
refactor: move 256-bit numeric primitives to the spine
shreyas-londhe
committed
refactor(backend): organize bn254 crate into scheme/frontend/solver modules
shreyas-londhe
committed
refactor: de-spine the Mavros prover so prover is field-generic
shreyas-londhe
committed
refactor: move the bn254 field definition out of common
shreyas-londhe
committed
refactor(spine): add FieldHash::Sponge seam so the transcript sponge is field-determined
shreyas-londhe
committed
refactor: move bn254 public-input hashing to the backend behind a reusable trait
shreyas-londhe
committed
refactor: relocate the bn254 WHIR hash adapters out of common into the backend
shreyas-londhe
committed
refactor(backend): own FieldElement in backend; genericize digit + batch-inverse helpers
shreyas-londhe
committed
refactor: relocate the Noir witness-construction pipeline out of the spine
shreyas-londhe
committed
refactor(common): make the spine field-agnostic — remove the bn254 FieldElement
shreyas-londhe
committed
chore(deps): drop unused deps flagged by cargo-machete
shreyas-londhe
committed

Commits on Jul 1, 2026

fix(common): gate ProvekitProof file-format impls off wasm
shreyas-londhe
committed