Witness Optimizations for SHA256: Dynamic AND/XOR Bit-Width + Spread-Based Binops#284

Merged

Bisht13 merged 5 commits intomainfrom

rs/spread-trick-sha256

Feb 16, 2026

Commits on Feb 12, 2026

Implement spread-based SHA256 decompositions and update circuit stats display

Rose Jethani
authored and
Rose Jethani
committed
feat: update SpreadTableEntryInverse to SpreadTableQuotient with multiplicity handling

Rose Jethani
authored and
Rose Jethani
committed
refactor: tidy up WitnessBuilder and DependencyInfo struct fields for consistency

Rose Jethani
authored and
Rose Jethani
committed

Commits on Feb 15, 2026

feat: add compute_spread function to interleave bits with zeros and update references

Rose Jethani
authored and
Rose Jethani
committed
refactor: remove redundant comments from compute_spread function

Rose Jethani
authored and
Rose Jethani
committed