[Veridise与Stark Ware合作开发Cairo语言符号执行引擎]5月28日消息，自动化安全审计公司Veridise宣布与Stark Ware合作开发Cairo语言符号执行引擎，会在两周之内发布具备基本语言功能的测试版。Veridise的引擎会为Cairo语言提供自动安全检测工具，帮助StarkNet生态项目的安全与审计。
其它快讯：
KUniverse哈氏天体000271号NFT以一万美金即时价格成交:据悉，KUniverse生态NFT哈氏天体000271号昨日以6666kst（约1万美金）价格成交，成为OKEXChanin价值最高NFT。
KUniverse是由KSwap推出的创新NFT系统，与传统的只有收藏价值和游戏价值的NFT不同，KUniverse深度融合了KSwap的交易及分红机制，KUniverseNFT由盲盒开出总量2万枚，将结合KSwap运营空投给社区用户。[2021/7/30 1:24:36]
Roger Ver：以太坊市值今年将超过比特币:从比特币阵营转向比特币现金阵营的Roger Ver近日对以太坊进行了预测，他表示以太坊市值将在今年超过比特币。“我看到它正在发生，而且我相信它即将到来……以太坊会在年底超过比特币，比特币现金在2020年之前也能实现这一目标。”[2018/5/12]
美国线上零售商Overstock获得索罗斯基金1亿美元投资 :Overstock.com刚刚从金融界的一个大腕中获得了资金，其首席执行官Patrick Byrne说，大部分资金将用于该公司的区块链工作。该公司在本周提交给证券交易委员会（SEC）的文书中披露，认股权证持有人已经行使了购买价值1亿美元股票的权利。 Byrne告诉CoinDesk，这是由亿万富翁乔治?索罗斯管理的量子基金完成的。[2018/1/6]
郑重声明： Veridise与Stark Ware合作开发Cairo语言符号执行引擎版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。