Vitalik发文探讨权益证明技术设计还有哪些可以改进，以及改进的途径

金色财经报道，以太坊联创Vitalik Buterin今日发文《Ethereum has blobs. Where do we go from here?》，其中指出目前L2协议有四个关键地方可以改进: 1、通过数据压缩更有效地使用字节; 2、Optimistic数据技术，仅在特殊情况下使用L1来保护L2； 3、持续改进执行相关约束； 4、继续提高安全性。 Vitalik Buterin补充称，基本上以太坊不再只是一个金融生态系统，而是大部分“集中式技术”的全栈替代品，甚至提供了一些集中式技术所没有的东西（例如与治理相关的应用程序），现在需要考虑到这个更广泛的生态系统。

金色财经报道，以太坊联合创始人Vitalik Buterin 发文《深入 slot-and-epoch 构架，为以太坊用户提供更快交易确认时间的方法》。文章称，尽管与五年前相比，得益于 EIP-1559 与合并后的稳定区块时间，以太坊 L1 上的交易确认时间已缩短至 5-20 秒，与信用卡支付体验相当，但进一步缩减延迟仍具重要价值，尤其是对于那些要求几百毫秒甚至更少延迟的应用。 论文中，Buterin 介绍了以太坊为加快交易确认速度所探索的实用选项，其中重点阐述了现有技术中的单时隙确定性（single-slot finality）。当前，以太坊的 Gasper 共识机制采用 slot-and-epoch 架构，但此机制复杂且终结性确认时间过长（12.8 分钟）。SSF 则通过类似 Tendermint 的机制，使区块在下一区块生成前即被终结，同时保留了不活跃泄露机制，确保链的稳定运行和恢复能力。SSF 的主要挑战在于它会给链带来很大的负载，但新提案如 Orbit SSF 正致力于缓解此问题。此外，论文还探讨了 rollup 预确认和基于预确认的机制。 Buterin 强调，slot-and-epoch 架构显然是正确的，但并非所有 slot-and-epoch 架构都平等。他提倡更全面地探索设计空间，特别是那些在这两种机制之间有更强关注点分离的选项，以降低交易确认时间，提升用户体验。

12月13日消息，以太坊联合创始人 Vitalik Buterin 发文深入探讨了ZK-EVM（Zero-Knowledge Ethereum Virtual Machine）的概念及其可能实现形式。文章指出，当前的 Layer-2 EVM 协议（如 Optimistic Rollups 和 ZK Rollups）需要依赖于 EVM 的验证机制，但这同时意味着他们必须信任庞大的代码库。一旦代码库中存在漏洞，这些虚拟机可能面临被攻击的风险。此外，即便是希望与 L1 EVM 保持完全等效的 ZK-EVM，也需要一定形式的治理机制，以便将 L1 EVM 的变更复制到自己的 EVM 实现中。

金色财经报道，Solana 联合创始人 Anatoly Yakovenko 发布“改进网络升级的计划”，将改进 Solana 升级过程、组建对抗团队、改进重启过程、以稳定为中心。 Solana 核心工程师计划帮助改进流程如下： 在主网测试版升级之前，将测试网降级到当前的主网测试版和功能集； 将测试网升级为新版本的发布候选； 观察测试网迁移是如何实时进行的； 将测试网降级回当前的主网测试版； 在对测试网进行压力测试时重复此过程； 发布新版本给 mainnet-beta 验证器进行升级。

金色财经报道，以太坊联合创始人Vitalik Buterin发布最新博客《Binius：二进制字段的高效证明》。这篇文章主要面向大致熟悉2019时代密码学，尤其是SNARKs和STARKs的读者。在过去的两年里，STARKs已成为一种关键的、不可替代的技术，可以高效地对非常复杂的语句进行易于验证的加密证明（例如，证明以太坊区块是有效的）。 SNARK和STARK证明计算机程序的方式是通过算术化：将要证明的程序的陈述转换为涉及多项式的数学方程。方程的有效解对应于程序的有效执行。一般来说，零知识证明系统的工作原理是对多项式进行陈述，同时表示有关基础评估的陈述。 Binius如何影响"SNARK-友好"？基本的概括是，如果使用Binius，就不再需要太在意计算是否"算术友好"："常规"哈希值不再比传统算术哈希值更有效率，乘法模也不再比传统算术哈希值更有效率。我预计未来几个月基于二进制字段的证明技术会有更多改进。

5月17日消息，Coinbase Wallet推出改进的垃圾代币检测功能，可以识别和自动隐藏更多垃圾代币，以保护用户资产安全。