pub fn verify_schnorr(
    pk: Point,
    m: BigInt,
    r: Point,
    s: BigInt
) -> Result<bool, String>