揭示Solana的ZK ElGamal证明程序中的幻影挑战可靠性漏洞- ZKSECURITY 在Solana的ZK ElGamal Proof Program中发现了一个严重的声音漏洞，该漏洞允许恶意证明者伪造sigma OR 证明，绕过机密传输中的费用验证。攻击者可以操纵加密的费用金额来任意铸造或烧毁Token，而无需泄露实际的传输价值。该漏洞的根本原因是Fiat-Shamir转换中的一个微妙错误，即一个由证明者生成的“挑战”值未被吸收到transcript中。 零知识证明 Solana ZK ElGamal Proof Program sigma OR 证明 Fiat-Shamir转换 密码学 zksecurity 发布于 2025-06-27 1685 0 0
