以太坊新闻：Vitalik比较比特币挖矿与人工智能成本

核心提要：以太坊今日新闻：Vitalik Buterin 关于挖矿与人工智能成本的更新今日的以太坊新闻涵盖了两则技术故事和一则市场动态。研究员 Francesco 报告称，人工智能代理帮助形式化验证了快速确认规则（FCR）。Vitalik Buterin 还比较了比特币挖矿成本与人工智能推理成本。今日 ETH 价格为 2,428

以太坊今日新闻：Vitalik Buterin 关于挖矿与人工智能成本的更新

今日的以太坊新闻涵盖了两则技术故事和一则市场动态。研究员 Francesco 报告称，人工智能代理帮助形式化验证了快速确认规则（FCR）。Vitalik Buterin 还比较了比特币挖矿成本与人工智能推理成本。今日 ETH 价格为 2,428.38 美元，下跌 0.6%。这些更新中的任何内容都不能证明它们导致了这一走势。

概览：关键以太坊新闻、AI 进展及 ETH 市场数据

验证：快速确认规则（FCR）现已拥有 Lean 安全性证明。Gloas 修复：验证过程暴露了规范中的分叉选择错误，并已得到纠正。Vitalik 以太坊新闻：比特币挖矿成本在硬件和电力之间大致平分。人工智能推理则严重依赖硬件。ETH 价格：2,428.38 美元，市值接近 2,966 亿美元。

来源：CoinGecko 数据

形式化验证：人工智能代理如何协助测试协议安全性

最新的以太坊新闻来自与 Ethlabs 合作的 Francesco。他使用了一种名为 Lean 的证明工具，根据 ETH 共识规范检查 FCR。这些规范是共识客户端的真理来源。

他表示，大部分工作花费了四到五天时间，代理主要在无人监督的情况下运行。这类工作以前可能根本不会被尝试。证明与普通测试不同。测试仅检查选定的案例，而证明显示某个属性在模型覆盖的所有情况下都成立。尽管如此，它仅在既定假设下覆盖既定属性，并不能消除所有的网络风险。

以太坊快速确认规则：从 13 分钟缩短至约 24 秒

FCR 允许应用程序在等待最终性之前更早地确认区块。帖子指出，确认时间可以从大约 13 分钟减少到大约 24 秒，速度提高了约 30 倍。

对于以太坊网络来说，这有助于需要快速结算的应用程序。它也支持以太坊作为链上活动枢纽的角色。

这里有一个需要注意的地方。更快的确认依赖于额外的假设。它与完全最终性并不相同。在这些假设下，证明表明已确认的区块保持正统性。

Gloas 升级时间表：验证如何暴露规范错误

这是最新以太坊升级新闻中引人注目的部分。Francesco 将模型调整为即将进行的 Gloas 更改，但证明未能通过。代理将失败追溯到规范本身中一个微妙的分叉选择问题，而不是模型中的问题。该错误已修复，更正后的协议现在可以通过验证。包含修复程序的拉取请求已在 consensus-specs GitHub 上。Gloas 被描述为即将推出，而非已部署。

形式化验证进展

阶段 发生了什么 9月 Francesco 在设计新的共识协议时使用了形式化验证。 4-5天 代理完成了 FCR 安全性的大部分 Lean 工作。 Gloas 调整模型暴露了规范中的分叉选择错误。 修复后 安全性证明通过了更正后的规范。 这是一系列报告的事件，而非按日期排列的部署时间表。

Vitalik Buterin 比较比特币挖矿与人工智能推理成本

在此次 Vitalik Buterin 以太坊更新中，他称之为“每日趣事”。比特币挖矿成本在计算资本支出和电力之间大致按 50/50 分配。人工智能推理几乎完全是计算资本支出。

成本组成部分 比特币挖矿 人工智能推理 与计算相关的资本支出 约 40% 约 76% 电力 约 45.9% 约 4.8% 其他成本 剩余份额 剩余份额 来源：源自 Vitalik Buterin X 帖子的数据。这些数据近似值，因此请查看原始图表及其方法。它们是估算值，并非针对每个矿工或 AI 服务的具体数字。

今日以太坊价格：ETH 下跌 0.6%

今日 ETH 币价为 2,428.38 美元，下跌 0.6%。市值接近 2,966 亿美元，交易量为 115.9 亿美元。一份报告显示 ETH 的跌幅大于比特币，但我们尚未确认比特币的确切走势，因此不做正式比较。

协议工作在较长的时间线上进行。市场情绪可能在几小时内发生变化。一个证明或一张成本图表并不能解释 0.6% 的跌幅。任何以太坊新闻预测都应将这些视为独立的故事。

结论：人工智能辅助研究对网络意味着什么

更快的验证可能有助于更快且更安全地进行升级。发现 Gloas 规范错误表明了这一点的重要性。Vitalik 的图表提供了有关 AI 和挖矿成本的有用背景信息。尽管如此，技术进步可能支持但不保证 ETH 价格上涨。请关注我们的以太坊新闻以获取更多更新。