Skip to content

Conditional kappa = 0.00302015 (+0.6304% over #4447): joint helper boundaries - #4470

Merged
Mister-Meeseeks merged 11 commits into
CrocSwap:mainfrom
1337isnot1337:research/joint-helper-lattice-20261021
Oct 22, 2026
Merged

Mister-Meeseeks merged 11 commits into
CrocSwap:mainfrom
1337isnot1337:research/joint-helper-lattice-20261021

Register and record complete bounded proof gates for conditional kapp…

b9a13c1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view