06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月21日消息，据Binance公告，平台将于2026年1月22日16:00（北京时间）上线RippleUSD（RLUSD），并开放RLUSD/USDT与RLUSD/U两个现货交易对。为庆祝上线，Binance将对上述交易对推出限时零手续费优惠。
8 分钟前
火讯财经讯，1月21日消息，新华社记者从国家税务总局上海市长宁区税务局获悉，上海寻梦信息技术有限公司未按照《互联网平台企业涉税信息报送规定》的要求报送涉税信息，被税务机关责令限期改正。企业虽已进行整改但未在规定期限内完成，该局依法依规对“拼多多”作出罚款10万元的处罚决定。
38 分钟前
火讯财经讯，1月21日消息，VitalikButerin在X平台发文称，自己计划在2026年全面回归去中心化社交，并已于今年开始使用Firefly.social这一聚合客户端进行发文与阅读，覆盖X、Lens、Farcaster与Bluesky。他批评现有加密社交项目过于依赖投机代币，忽视内容质量与用户长期利益，强调去中心化的竞争机制才是改善社交工具的关键。他看好Lens在MaskNetwork接手后所推动的新发展，并鼓励用户积极参与去中心化社交生态。
38 分钟前
火讯财经讯，1月21日消息，UFC合作伙伴Fight.ID发推称，其$FIGHT代币空投资格查询现已上线，由JupiterMobile提供支持。用户可立即检查是否符合空投领取条件，具体空投细节将于后续公布。 此前报道，BinanceAlpha将于1月22日上线FIGHT。
38 分钟前
火讯财经讯，1月21日消息，据TheBlock报道，链上分析平台Nansen推出AI驱动交易解决方案，现已在Solana与Base链上线，并集成于其网页与移动端App中。用户可通过聊天界面或交易终端进行“对话式交易”，系统基于5亿+标签钱包数据提供建议，但交易需用户明确授权。Nansen还集成Jupiter、OKXDEX与LI.FI作为流动性和跨链路由提供方。该服务暂不对新加坡、古巴、伊朗、朝鲜、叙利亚与俄罗斯用户开放。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
