sp1-verifier is used at run time in 4 crates. It is a direct run-time dependency in 2 crates.

Depender (with downloads and own rev deps) sp1-verifier version
300 2 charms-client ^4.1.6
150 zksvm-client ^4.0.0