Skip to content

fix: bvurem VCs hung — multiplicative native Urem blast + re-proof (#101) - #102

Merged
avrabe merged 2 commits into
mainfrom
fix/101-urem-blast
Jul 23, 2026
Merged

fix: bvurem VCs hung — multiplicative native Urem blast + re-proof (#101)#102
avrabe merged 2 commits into
mainfrom
fix/101-urem-blast

feat(lean): re-prove blast_urem against the multiplicative circuit (#…

39cd1f7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar