[Veridise与Stark Ware合作开发Cairo语言符号执行引擎]5月28日消息，自动化安全审计公司Veridise宣布与Stark Ware合作开发Cairo语言符号执行引擎，会在两周之内发布具备基本语言功能的测试版。Veridise的引擎会为Cairo语言提供自动安全检测工具，帮助StarkNet生态项目的安全与审计。
其它快讯：
Cover团队在Kovan以太坊测试网部署xCOVER智能合约:1月19日消息，Cover联合创始人Alan通过推特发布Kovan以太坊测试网上的交易哈希，交易哈希显示Cover团队已经建立了新的智能合约(xCOVER)。在评论中有推特用户称：xCOVER来了，我们将能够质押COVER来获得xCOVER。此前Alan透露Cover Protocol V2即将面世。[2021/1/19 16:29:46]
聚币Jubi将于12月15日16：00首发上线NFT项目C42（Clover42）:据官方消息，聚币Jubi将于2020年12月15日16:00（UTC+8）首发上线C42，开放C42/USDT交易。届时，Clover42将向聚币平台参与活动的用户空投Clover42 NFT卡牌资产，该卡牌可用于挖矿或交易。
Clover42是一个整合了预测市场、GameFi，NFT的去中心化区块链平台，并自创了金融衍生品的自动做市AMM机制。核心引擎由俄罗斯极客团队研发，其核心技术创新为GSP协议(Gamification & SimplificationProtocol)，这个机制的算法来自Parimutuel Methods和Bonding Curve完美相结合，科学地奠定了预测市场的底层框架和定价机制。比如第一个游戏DeFi9的头奖拉盘的设计，使得代币回购燃烧带有确定性、半随机性和趣味性，将代币逻辑和游戏逻辑完美集合。同时，挖矿机制通过质押平台币和NFT挖矿凭证，实现了算法优化版流动性挖矿。[2020/12/14 15:10:45]
声音 | Roger Ver：Craig Wright是否是中本聪并不重要:据CCN报道，比特币耶稣Roger Ver称，他100％赞成“锁定协议”，以便可以继续在其上建立事业并依赖它。然而支持SV的人（例如Craig Wright和Calvin Ayre）“擅长说”同样的话，但是他们的行为恰恰相反。Ver表示，Craig Wright是否是中本聪并不重要。如果事实证明他就是中本聪，那么这只会降低其对中本聪的看法。[2018/11/20]
郑重声明： Veridise与Stark Ware合作开发Cairo语言符号执行引擎版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。