pub trait SnarkWorkVerifyService: Service {
// Required method
fn verify_init(
&mut self,
req_id: RequestId<SnarkWorkVerifyIdType>,
verifier_index: TransactionVerifier,
verifier_srs: Arc<SRS<GroupAffine<VestaParameters>>>,
work: Vec<Snark>,
);
}