Simple python implementation of Nova: Recursive Zero-Knowledge Arguments from Folding Schemes
Then, run poetry install in the root of the repository. This will install all the dependencies in a virtualenv.
test the basic folding scheme for r1cs, it takes about 25 s to run one fold(it's a bit slow right now).
cd src
poetry run python3 r1cs.py