Solidity Fixed Point 库中的问题 — Certora 漏洞披露 本文探讨了固定点表示法在DeFi应用中的重要性,详细分析了PRBMath库中的一个设计缺陷,该缺陷可能导致严重的安全漏洞,并强调了公共库安全性的重要性。作者建议进行长远解决方案以支持多种舍入模式,并指出了正式规范的重要性。 固定点表示法 DeFi PRBMath库 安全漏洞 智能合约 数学库 Certora 发布于 2023-07-13 1663 0 0