Skip to content

WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 60.20 s - #1004

Draft
MauroToscano wants to merge 1066 commits into
mainfrom
whir/recursion-rpx
Draft

WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 60.20 s#1004
MauroToscano wants to merge 1066 commits into
mainfrom
whir/recursion-rpx

math-cuda, stark: invert the DEEP/OOD denominators row-wise by default

d1dc455
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar