[Veridise与Stark Ware合作开发Cairo语言符号执行引擎]5月28日消息，自动化安全审计公司Veridise宣布与Stark Ware合作开发Cairo语言符号执行引擎，会在两周之内发布具备基本语言功能的测试版。Veridise的引擎会为Cairo语言提供自动安全检测工具，帮助StarkNet生态项目的安全与审计。
其它快讯：
MMORPG链游Cosmic Universe发布免费游戏演示版:6月8日消息，Cosmic Universe发布其免费游戏（Free-to-Play）Demo，据悉，Cosmic Universe是一款即将推出的基于Harmony区块链的MMORPG游戏。游戏演示版将是单人离线预览MMORPG版本，预计2023年上半年发布完整版本。
在Cosmic Universe生态系统中，玩家有机会出租、交易、升级和解锁NFT，以及通过完成任务参与各种P2P和PVE竞争和挑战。玩家可以选择不同类型的角色职业，通过熟练的游戏技巧获得奖励，并享受传统MMORPG游戏体验。（Globenewswire）[2022/6/8 4:10:20]
Inverse Finance发起新链上提案 拟将“治理”升级为GovernorMills:10月10日消息，DeFi稳定币收益协议Inverse Finance发起新链上提案，拟将“治理”升级为GovernorMills。如果该提案通过，xINV质押者将最终能够参与DAO治理。该提案要求将INV治理从GovernorAlpha合约升级为新的自定义GovernorMills。功能包括：xINV质押者可以投票和提案；DAO可以更改法定人数和提案阈值；DAO可以将要提议的地址列入白名单，而无需满足提案阈值；临时监护人可以在紧急情况下取消提案、更新阈值或转移治理。GovernorMills将允许所有DAO成员再次参与决策。[2021/10/10 20:18:31]
动态 | Ethfinex改名DeversiFi，将脱离Bitfinex变为独立的去中心化交易所:去中心化交易所Ethfinex宣布改名为DeversiFi。DeversiFi 将关闭 Ethfinex.com 网站，并计划对之前发行过的 NEC 代币进行彻底更新，同时还将加入包括去中心化保证金交易、去中心化借贷、新的手续费结构以及移动端优化的 DeversiFi Mobile 应用的新功能。但在该公告中 DeversiFi 称自己是一家完全独立的交易所。[2019/8/14]
郑重声明： Veridise与Stark Ware合作开发Cairo语言符号执行引擎版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。