snark-verifier is used at run time in 9 crates. It is a direct run-time dependency in 3 crates.

Depender (with downloads and own rev deps) snark-verifier version
3 snark-verifier-sdk =0.1.7
3 axiom-eth =0.1.7
halo2-wasm ^0.1.7