snark/work_verify_effectful/
snark_work_verify_service.rs

1use std::sync::Arc;
2
3use openmina_core::snark::Snark;
4
5use crate::{TransactionVerifier, VerifierSRS};
6
7use super::SnarkWorkVerifyId;
8
9pub trait SnarkWorkVerifyService: redux::Service {
10    fn verify_init(
11        &mut self,
12        req_id: SnarkWorkVerifyId,
13        verifier_index: TransactionVerifier,
14        verifier_srs: Arc<VerifierSRS>,
15        work: Vec<Snark>,
16    );
17}