区块链项目代码审计必不可少,看看有哪些方式可以让我们的项目更安全。
NUM 漏洞分析
本文列举了foundry中常用的命令,方便以后查询使用。
为什么需要审计,如何开始审计和以及常见合约错误。
为智能合约、区块链、Web3、Ethereum和Solidity开发者提供全面的工具指南。另外还简要介绍了Solana、Terra和其他基于Rust智能合约的工具
11月4日,成都链安重磅推出离线免费版智能合约自动形式化验证工具Beosin—VaaS,该版本基于流行的开发工具VS Code插件,供广大开发者免费使用。获得方式如下,欢迎体验使用: https://beosin.com//