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