06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月22日消息，据官方公告，币安宣布自2026年01月23日16:00（东八区时间）起，XAUUSDT和XAGUSDT的资金费率利率将设为0%。
28 分钟前
火讯财经讯，1月22日消息，区块链分析公司Elliptic最新报告显示，卢布稳定币A7A5自2025年1月推出以来，链上交易总额已突破1000亿美元。该稳定币由俄罗斯公司A7LLC主导推出，旨在帮助俄罗斯企业规避西方制裁。A7A5的主要功能是作为卢布与USDT之间的桥梁资产，总交易量已达173亿美元，绝大部分交易发生在吉尔吉斯斯坦的Grinex等交易所。尽管交易量显著，但自2025年8月美国等国家对A7A5实施制裁后，其增长明显受限。新代币发行自7月底后基本停滞，每日交易额从峰值15亿美元降至约5亿美元。Uniswap等主要DEX已将其列入代币封锁列表，同时其自有DEX的USDT流动性注入大幅减少。制裁导致用户从A7A5向主流交易所转账USDT时面临账户冻结风险，使其日益孤立于更广泛的加密生态系统。
28 分钟前
火讯财经讯，1月22日消息，据Lookonchain监测，贝莱德刚刚向CoinbasePrime存入了3,970枚BTC（价值3.567亿美元）以及82,813枚ETH（价值2.471亿美元）。
28 分钟前
火讯财经讯，1月22日消息，据CoinbaseMarkets公告，平台将于2026年1月22日22:00（UTC+8）或之后上线Sentient(SENT)永续合约（SENT-PERP），前提为满足流动性条件。该合约将向特定地区零售用户开放，并通过CoinbaseInternationalExchange提供给机构交易者。
28 分钟前
火讯财经讯，1月22日消息，据NLTimes报道，荷兰议会下院近日就修改第三类（Box3）税收制度的计划展开辩论。该提案计划自2028年起，对股票、债券及加密货币等资产的资本利得（包括已实现和未实现收益）按年征税。尽管多数议员认为该方案仍存在缺陷，且对未变现收益征税并不理想，但因推迟实施每年会造成约23亿欧元国库损失，预计提案将获得多数支持。
28 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
