miden-block-prover is used at run time in 3 crates. It is a direct run-time dependency in 2 crates.

Depender (with downloads and own rev deps) miden-block-prover version
130 miden-proving-service ^0.8
120 1 miden-node-block-producer ^0.8