Skip to content
以太坊合约的可复用属性
blog.trailofbits.com | 博客 | #web3 | #smart-contracts | #fuzzing | #smart-contract | #blockchain-security | #ethereum | #echidna | #invariants | #erc-20 | #erc-4626 | #invariant | #property-based-testing
摘要
Trail of Bits 发布 168 个可复用的智能合约属性，可直接用于其模糊测试工具 Echidna 或单元测试，覆盖 ERC-20、ERC-4626 金库标准与 ABDKMath64x64 定点数学运算，帮助社区用不变量测试提升合约安全保障。
- 发布时间
- 收录时间