improved the fdh_ry a little to prove adversary equivalence