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