circom-compat/.gitignore