Computer Scientists Figure Out How to Prove Lies
10 months ago
- #Cryptography
- #Random Oracle Model
- #Blockchain Security
- 计算机科学家长期依赖哈希函数来模拟密码学应用中的随机性，其假设前提是输出结果与真实随机性无法区分（随机预言机模型）。
- 最新研究论文展示了一种欺骗证明系统使其认证错误陈述的方法，这对随机预言机模型的安全性提出挑战，尤其在区块链技术领域。
- 作为非交互式计算验证的基础技术，菲亚特-沙米尔变换容易受到利用哈希函数弱点的攻击。
- 研究人员发现可将恶意程序嵌入任何任务中，使虚假证明通过验证，这引发了人们对区块链和密码学安全性的担忧。
- 目前正在修补菲亚特-沙米尔变换的漏洞，但该发现促使密码学界更广泛地重新审视加密假设和随机预言机模型。