RecodeX 重构消息，CertiK宣布，通过Coq形式化证明验证了zkWasm的核心电路是可靠的。此举属于在以太坊基金会资助下推进zkVM形式化验证的行业趋势的一部分。
CertiK称Coq证明验证zkWasm核心电路可靠性
AI 辅助判断积极AI 看多仅供信息参考，不构成投资建议
原始信息来源Blockchainreporterblockchainreporter.net
查看原文 ↗更多快讯
查看全部 →股市
奥比中光递表港交所 实控人及高管A股减持套现7.86亿元
RecodeX 重构消息，奥比中光已向港交所递交上市申请。公司利润受非经常性损益影响。其实控人及部分高管的A股减持计划已于9月上旬公告实施完毕，合计套现7.86亿元。
人工智能
CohereLabs在Hugging Face发布North-Mini-Code-1.0代码模型
RecodeX 重构消息，Hugging Face模型仓库出现CohereLabs/North-Mini-Code-1.0，该模型被归入文本生成任务类别。该页面为公开仓库条目，并非推理端点。
人工智能
高通TrOCR模型上线Hugging Face图像转文本任务
RecodeX 重构消息，Hugging Face模型库新增高通（qualcomm）发布的TrOCR模型，该模型被归入图像转文本（image-to-text）任务类别。该条目为公开仓库页面，并非推理端点。
股市
9月28日A股增减持：润欣科技、信濠光电拟减持，岳阳兴长拟增持
RecodeX 重构消息，9月28日A股上市公司披露增减持计划：润欣科技、信濠光电股东拟减持公司股份，岳阳兴长则披露拟增持计划。相关减持与增持的具体数量、比例及实施期限以公司公告为准。
股市
美股半导体板块普跌 费城半导体指数跌1.5% 高通跌超7%
RecodeX 重构消息，美股半导体板块多数下跌，费城半导体指数跌1.5%。成分股中，ARM跌超8%，高通跌超7%，英特尔跌超4%，迈威尔科技、AMD跌超3%，美光科技跌超2%；英伟达逆市涨超3%。
宏观
厄瓜多尔总统诺沃亚任命新任经济和生产发展部长
RecodeX 重构消息，当地时间9月28日，厄瓜多尔总统诺沃亚签署行政令，任命贝尔纳多·安东尼奥·科尔多韦斯为经济和生产发展部新任部长，接替原部长萨里哈·贝伦·莫亚。