Function eval_and_check_public_key

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