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}