06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月31日消息，据《南华早报》报道，中国人工智能公司智谱AI（ZhipuAI）启动赴港IPO，计划募资43.5亿港元（约合5.6亿美元），将成为香港首家上市的大语言模型（LLM）开发商。发行价定为每股116.2港元，预计1月8日挂牌，上市估值约511.6亿港元。智谱此前完成超83亿元人民币融资，投资方包括美团、阿里巴巴、腾讯、小米等。
5 小时前
火讯财经讯，12月31日消息，据MLM披露，JumpCrypto自2025年11月中旬起在Lighter交易所提供做市服务，并获得空投9,284,890枚$LIT（约合2420万美元），占LIT总供应量约0.93%、流通量约3.72%。其中32.4万枚LIT分发至新建钱包，疑似为做市活动直接报酬。
5 小时前
火讯财经讯，12月31日消息，美股开盘，道指涨0.01%，标普500指数涨0.04%，纳指涨0.01%。特朗普媒体科技集团(DJT.O)涨2.6%，此前该公司宣布计划向股东分发数字代币。
5 小时前
火讯财经讯，12月31日消息，据TheInformation报道，英伟达(NVDA.O)正投资布鲁克菲尔德人工智能基础设施基金。
5 小时前
火讯财经讯，12月31日消息，据美国司法部官网，美国乔治亚州的RyanGoldberg（40岁）与德克萨斯州的KevinMartin（36岁）在佛罗里达南区联邦法院认罪，承认于2023年间与他人共谋使用ALPHVBlackCat勒索软件攻击全美多名受害者。两人均来自网络安全行业，并与勒索软件开发者按比例分赃，其中一次攻击中成功勒索120万美元比特币。法院将于2026年3月12日宣判，二人最高面临20年监禁。
5 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
