06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月8日消息，跨链稳定币平台Stable宣布其原生代币STABLE已正式开放领取。用户可通过Merkl平台查询资格并领取代币。此外，用户可通过StargateFinance跨链USDT在Stable上获取gUSDT。
16 分钟前
火讯财经讯，12月8日消息，BinanceAlpha上线Stable(STABLE)。 今日稍早报道，币安今晚21:00启动Alpha空投，持有≥250积分可申领。
16 分钟前
火讯财经讯，12月8日消息，StrategyCEOMichaelSaylor发文称，Strategy于近期购入10,624BTC，耗资约9.63亿美元，平均成本约90,615美元/枚。Saylor同时表示，公司比特币年化收益率（YTD2025）已达24.7%。 根据Strategy于2025年12月8日向SEC提交的Form8-K文件，截至2025年12月7日，公司共持有660,624BTC，累计成本约493.5亿美元，平均成本约74,696美元/枚。该项购币资金来自公司在ATM融资中出售STRD及MSTR股票所得。
16 分钟前
火讯财经讯，12月8日消息，据TheBlock报道，Robinhood在美国将费率档从3档扩至7档，高频交易者最低费率0.03%；在欧盟新增XRP、SOL、DOGE、SUI永续合约交易对，合格用户最高7倍杠杆。公司同时推出纽约用户可参与ETH、SOL质押；12月22日起美区支持手动添加加密入账成本基础以维护税批与盈亏。Robinhood称近期市场事件促使用户“转向安全”。三季度交易收入同比增129%，其中加密收入2.68亿美元，同比增300%+。
16 分钟前
火讯财经讯，12月8日消息，加密风投Paradigm宣布向巴西稳定币公司Crown投资1350万美元，本轮估值约9000万美元，这是Paradigm首次在巴西进行投资。Crown表示，其锚定巴西雷亚尔（BRL）的稳定币BRLV已成为“全球最大的新兴市场稳定币”，并完全由巴西国债支持，目前规模约3.6亿雷亚尔（约6600万美元）。 BRLV主要面向机构客户，投资者可通过持有该稳定币获得巴西高利率收益（约15%）。Paradigm称，Crown已建立强规模效应，有望在巴西快速扩张。
16 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
