# Cargo build **/target # Cargo config .cargo # Profile-guided optimization /tmp pgo-data.profdata # MacOS nuisances .DS_Store # Proofs **/proof-with-pis.json **/proof-with-io.json