Skip to content

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

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

MauroToscano wants to merge 1134 commits into
mainfrom
whir-recursion-rpx

Commits

This pull request is big! We're only showing the most recent 250 commits

Commits on Sep 19, 2026

Commits on Sep 20, 2026

Commits on Sep 21, 2026

Commits on Sep 22, 2026

Commits on Sep 24, 2026

Commits on Sep 25, 2026

Commits on Sep 27, 2026

Commits on Sep 28, 2026

Commits on Sep 29, 2026