feat(stark): field-generic constraint IR + single-body ConstraintBuilder framework - #763

Closed

MauroToscano wants to merge 6 commits into

mainfrom

feat/single-source-constraints-framework

Commits on Jul 2, 2026

stark: add field-generic constraint IR with builder and CPU interpreter
MauroToscano
committed
20b489b
stark: unit tests for the constraint IR, incl. a non-Goldilocks tower
MauroToscano
committed
ad15768
stark: add the ConstraintBuilder single-body constraint framework
MauroToscano
committed
b7da04c
stark: zerofier evaluation as free functions of ConstraintMeta
MauroToscano
committed
87ddd90
docs(gpu-constraint-eval): single-source constraints plan + constraint front-end survey
MauroToscano
committed
e72e1b3
Merge branch 'main' into feat/single-source-constraints-framework
MauroToscano
authored
a4038a4