Ian Goldberg 5033b41669 Use sigma_compiler_prover or sigma_compiler_verifier as appropriate hace 7 meses
..
src 5033b41669 Use sigma_compiler_prover or sigma_compiler_verifier as appropriate hace 7 meses
Cargo.toml 99a84ebefe Add visit-mut to syn features so that this subcrate can be built on its own hace 9 meses