06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，2月18日消息，据Cointelegraph报道，去中心化SocialFi平台Zora宣布在Solana链上推出全新注意力市场（AttentionMarkets）平台，允许交易者对网络热点词、话题、标签及趋势进行交易，平台用户可在话题爆发前创建“Trends”并实时追踪盈亏情况。Zora联合创始人JacobHorne表示，目前发布一个Trend需使用1枚SOL以抑制垃圾信息，Trend本身不提供创作者奖励，但Trend下的Pairs可获得创作者激励。另据Zora发布的招聘公告显示，该公司正在寻求“AttentionEconomist（注意力经济学家）”，负责追踪TikTok、InstagramReels、YouTubeShorts和X等平台的文化动向以预测下一波趋势。
29 分钟前
火讯财经讯，2月18日消息，据金十报道，Cloudflare澄清目前没有任何问题或中断的情况发生。 此前据网络状况监测网站DownDetector数据显示，多个网络服务出现问题。截至目前，用户报告称YouTube、谷歌(GOOG.O)、亚马逊(AMZN.O)网络服务、Cloudflare的使用均出现问题。
29 分钟前
火讯财经讯，2月18日消息，据TheInformation报道，人工智能巨头Anthropic公司近期最乐观的预测，该公司预计到2029年将至少向亚马逊、谷歌和微软支付800亿美元，用于在其云服务器上运行其Claude人工智能系统，但这并非这些科技巨头从Anthropic获利的唯一途径：如果他们的客户购买了Anthropic的人工智能产品还能从Anthropic产生的收入中分一杯羹，而这部分收入正快速增长。另据Anthropic的数据，该公司在2024年仅向云服务提供商支付了约130万美元的人工智能销售分成。
29 分钟前
火讯财经讯，2月18日消息，OKX行情显示，BTC跌破67000USDT，现报67033.2USDT，24小时跌幅0.69%
59 分钟前
火讯财经讯，2月18日消息，据BusinessInsider报道，美国内华达州监管机构已正式起诉预测市场平台Kalshi，据悉内华达州监管机构已寻求法院下令禁止Kalshi继续运营“无证体育博彩业务”，同时还指出Kalshi发展迅猛，今年超级碗周日的交易额是去年的27倍，截至目前Kalshi公司发言人拒绝就此事发表置评，但披露已请求联邦法院受理此案并指出只有联邦法律适用于预测市场，而州政府的新执法行动所依据的问题与联邦法院正在审理的问题相同。
59 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
