06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，2月4日消息，据官方公告，BNBChain发布应用层新标准BAPs与非同质化代理(NFA)代币标准BAP-578。BAP-578是非同质化代理(NFA)代币标准，NFA是一种人工智能驱动的资产，可以在链上自主运行。BAP代表BNB应用提案(BNBApplicationProposal)。它是一份设计文档，允许社区提出BNB链上应用程序如何通信和交互的标准。
5 分钟前
火讯财经讯，2月4日消息，据欧易OKX行情显示，日内涨幅排名靠前的几个代币为：ATOM现报2.079美元，日内涨幅4.11%；SATS现报0.0000000136美元，日内涨幅2.41%；TRX现报0.286美元，日内涨幅1.29%；AEVO现报0.0300美元，日内涨幅1.18%；CHZ现报0.0451美元，日内涨幅1.08%。 此外，日内跌幅排名靠前的几个代币为：STX现报0.302美元，日内跌幅6.46%；ASTR现报0.00854美元，日内跌幅4.52%；FLOW现报0.0518美元，日内跌幅3.93%；ZRX现报0.115美元，日内跌幅3.91%；PEPE现报0.00000421美元，日内跌幅3.64%。
5 分钟前
火讯财经讯，2月4日消息，据OnchainLens监测，某巨鲸在持仓4个月并亏损1969万美元后，将8,329枚ETH（约合1859万美元）充值进了GalaxyDigital。该巨鲸最初从OKX提现了11,860枚ETH（当时价值4626万美元），目前仍持有3,530枚ETH，价值约800万美元。
5 分钟前
火讯财经讯，2月4日消息，据Decrypt报道，在《TODAY》节目主持人SavannahGuthrie母亲NancyGuthrie（84岁）失踪案调查中，出现了一封要求支付数百万美元比特币的勒索邮件。新闻网站TMZ称收到了这封勒索邮件，包含一个比特币地址、最后期限以及威胁内容，信中还描述了NancyGuthrie当时的穿着以及屋内一件损坏的物品。NancyGuthrie于1月31日晚在亚利桑那州家中失踪，警方已将此案作为“可能的绑架”处理。
5 分钟前
火讯财经讯，2月4日消息，据官方公告，博彩娱乐平台BLUFF完成2100万美元战略融资，1kx领投，MakersFund、MaximumFrequencyVentures等机构以及包括体育冠军兼科技投资人TristanThompson在内的其他知名人士也参与了此次投资。
5 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
