pub fn verify(pk: &PublicKey, m: &[u8], sig: &Signature) -> bool