智能合约安全分析项目 Certora 的形式验证服务现已支持以太坊编程语言 Vyper
深潮 TechFlow 消息，8月15日消息，智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper，使智能合约开发人员能够在部署代码后审计之前检测错误。
- 发表于:
- 原文链接：https://page.om.qq.com/page/Or6PCGrBAaMUEgDmbIhXCM0g0
- 腾讯「腾讯云开发者社区」是腾讯内容开放平台帐号（企鹅号）传播渠道之一，根据《腾讯内容开放平台服务协议》转载发布内容。
- 如有侵权，请联系 cloudcommunity@tencent.com 删除。
相关快讯
腾讯云开发者
