06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月10日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓1.15亿美元，其中多单爆仓8092.27万美元，空单爆仓3370.85万美元。BTC爆仓总金额2495.84万美元，ETH爆仓总金额1448.03万美元。
4 小时前
火讯财经讯，1月10日消息，据Lookonchain监测，某鲸鱼2小时前从币安提取1320枚BTC，价值约合1.196亿美元。
4 小时前
火讯财经讯，1月10日消息，CZ在X平台发文表示：“超级周期即将到来，但我也可能判断错误。（Icouldbewrong,butSuperCycleincoming.）” 根据CZ转发推文显示，美国证券交易委员会将加密货币从2026年优先风险名单中移除，对加密行业利好。
4 小时前
火讯财经讯，1月10日消息，据官方公告，OKX将上线FOGO(Fogo)盘前永续合约，盘前交易开盘时间：2026年01月10日23:45(UTC+8)。
4 小时前
火讯财经讯，1月10日消息，据BlockSec监测，Arbitrum链上FutureSwapX合约发生一笔可疑交易，估计损失约为39.5万美元。BlockSec表示已尝试联系该团队，但目前尚未收到回复，攻击者似乎通过多次changePosition操作窃取了资金，最终提取USDC。由于该合约并非开源，确切的根本原因仍需进一步调查，根据链上行为怀疑该事件可能与早期持仓更新期间稳定余额的意外变动有关，这些变动导致在移除抵押物时释放了USDC。
5 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
