#IDE Related .idea # Cargo build /target Cargo.lock # Profile-guided optimization /tmp pgo-data.profdata /output # MacOS nuisances .DS_Store # circuit files /prover_data /verifier_data