10月13日，星期一 10:30
火讯财经讯，10月13日消息，Shentu链今日宣布正式推出全球首个聚焦数学领域的DeSci平台OpenMath。该平台由Shentu链与全球最大的Web3安全公司、形式化验证领域的领军者CertiK战略合作开发。 OpenMath致力于构建以“可验证的数学真理”为核心的DeSci生态，研究者与验证者可协作提出并解决数学问题，并通过基于Rocq的形式化验证技术进行逻辑验证，以数学级精度确保推理严谨与准确。成功完成验证的参与者将获得代币奖励，实现研究过程的公开透明与激励机制的有效结合。 据悉，OpenMath部署于Shentu链，该链前身为CertiK链，由耶鲁大学邵中教授与顾荣辉教授个人孵化。2021年8月，Shentu正式脱离CertiK，作为独立实体自主运营。此次OpenMath上线，是双方基于全新合作伙伴关系，对区块链与形式化验证在数学场景中应用的共同探索。
0
火讯财经讯，牛津经济研究院指出，美国3月份就业人数统计数字高估了战前就业市场的强劲程度，劳动力队伍规模及家庭就业人数均有所下降。受伊朗战争对经济活动的影响，美国就业增长将放缓。该机构预测，美联储将忽略油价上涨的冲击，预计今年将降息两次以防范劳动力市场可能出现的疲软。
1 小时前
火讯财经讯，数据显示，过去24小时全网加密货币合约爆仓总额达1.33亿美元，其中多单爆仓7785.31万美元，空单爆仓5480.8万美元。具体来看，比特币多单爆仓1975.03万美元，空单爆仓1369.17万美元；以太坊多单爆仓1032.96万美元，空单爆仓1232.32万美元。
1 小时前
火讯财经讯，BTC当前全网8小时平均资金费率为0.0003%。主流交易所中，Binance费率为0.0004%，OKX费率为0.0038%，Bybit费率为0.0016%，Gate费率为0.0039%。
2 小时前
火讯财经讯，美国将为愿意通过霍尔木兹海峡的船只提供的再保险担保承诺翻倍至400亿美元，并引入美国国际集团、伯克希尔哈撒韦等新保险合作伙伴。 美国国际开发金融公司（DFC）上月曾宣布一项200亿美元的再保险计划，该机构今日表示，旅行者保险、利宝互助保险、伯克希尔哈撒韦、美国国际集团、Starr和CNA将与丘博保险一道，为其海运设施提供额外200亿美元的再保险支持。 DFC首席执行官本·布莱克在声明中称：“这些领先的美国保险公司具备深厚的海运及海上战争保险承保经验，将助力我们恢复海上贸易信心。” 该机构还表示，将与保险合作伙伴共同确定符合再保险资格的船只。申请方需提供的信息包括船舶起运地和目的地、主要受益所有人及其所在地、货物所有人及其所在地，以及为船舶提供融资的贷款方信息。
2 小时前
火讯财经讯，在23:32，355.36枚BTC（价值约2378万美元）从bc1qfz68v...开头的匿名地址转出至bc1qyf9jv...开头的另一匿名地址。
2 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
