为什么签名在测试中很重要 类型签名驱动许可流程、元交易和链下审批。能够在测试中生成它们,可以让你在不连接外部钱包的情况下确认你的验证逻辑。Wake 在 Account 上公开了一个重点 API,涵盖了三个常见的场景:原始消息签名 (sig...
介绍 升级是生产 bug 藏身之处:遗漏的初始化程序、错误的管理员或损坏的存储。代理模式允许你升级合约,但它们引入了传统测试所遗漏的复杂性。Wake 基于 Python 的测试可以在这些问题到达主网之前发现它们。 结果是干净的测试代码。...
介绍 手动审查 Solidity 代码既缓慢又容易出错。一个被忽略的函数可能隐藏着代价高昂的漏洞。Wake 的打印机系统可以自动搜索这些有风险的模式,将数小时的手动审查变成快速、可靠的扫描。 Wake 打印机结合了 Python 的简洁...
介绍 模糊测试对于安全的智能合约测试至关重要,但也面临着挑战。测试执行通常很慢,而分析失败可能需要更多的时间和精力。 Shrinking(缩减)解决了这个问题。当模糊测试在有状态测试期间发现错误时,缩减算法会最小化重现该错误所需的操作序...