feat(Bridge/Clean): FormalCircuit as ConstraintSystem + BehavioralContract - #466

Open

XC0R wants to merge 4 commits into

Verified-zkEVM:quang/constraint-systemfrom

XC0R:clean-constraint-system-bridge

Commits on Apr 21, 2026

feat(ConstraintSystem): universal CS abstraction with Hom and BehavioralContract

quangvdao
authored and
XC0R
committed
f305f41
feat(Bridge/Clean): FormalCircuit as ConstraintSystem + BehavioralContract
XC0R
committed
1451492

Commits on Apr 24, 2026

refactor(Bridge/Clean): move output to OStmt per review
XC0R
committed
0a71a4a

Commits on May 9, 2026

Merge branch 'quang/constraint-system' into clean-constraint-system-bridge
alexanderlhicks
authored
502c99a