introduce devnet verifier/circuit (#398)
fixes #397 - users will now be able to download the devnet circuit with `nix run .#download-circuit devnet .` - users can use the circuit when running the devnet prover with `nix run .#galoisd-devnet --serve ...` - evm deployment script now deploys the correct verifier contract depending on the target network
H
hussein-aitlahcen committed
300f70d11cf470c4eaffb0bc38ecd3f6c628b28b
Committed by GitHub <noreply@github.com>
on 7/28/2023, 2:12:03 PM