06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月5日消息，据TheDataNerd监测，30分钟前，巨鲸地址0x117从Coinbase提取了63,424枚LINK（约合86万美元）。 在3周内，他累计积累了540,684枚LINK（约合676万美元），平均入场价为12.5美元。
20 分钟前
火讯财经讯，1月5日消息，据SolanaFloor报道，Meme币疑似再度显现复苏迹象。Solana上Meme币Launchpad平台交易量刚创下三个月新高，日交易量、上线代币数量以及每日代币“毕业”数量均达到三个月以来的最高水平。
20 分钟前
火讯财经讯，1月5日消息，据美通社报道，比特币矿企CangoInc.发布其2025年12月的比特币生产和挖矿运营更新，该公司当月产出569枚比特币，日均产量18.35枚；截至月末持有7,528.3枚比特币（环比增加约569BTC）。公司已部署算力50EH/s，月均运行算力43.36EH/s。Cango表示其比特币将长期持有、且不计划出售。
20 分钟前
火讯财经讯，1月5日消息，Starknet在X平台发文称，Starknet目前出现宕机，团队正积极排查问题，并努力尽快恢复全部功能。
20 分钟前
火讯财经讯，1月5日消息，据OnchainLens监测，此前监测的“沉睡1.6年的巨鲸”已平仓其LIT（1倍杠杆）多头头寸，亏损767,403美元。 该巨鲸的利润已从300万美元下降至42万美元。
50 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
