Skip to content

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

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w6-1022ad-scoped-proof
Open

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

Commits

  1. Commits on Oct 27, 2026