Update `circuit_database/halo2/axiom-v0.3.0/mainnet_header` example circuit
Closed this issue · 0 comments
katiemckeon commented
Due to an updated snark-verifier-sdk package version (v0.1.6) which requires a rust version (v0.1.73) that we do not yet support, we must specify the v0.1.1 tag within the Cargo.toml for our axiom-eth circuits
Note that this will require invoking _prepare_circuit_database.py as well to update the compressed versions.