Skip to content

Prove functional decoder pairings cost at least v over every field - #6178

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w10-1029a-frontier-obstruction
Oct 29, 2026
Merged

Prove functional decoder pairings cost at least v over every field#6178
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w10-1029a-frontier-obstruction

feat(research): lift functional decoder pairings over every field

c651f5a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 29, 2026 in 4m 49s