pub fn verify_block(
header: &MinaBlockHeaderStableV2,
verifier_index: &VerifierIndex<Fq>,
srs: &SRS<Vesta>,
) -> bool
pub fn verify_block(
header: &MinaBlockHeaderStableV2,
verifier_index: &VerifierIndex<Fq>,
srs: &SRS<Vesta>,
) -> bool