快讯 · 2022年5月28日

Veridise与StarkWare合作开发Cairo语言符号执行引擎

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