@zksecurityXYZ team analyzed a critical security vulnerability in Solana's ZK ElGamal Proof Program in blog, allowing malicious provers to forge sigma OR proofs, bypassing fee verification. @zksecurityXYZ 团队在博客中详细分析了Solana的ZK ElGamal Proof Program中的一个关键安全性漏洞,该漏洞允许恶意证明者伪造sigma OR证明,绕过费用验证。
ICME discussed folding schemes in the lattice setting in blog, comparing LatticeFold and Neo, and how Neo implements a pay-per-bit commitment scheme. ICME在博客中探讨了基于格的折叠方案LatticeFold和Neo,比较了它们在处理Ajtai承诺和避免NTTs方面的不同策略,以及Neo如何实现按位付费的承诺方案。