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
200 3 axiom-eth =0.1.7
120 3 snark-verifier-sdk =0.1.7
halo2-wasm ^0.1.7