Function verify_right 

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