Pull examples from the [circom-benchmarks](https://github.com/project-llzk/circom-benchmarks) repository and try to statically verify as many as possible
Pull examples from the circom-benchmarks repository and try to statically verify as many as possible