Skip to content

params: blowup 4 + 20-bit query grinding — proven soundness regime - #513

Merged
gabriel-barrett merged 1 commit into
mainfrom
sound-parameters
Jul 23, 2026
Merged

params: blowup 4 + 20-bit query grinding — proven soundness regime#513
gabriel-barrett merged 1 commit into
mainfrom
sound-parameters

params: blowup 4 + 20-bit query grinding — proven soundness regime

5c87056
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar