深潮 TechFlow 消息,8月15日消息,智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper,使智能合约开发人员能够在部署代码后审计之前检测错误。
分享快讯到朋友圈
领取专属 10元无门槛券
私享最新 技术干货