feat: add poly-proof-core crate - #380

Closed

themighty1 wants to merge 9 commits into

v2from

feat/qs_polynomial_proof

Commits on May 28, 2026

feat: add poly-proof-core crate
themighty1
committed
266a4a2
refactor(poly-proof-core): migrate from SubfieldOf to mpz-fields::ExtensionField
themighty1
committed
15f10fb
replace chi-power batching with PRG-derived independent χ
themighty1
committed
8e4eb4f
fix crate name
themighty1
committed
cb15fdf
migrate to Context-aware constraint API
themighty1
committed
b75d7d6
add ConstraintsBuilder::add_dynamic
themighty1
committed
a05cd7e
implement kernel constraints
themighty1
committed
45aa5e5
remove stray
themighty1
committed
4d1f2b0

Commits on Jun 3, 2026

enforce minimal field size
themighty1
committed
ec11a50