binary-tower.md

binary PCS the F₂ tower PCS backend for zheng. binary-native polynomial commitment over kuro's tower: F₂ → F₂² → F₂⁴ → ... → F₂¹²⁸. bitwise operations (XOR, AND, NOT, SHL, LT) cost 1 constraint each — 32-64× cheaper than encoding them in Goldilocks field|Goldilocks where bit decomposition forces…

binary-tower jets — binary (F₂) eight jets for nox + Binius. quantized inference and tri-kernel SpMV at native binary cost. base operations (XOR, AND, NOT, SHL) already 1 constraint in F₂ — jets target composite operations that appear millions of times. jets | # | name | input → output | naive…