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