pub trait VerifyUserCommandsService: Service {
// Required method
fn verify_init(
&mut self,
req_id: SnarkUserCommandVerifyId,
commands: Vec<WithStatus<UserCommand>>,
verifier_index: TransactionVerifier,
verifier_srs: Arc<VerifierSRS>,
);
}