Skip to content

Reduce signed Hadamard lowering from 222 to 208 primitives (no new κ) - #5945

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w6-1022ad-scoped-proof
Oct 28, 2026
Merged

Reduce signed Hadamard lowering from 222 to 208 primitives (no new κ)#5945
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w6-1022ad-scoped-proof

feat(research): cut signed Hadamard lowering to 208 primitives

ce08fe6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 27, 2026 in 5m 2s