[Veridise与Stark Ware合作开发Cairo语言符号执行引擎]5月28日消息，自动化安全审计公司Veridise宣布与Stark Ware合作开发Cairo语言符号执行引擎，会在两周之内发布具备基本语言功能的测试版。Veridise的引擎会为Cairo语言提供自动安全检测工具，帮助StarkNet生态项目的安全与审计。
其它快讯：
Arweave生态DEX Verto Exchange上线测试网:金色财经消息，Arweave生态去中心化交易平台Verto Exchange在推特上宣布上线测试网，作为重新启动的第一阶段。据称，Verto已经完全开始重建，以优化安全性和速度。[2022/5/21 3:31:37]
Cover Protocol：COVER代币和护盾挖矿已正式开始:官方消息，Cover Protocol宣布COVER代币，迁移和护盾挖矿活动已于已于北京时间11月20日8:00正式开始。[2020/11/20 21:26:33]
动态 | 博报堂参与开发了区块链应用程序“GiverCoin”:日本广告与传播巨头博报堂与token pocket、Zee Productions等公司共同开发了一个新区块链平台“GiverCoin”，在此平台上，当消费者进行社交活动（为社会做贡献）时，会将令牌作为贡献分数提供给应用程序内钱包。（Coinpost）[2019/11/14]
郑重声明： Veridise与Stark Ware合作开发Cairo语言符号执行引擎版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。