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