Veridise 与 StarkWare 合作开发 Cairo 语言符号执行引擎
【Veridise 与 StarkWare 合作开发 Cairo 语言符号执行引擎】5月28日消息，自动化安全审计公司 Veridise 宣布与 StarkWare 合作开发 Cairo 语言符号执行引擎，会在两周之内发布具备基本语言功能的测试版。Veridise 的引擎会为 Cairo 语言提供自动安全检测工具，帮助 StarkNet 生态项目的安全与审计。
日期： 2022-05-28 10:05
返回
上一页：Veridise与Stark Ware合作开发Cairo语言符号执行引擎
下一篇：华尔街人资深人士推出加密对冲基金Aqxa Research
🚀🔥👏欢迎注册OKX交易所🚀🔥 ✈️🔥👏欢迎注册抹茶交易所🔥✈️
