The project skeleton (MAKE file, etc.) is copied from here
Clone circomlib
:
git clone https://github.com/iden3/circomlib.git
Check your circom circuit:
circome <c>.circom
Check your R1CS and witness (e.g. contsraint count):
make info
Clean up:
make clean
The end-to-end target is make verify
. See the Makefile for steps.