target/*
proof/*.bin
contract.wasm
