snark/block_verify_effectful/
snark_block_verify_service.rs

1use std::sync::Arc;
2
3use crate::{block_verify::VerifiableBlockWithHash, BlockVerifier, VerifierSRS};
4
5use super::SnarkBlockVerifyId;
6
7pub trait SnarkBlockVerifyService: redux::Service {
8    fn verify_init(
9        &mut self,
10        req_id: SnarkBlockVerifyId,
11        verifier_index: BlockVerifier,
12        verifier_srs: Arc<VerifierSRS>,
13        block: VerifiableBlockWithHash,
14    );
15}