使用 Echidna 模糊测试(Fuzzing) 提升智能合约安全性
随着Web3的迅猛发展,各种智能合约层出不穷,某些智能合约中的漏洞很致命的:无论是以代币还是以太币的形式,合约可以管理重要的财产资源,漏洞造成的损失将可能以数百万美元计。不过,以太坊区块链上的代码比任何单个合约都更重要:智能合约库代码。
本文将展示如何通过 Echidna 工具测试 智能合约