Comment on page
Tools
Circuit can be checked for validity by running
assigner with the --check flag. This will run the circuit through the evaluation process and throw an exception in case if it the constraints are not satisfied.assigner -b main.bc -i main.inp -t assignment.tbl -c circuit.crct -e pallas --check
You can run local proving process by using
transpiler tool in gen-test-proof mode.transpiler -m gen-test-proof -i main.inp -c circuit.crct -t assignment.tbl -o .
Here
.crct and .tbl files are the results of the circuit generation process by assigner tool. .inp file is the JSON input in the same format as assigner expects.ETA: Mid Dec 2023
ETA: Mid Dec 2023