5月28日消息,自動化安全審計公司Veridise宣布與StarkWare合作開發Cairo語言符號執行引擎,會在兩周之內發布具備基本語言功能的測試版。Veridise的引擎會為Cairo語言提供自動安全檢測工具,幫助StarkNet生態項目的安全與審計。