Skip to content

refactor: genericize the WHIR-R1CS scheme builder + add provekit-fixtures#459

Open
BornPsych wants to merge 2 commits into
worldfnd:sl/goldilocks-field-abstractionfrom
BornPsych:ys/generic-scheme-builder-and-fixtures
Open

refactor: genericize the WHIR-R1CS scheme builder + add provekit-fixtures#459
BornPsych wants to merge 2 commits into
worldfnd:sl/goldilocks-field-abstractionfrom
BornPsych:ys/generic-scheme-builder-and-fixtures

test: add provekit-fixtures field-generic prove/verify harness

adfb05c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs