This repo is meant to demonstrate compatibility with the arkworks/circom toolchain circom-compat. It contains a single executable which generates a witness for the factor circuit that appears in other ℓ-adic demo projects.
Simply run
> cargo run
and you will see the witness printed to standard out. You can change the inputs.json file the change the public inputs.
We omit demonstrating the proof generation / ethereum integrations in this example because it follows from the compatibility with circom-compat.