06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月19日消息，Hyperbot数据显示，“麻吉大哥”黄立成今日陆续减仓HYPE多单，目前已减仓至15万枚（约合360万美元），较1天前35万枚的峰值已减仓20万枚；此外，其今日陆续加仓ETH多单，目前已加仓至12500枚（约合4013.5万美元），较1天前10420枚的低点已加仓2080枚。其永续合约近1天总盈亏约-187万美元，近1周总盈亏约+32万美元。
11 分钟前
火讯财经讯，1月19日消息，据财联社报道，国际货币基金组织当地时间1月19日在比利时布鲁塞尔发布世界经济展望。该组织认为，虽然受美国主导的贸易扰动与不确定性上升，全球经济仍展现一定韧性。预计2026年全球经济增速将维持在3.3%，较去年10月预测上调0.2个百分点，上修主要源于美国和中国等经济体表现改善。报告指出，人工智能带动的信息技术投资增长正成为支撑全球经济的重要动力。2027年将增长3.2%，与去年10月预测值持平。此外，该报告将2025年中国经济增长率上调0.2个百分点至5%，同时上调2026年中国经济增长预期。
11 分钟前
火讯财经讯，1月19日消息，据官方消息，ETHGas基金会宣布，GWEI空投快照已完成，快照时间为2026年1月19日08:00（UTC+8）。GWEI空投资格查询将于1月20日21:00（UTC+8）开放，社区空投将于1月21日21:00（UTC+8）进行。空投资格将依据用户在以太坊主网上的历史Gas消耗情况，以及其在GaslessFuture项目中的社交与社区参与记录进行判定。符合资格的用户需通过GasID满足特定的历史Gas消耗门槛，以追踪其在以太坊主网的Gas使用情况，同时参与指定的社区活动，包括在X平台分享GasID或与OpenGasInitiative相关的社交行为。
11 分钟前
火讯财经讯，1月19日消息，据官方公告，币安自即日起大幅降低通过SWIFT银行转账提取美元的手续费。无论是个人用户还是企业用户，SWIFT银行转帐美元提现手续费将由每笔60美元降至25美元。通过SWIFT银行转账的美元充值仍免手续费。
41 分钟前
火讯财经讯，1月19日消息，据BitcoinTreasuries.NET报道，美国路易斯安那州雇员退休基金近日披露，其持有17,900股（价值320万美元）比特币财库公司Strategy（股票代码：MSTR）的股票。
41 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
