Echidna共2篇
手把手教你用Echidna测试智能合约-区块链开发网

手把手教你用Echidna测试智能合约

随着Web3的迅猛发展,各种智能合约层出不穷,某些智能合约中的漏洞很致命的:无论是以代币还是以太币的形式,合约可以管理重要的财产资源,漏洞造成的损失将可能以数百万美元计。不过,以太坊区...
使用Echidna测试智能合约库-区块链开发网

使用Echidna测试智能合约库

本文将展示如何通过 Echidna 工具测试 智能合约 > * 原文:https://blog.trailofbits.com/2020/08/17/using-echidna-to-test-a-smart-contract-library/ > * 译文出自:[区块链开发网...