fn eval_and_check_public_key( m: &InnerCurve<Fp>, private_key: &[bool; 255], public_key: &PubKey, message: Message<'_>, w: &mut Witness<Fp>, ) -> Fp