ark-gm17 is used at run time in 2 crates (of which 1 optionally).

Depender ark-gm17 version
arkworks-solidity-verifier ^0.3.0
liminal-ark-relations optional ^0.3.0