snark/block_verify_effectful/
snark_block_verify_effectful_actions.rs

1use std::sync::Arc;
2
3use serde::{Deserialize, Serialize};
4
5use crate::{block_verify::VerifiableBlockWithHash, BlockVerifier, VerifierSRS};
6
7use super::SnarkBlockVerifyId;
8
9#[derive(Serialize, Deserialize, Debug, Clone)]
10pub enum SnarkBlockVerifyEffectfulAction {
11    Init {
12        req_id: SnarkBlockVerifyId,
13        block: VerifiableBlockWithHash,
14        verifier_index: BlockVerifier,
15        verifier_srs: Arc<VerifierSRS>,
16    },
17}
18
19impl redux::EnablingCondition<crate::SnarkState> for SnarkBlockVerifyEffectfulAction {
20    fn is_enabled(&self, _state: &crate::SnarkState, _time: redux::Timestamp) -> bool {
21        true
22    }
23}