[Cathie Wood：Ark Invest对比特币的态度为“中性到积极”]金色财经报道，Ark Invest首席执行官Cathie Wood在最新一期ARK播客“In the Know”中称，他们对比特币的总体态度为“中性到积极”。Cathie Wood说道：我们正在等待更多的投降信号，当然，时间会在这里的系统性方面给出答案。在过去的几天里，我们没有听到另一个压力信号，所以这也很好。（Cointelegraph）
其它快讯：
Cool Cats宣布Cool Cats Pet今晚开放空投申领:1月31日消息，NFT 项目 Cool Cats 发推称，Cool Cats Pet 将于北京时间 1 月 31 日 23 点开放空投申领；北京时间 2 月 1 日零时，白名单用户可以进行铸造，并持续 24 小时；北京时间 2 月 2 日 2 点进行公开发售。[2022/1/31 9:24:50]
Cathie Wood的ETF9月份已增持约39万股Robinhood股票:9月15日消息，Cathie Wood的ETF出售了约价值6600万美元（89000股）Tesla股票，并购买了236,000股Robinhood的股票。本月到目前为止，他们已增持了约390,000股Robinhood股票。（彭博社）[2021/9/16 23:28:05]
公告 | Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉:Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。[2019/6/26]
郑重声明： Cathie Wood：Ark Invest对比特币的态度为“中性到积极”版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。