[Cathie Wood：Ark Invest对比特币的态度为“中性到积极”]金色财经报道，Ark Invest首席执行官Cathie Wood在最新一期ARK播客“In the Know”中称，他们对比特币的总体态度为“中性到积极”。Cathie Wood说道：我们正在等待更多的投降信号，当然，时间会在这里的系统性方面给出答案。在过去的几天里，我们没有听到另一个压力信号，所以这也很好。（Cointelegraph）
其它快讯：
Sneaky Vampire Syndicate NFT项目质押功能现已上线:10 月 15 日消息，据 Sneaky Vampire Syndicate 官方推特消息，Sneaky Vampire Syndicate NFT 项目质押功能现已上线，用户通过质押 NFT 每天将收到功能性 Token BLOOD。更多使用 BLOOD 的应用程序正在开发中。[2021/10/15 20:31:29]
Stoner Cats NFT系列以3647枚ETH售罄:金色财经报道，V神参与配音的NFT动画节目Stoner Cats的NFT系列以3,647 ETH（约 840 万美元）售罄。由于技术问题，尽管支付了交易费用，但仍有一些用户没有收到他们的NFT。 Stoner Cats团队表示将退还所有失败的交易。此次拍卖包含10,420只具有独特特征的数字猫的NFT集合，旨在资助和促进该节目的制作。[2021/8/3 1:30:33]
公告 | Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉:Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。[2019/6/26]
郑重声明： Cathie Wood：Ark Invest对比特币的态度为“中性到积极”版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。