10月13日，星期一 10:30
火讯财经讯，10月13日消息，Shentu链今日宣布正式推出全球首个聚焦数学领域的DeSci平台OpenMath。该平台由Shentu链与全球最大的Web3安全公司、形式化验证领域的领军者CertiK战略合作开发。 OpenMath致力于构建以“可验证的数学真理”为核心的DeSci生态，研究者与验证者可协作提出并解决数学问题，并通过基于Rocq的形式化验证技术进行逻辑验证，以数学级精度确保推理严谨与准确。成功完成验证的参与者将获得代币奖励，实现研究过程的公开透明与激励机制的有效结合。 据悉，OpenMath部署于Shentu链，该链前身为CertiK链，由耶鲁大学邵中教授与顾荣辉教授个人孵化。2021年8月，Shentu正式脱离CertiK，作为独立实体自主运营。此次OpenMath上线，是双方基于全新合作伙伴关系，对区块链与形式化验证在数学场景中应用的共同探索。
0
火讯财经讯，10月15日消息，欧易OKX行情显示，ETH刚刚跌破4100美元，现报4099.76美元/枚，日内涨幅0.32%。
56 分钟前
火讯财经讯，10月14日消息，据币安公告，受近期全球加密市场剧烈波动影响，币安正式推出“TogetherInitiative”计划，旨在帮助用户与行业共同应对不稳定局面、重建信心。 该计划包含两部分： 3亿美元用户种子计划——针对2025年10月10日至11日期间在期货及杠杆交易中遭遇强制平仓且损失超过50美元、并占账户资产30%以上的用户，每人将获价值4至6,000美元不等的现金券补偿，预计24小时内启动发放，96小时内完成。 1亿美元机构支持基金——面向受市场冲击严重的生态伙伴及机构用户，提供低息贷款以缓解流动性压力、维持运营稳定。 币安强调，此举虽不代表承担用户损失责任，但体现其“以用户为中心”的长期承诺，旨在恢复市场信心并助力行业健康发展。
2 小时前
火讯财经讯，10月14日消息，Coinglass数据显示，过去24小时加密货币市场全网合约爆仓6.69亿美元，其中多单爆仓2.02亿美元，空单爆仓4.66亿美元。BTC爆仓总金额1.60亿美元，ETH爆仓总金额2.05亿美元。
2 小时前
火讯财经讯，10月14日消息，币安钱包（@BinanceWallet）发推称，社区近日流传的“高额Alpha积分截图”并非真实数据，均为伪造内容。币安确认，部分不明人员在社交平台上通过PS手段制造虚假高分截图，意图混淆视听并误导用户。 官方强调，币安Alpha积分用于衡量用户在币安生态的活跃度，影响TGE及空投资格，实际分值以官方系统显示为准。币安提醒用户勿轻信未经验证的截图或所谓“刷分漏洞”，避免上当受骗。
2 小时前
火讯财经讯，10月14日消息，据BusinessWire报道，BRIC（由GXDLabs与VanEck联合成立）宣布，Tether已向CelsiusNetwork破产财产支付2.995亿美元，用于了结2024年8月提起的对Tether的破产法及相关索赔。该案涉及Celsius于2022年7月破产前的抵押转移与清算。BRIC于2024年1月获委任为复杂资产回收与诉讼管理员，目前继续管理Celsius的非流动资产与诉讼资产以推进清算。
2 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
