06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月29日消息，据官方消息，Kraken将于北京时间今晚11点上线Aleo(ALEO)交易。 此前消息，Circle将与隐私公链Aleo合作推出新稳定币USDCx，旨在提供“银行级隐私”。该币交易历史将对公众不可见，仅显示为加密数据“信息块”，但每笔交易都包含合规记录，Circle可在执法请求下访问。
11 分钟前
火讯财经讯，1月29日消息，据金十报道，GlobalX投资策略主管斯科特·赫尔夫斯坦在一份报告中指出，实际利率可能仍然过高，这或将促使美联储很快再次降息。“这让我们相信，美联储可能仍会比市场预期更为鸽派，并最早在第一季度再次降息，”他表示。赫尔夫斯坦认为，当前市场很可能由基本面驱动，而到目前为止的财报季表现符合较高预期，许多公司也重申了业绩指引。
11 分钟前
火讯财经讯，1月29日消息，Bybit联合创始人兼CEOBenZhou将于今日东八区16:00（UTC+8）亮相Bybit年度首场CEO专场直播，主题为“构建金融新纪元”(BUIDLingaNewFinancialEra)。 本次直播内容涵盖Bybit的2026年布局，BybitAlpha与TradFi产品体系集成新兴及传统金融的战略，Mantle（MNT）生态整合动态，以及去年10月11日加密市场“大爆仓”的深度复盘，以及平台在安全方面的进展与产品升级计划。据悉，Ben还将分享Bybit最新的一项重大转型消息。参与直播的用户，有机会瓜分10,000USDT奖池。
11 分钟前
火讯财经讯，1月29日消息，据Cointelegraph报道，瑞士加密银行Sygnum宣布，其市场中性比特币基金“StarboardSygnumBTCAlphaFund”已完成种子阶段募资，自2025年10月推出后四个月内吸引了超过750枚比特币。该基金第四季度年化回报率为8.9%，旨在通过中心化交易所的套利和杠杆利差交易等策略，在不依赖比特币价格上涨的情况下获取收益。
41 分钟前
火讯财经讯，1月29日消息，据链上分析师@ai_9684xtpa监测，“曾通过低买高卖WBTC获利1426万美元”的聪明钱地址，过去24小时内建仓了4000枚ETH。 地址0x3c9…8f757以均价2994.26美元从Kraken提出了价值1197.7万美元的ETH，最近一次提币是2小时前，目前浮亏14.1万美元。
41 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
