risc0-zkp-hal is used at run time in 1 crate (of which 1 optionally).

Depender (with downloads and own rev deps) risc0-zkp-hal version
2 risc0-zkvm-verify optional ^0.10