智能合约工程
智能合约是持有价值的不可变程序,因此缺陷是公开的,而且往往无法挽回。我们为 EVM 网络编写 Solidity,采用小而可组合的合约、显式的访问控制,并优先使用经过审计的库代码而非自行实现。在任何独立审计之前,测试就已结合了单元测试、模糊测试、不变量测试以及基于真实链上状态的 fork 测试。
- Ethereum 及 EVM 兼容网络上的 Solidity
- Foundry 与 Hardhat 开发及测试工具
- OpenZeppelin 合约库
- ERC-20、ERC-721、ERC-1155 与 ERC-4626 代币标准
- 带时间锁与多签管理的代理升级模式
- 使用 Slither 进行静态分析,并进行基于属性的模糊测试
