请描述 ElGamal 签名算法，并证明在 ElGamal 签名算法中，签名人在签名过程中选取的随机数 k 不可泄漏。

ElGamal 签名算法是一种基于离散对数问题的数字签名算法，包含签名生成和验证两个过程。

签名生成过程：
1. 签名人选择一个大质数 p 和一个生成元 g，使得 p-1 有大素数因子。
2. 签名人选择一个私钥 x，满足 1 <= x <= p-2。
3. 签名人计算公钥 y = g^x mod p。
4. 签名人选择一个随机数 k，满足 1 <= k <= p-2。
5. 签名人计算 r = g^k mod p 和 s = (m - x * r) * k^(-1) mod (p-1)。
6. 签名人将签名对 (r, s) 发送给验证人。

签名验证过程：
1. 验证人获取公钥 y，签名对 (r, s) 和消息 m。
2. 验证人计算 u = g^m * y^s mod p 和 v = r mod p。
3. 如果 u = v，则签名合法，否则不合法。

在 ElGamal 签名算法中，签名人选取的随机数 k 不可泄漏的证明如下：
如果签名人的随机数 k 可被猜测，则对于同一个消息 m，签名人的签名对 (r,s) 也是可被猜测的。由于每一个签名都是独立且不可预测的，攻击者可以通过这种方法获得更多的签名对。进而，攻击者可以使用多条签名来推导出签名人的私钥 x，这样就可以伪造签名并否认签名人的身份。因此，签名人选取的随机数 k 必须是随机且不可预测的。