Constraint restructure - #68

Merged

gabriel-barrett merged 3 commits into

mainfrom

multi-stark-overhaul

Jul 29, 2026

Commits on Jul 28, 2026

Replace the AIR builder stack with a compiled constraint IR
gabriel-barrett
committed
Evaluate logUp constraints directly; stop compiling them into the graph
gabriel-barrett
committed

Commits on Jul 29, 2026

logup: allocation-free Karatsuba fast path for the quotient hot loop
gabriel-barrett
committed