[Veridise与Stark Ware合作开发Cairo语言符号执行引擎]5月28日消息，自动化安全审计公司Veridise宣布与Stark Ware合作开发Cairo语言符号执行引擎，会在两周之内发布具备基本语言功能的测试版。Veridise的引擎会为Cairo语言提供自动安全检测工具，帮助StarkNet生态项目的安全与审计。
其它快讯：
Silvergate Bank今年第一季度净收入为2470万美元，同比接近翻倍:金色财经消息，加密友好银行Silvergate Bank2022年第一季度归属于普通股东的净收入（NetIncome）为2470万美元，几乎是去年同期1270万美元的两倍。第一季度每股收益为0.79美元，比去年同期的0.55美元增长40%以上。
该银行的数字货币客户数量增长至1503名，而2021年第一季度为1104名。Silvergate在第一季度处理1423亿美元的美国美元转账，与2021年第一季度的1665亿美元相比下降14.5%。该行在纽交所上市的母公司Silvergate CapitalCorp（SI）的股价在盘前交易中上涨1.26%。（CoinDesk）[2022/4/19 14:34:22]
Cover Protocol宣布将索赔申请费用提高至50 DAI:12月8日，去中心化保险协议Cover Protocol官方宣布，2020年5月12日为BadgerDAO提出的索赔已被Cover Protocol社区拒绝。10 DAI的申请费已被发送至Cover Protocol财政部。与此同时，为了防止提交虚假索赔或垃圾索赔，官方宣布将把申请费从10 DAI调整为50 DAI（如果索赔有效，申请费将退还）。[2020/12/8 14:34:55]
声音 | Roge Ver指责Tone Vays作弊并输掉注:据AMBCrypto消息，5月25日，前摩根大通交易员Tone Vays在推特上提供相关证据，证明其已经按照Roge Ver的要求完成交易，大约是在10小时内完成的，并以此证明他获得了此前约的胜利。 对此，Roge Ver在视频中指责其作弊并输掉了注。首先，Ver注意到交易并没有在一天之内完成，并补充说要花10个小时才能被包含在区块中。其次，他解释道，Tone的交易是整个生态系统中“最高优先级”（交易费用越高，优先级越高），并且是由Slush Pool的嵌入引起的。[2019/5/27]
郑重声明： Veridise与Stark Ware合作开发Cairo语言符号执行引擎版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。