R1CS Gadgets
This repository contains R1CS gadgest I have built using (a slightly modified version of) Spartan.
Currently, the two gadgets included are:
- a range proof (prove
x
in the interval[A, B]
) - a set membership proof (
x
is inS
, whereS
is an arbitrary set of field elements).
The repository also contains a framework to easily add more gadgets, as well as an easy method for witness creation.