Function verify

pub fn verify(
    target_hash: Fp,
    transition_chain_proof: (Fp, Vec<Fp>),
) -> Option<Vec<Fp>>