pub fn verify( digest: &[u8; 32], r: &[u8; 32], s: &[u8; 32], x: &[u8; 32], y: &[u8; 32], ) -> Result<bool, Secp256r1Err>