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