fn is_satisfied( my_stake: Balance, total_stake: Amount, vrf_output: &[bool; 253], w: &mut Witness<Fp>, ) -> Boolean