自动化安全审计公司 Veridise 与 StarkWare 合作开发 Cairo 语言符号执行引擎

Foresight News 消息，自动化安全审计公司 Veridise 宣布与 StarkWare 合作开发 Cairo 语言符号执行引擎，会在两周之内发布具备基本语言功能的测试版。Veridise 的引擎会为 Cairo 语言提供自动安全检测工具，帮助 StarkNet 生态项目的安全与审计。