06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，2月9日消息，据币安官方公告，持有至少241个币安Alpha积分的用户可于今天21:00（UTC+8）领取币安Alpha空投。先到先得。直至空投池领取完毕或活动结束。
31 秒前
火讯财经讯，2月9日消息，据Cointelegraph报道，TONFoundation发布支付软件开发工具包(SDK)TONPay，旨在让加密货币能够应用于Telegram生态系统中的日常消费交易。该产品定位为一个简单易用、与钱包无关的支付层，允许商家和小程序开发者直接通过Telegram接受加密货币付款，目标是将Telegram打造成一个无缝区块链商务中心。 TON基金会表示，TONPay为开发者提供了一个与Telegram小程序集成的单一软件工具包，减少管理钱包基础设施、结算和结账流程的繁琐环节。
31 秒前
火讯财经讯，2月9日消息，据链上分析师余烬监测，何一发推后，链上开盘机器人第一时间监控创建了"六大门派围攻光明顶"Meme币。市值最高到达190万美元。该代币的创建者，用一分半钟获利了2.7万美元： 16:47:42创建并使用价值2,400美元的BNB买入41%的代币。 16:47:53开始卖出，16:49:01卖完。获利2.7万美元。
31 秒前
火讯财经讯，2月9日消息，链上资产管理协议Maple发文表示，其Web应用程序存在安全漏洞。该问题已修复，但出于谨慎考虑，将暂时关闭该Web应用程序，以确保修复彻底完成。智能合约未受影响，用户存款安全。网页应用恢复上线后另行通知。
30 分钟前
火讯财经讯，2月9日消息，据Lookonchain监测，Polymarket交易员“kch123”在2026年超级碗期间，下了的5注全部获胜，一天获利180万美元。其总共赚取了超1100万美元的利润。
30 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
