Veridise与Stark Ware合作开发Cairo语言符号执行引擎

[Veridise与Stark Ware合作开发Cairo语言符号执行引擎]5月28日消息，自动化安全审计公司Veridise宣布与Stark Ware合作开发Cairo语言符号执行引擎，会在两周之内发布具备基本语言功能的测试版。Veridise的引擎会为Cairo语言提供自动安全检测工具，帮助StarkNet生态项目的安全与审计。

其它快讯：

动态 | Alrosa和Everledger合作推出区块链钻石溯源微信小程序:据GlobalMiningReview消息，俄罗斯钻石开采公司Alrosa和区块链初创公司Everledger正在向中国零售商推出微信小程序，通过区块链技术使钻石的原产地、特征和所有权历史变得透明。[2019/12/17]

Reverse进入韩国市场:虚拟货币Reverse进入韩国市场。Reverse有着世界第二，亚洲第一的人体识别手机钱包，并且在教育，金融，大数据，健康管理，通讯等在社会实际生活中提供支付解决方案。在马来西亚，印度，新加坡，瑞士，美国等地区中有400多名的员工，2017年10月在交易所上市，并且在135个国家提供者着550个通讯支付服务。[2018/5/21]

Vertcoin矿池呼吁抵制ASIC矿机挖矿: 昨日Vertcoin官方博客发文，呼吁社区共同抵制使用比特大陆ASIC矿机挖矿。他们认为比特大陆的ASIC矿机，以及他们在全球建立的的大型矿产都提高了普通矿工入场的门槛，到了没有ASIC就无法挖矿的地步。另外，在其销售矿机赚取巨额利润的同时，也降低了数字货币的去中心化性质，破坏了社区和生态的良性发展。此前，比特大陆表示发布了适用于挖掘门罗币的蚂蚁矿机Antminer X3，并表示将推出挖掘以太坊的ASIC矿机。但Antminer X3的发布遭到了门罗币团队的抵制，其CEO表示已修改门罗币挖矿算法。[2018/3/31]

郑重声明： Veridise与Stark Ware合作开发Cairo语言符号执行引擎版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。