LegoGroth16 is used at run time in 3 crates.

Depender (with downloads and own rev deps) LegoGroth16 version
rdf-proofs ^0.15
1 saver ^0.15.0
1 proof_system ^0.15.0