06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月11日消息，币安Alpha将上线TalusNetwork（US），Alpha交易将于2025年12月11日20:00开启。拥有至少236个币安Alpha积分的用户可按先到先得原则领取2,000枚US代币空投。如果奖励池未全部发放完毕，积分门槛将每5分钟自动降低5分，领取空投将消耗15个币安Alpha积分。
50 分钟前
火讯财经讯，12月11日消息，据Watcher.Guru报道，Coinbase宣布通过去中心化交易路由，允许用户在无需官方上市的情况下交易所有Solana代币。
50 分钟前
火讯财经讯，12月11日消息，据官方公告，BinanceAlpha将上线BeatSwap(BTX)，Alpha交易将于2025年12月11日10:00(UTC)开放。拥有至少241个币安Alpha积分的用户可以按先到先得的方式领取1200个BTX代币的空投。如果奖励池未全部发放完毕，积分门槛将每5分钟自动降低5分。
1 小时前
火讯财经讯，12月11日消息，据Lookonchain监测，FTX/Alameda在3小时前解锁了194,861枚Solana（SOL），价值约2550万美元。目前SOL价格为130.51美元。FTX/Alameda每月都会解锁SOL。
1 小时前
火讯财经讯，12月11日消息，据链上分析平台Lookonchain监测，交易员0xa43d在以太坊价格高点开仓做多，仅14小时内便损失324万美元。该交易员在ETH价格下跌后部分平仓，已实现损失583.5万美元，但仍持有11,793枚ETH（价值约3760万美元）的多头头寸，目前未实现亏损达266万美元。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
