扫码下载
搜索“Lean”共有10条相关结果
Techub News 消息，波场创始人孙宇晨在 X 平台宣布推出 Justin Sun Prize 学术奖励计划。该计划旨在奖励数学领域的突破性研究，参与者需解决符合条件的数学问题，并使用 Lean 语言将成果形式化，通过该计划的开源 GitHub 仓库提交机器可验证的证明。 该计划已列出五个待解决的数学问题，具体细节与提交指南可在其官网查看。孙宇晨表示，此举旨在推动数学研究的开源协作与形式化验证发展。（@justinsuntron）
Techub News 消息，DeFi 借贷协议 Morpho Midnight 在 GitHub 上发布了其智能合约的审计报告。报告显示，该协议未发现任何严重级别的安全漏洞。 Morpho Midnight 是一种旨在提供固定利率借贷产品的新型协议。此次干净的审计结果被认为有助于增强市场对其安全性的信心，并可能推动 DeFi 领域向固定利率产品加速转型。 （Crypto Briefing）
Techub News 消息，CleanSpark 发布 8 月运营数据，当月产出 593 枚比特币，总持仓降至 13,703 枚。公司峰值算力 50 EH/s，平均运营算力 38.6 EH/s。 该公司 2026 财年第三季度比特币挖矿收入 1.38 亿美元，同比下降 30.5%，净亏损 2.398 亿美元。其正拓展高性能计算与 AI 数据中心业务，一份 20 年期租约带来 66 亿美元合同收入。（CryptoBriefing）
Techub News 消息，美国马萨诸塞州已出台规定，要求新建的数据中心必须使用清洁能源。此举可能为可持续科技基础设施设立先例，并影响全球行业标准。 （Crypto Briefing）
Techub News 消息，比特币矿企 CleanSpark 在完成对密西西比州两处数据中心设施的收购后，其运营算力已突破 30 EH/s。该公司表示，此次收购增加了 75 MW 的运营电力容量，使其提前达到这一里程碑。 运营算力是衡量矿企规模的关键指标之一，但实际比特币产出还取决于网络难度、运行时间、能源成本等多种因素。此次收购也凸显了在比特币减半后，矿企对电力基础设施等战略资产的重视。（NewsBTC）
Techub News 消息，一名加密开发者点击了虚假的 Claude AI 链接，险些感染恶意软件。他在清理受感染的笔记本电脑后，又发现一个已中毒的备份文件，该文件可能导致设备再次被感染。该事件凸显了网络钓鱼攻击在加密和 AI 领域的潜在风险。（U.Today）
Techub News 消息，上市公司 CleanCore Solutions 已抛售其全部 Dogecoin（DOGE）持仓，共计约 4.63 亿枚 DOGE（价值约 3340 万美元），并计划将资金转向人工智能基础设施投资。 CleanCore 原是一家臭氧清洁技术公司，于 2025 年 9 月启动 Dogecoin 财政库策略，曾被称为「Dogecoin 的 MicroStrategy」。该公司于今年 3 月终止与 Dogecoin Ventures 的资产管理协议，并于 7 月 20 日完成 DOGE 清仓交易。根据 SEC 文件，该公司将向明尼苏达州的 AI 基础设施合资企业投资最高 5 亿美元。（Crypto Briefing）
Techub News 消息，根据向美国 SEC 提交的文件，CleanCore 于 7 月 20 日出售了其持有的几乎所有 4.63 亿枚 DOGE，获得约 3340 万美元。该公司表示，此次出售是其退出 Dogecoin 国库策略的一部分，所获资金将重新定向于其人工智能（AI）业务。 （CryptoSlate）
Techub News 消息，美国证券交易委员会（SEC）于 8 月 18 日提议一项名为“加密资产监管”的新规，为加密公司提供两种证券注册豁免的筹资路径。其中一条路径允许在四年内筹集不超过 500 万美元，另一条允许在 12 个月内筹集不超过 7500 万美元。 该提案还包含一项安全港条款，若项目满足特定条件（如管理层已完成或永久停止所承诺的关键管理工作），其代币可能不再被视为投资合约，从而不被认定为证券。提案同时豁免了相关发行在州层面的证券注册要求。 SEC 将在提案于《联邦公报》发布后开放 60 天的公众评议期。该提案基于 SEC 在 2026 年 3 月发布的解释指南，旨在明确联邦证券法如何适用于特定加密资产与交易。（CryptoPotato）
Techub News 消息，美国证券交易委员会（SEC）推迟公布证券代币化创新豁免规则。记者 Eleanor Terrett 援引知情人士消息称，此举旨在与《CLARITY 法案》协调，避免单方面措施破坏国会已达成的妥协。 该法案已于 2025 年 7 月通过众议院，今年 5 月通过参议院银行委员会，但因伦理条款争议未能在 8 月休会前表决。SEC 主席表示将待参议院 9 月中旬复会后根据进展再做判断。（CoinPost）
