听到新赠款时，总是很有趣，但是宣布后会发生什么？在本系列中，我们将检查一些正在进行的项目，或者已经处于终点线。请继续阅读以了解受赠方最近的一些里程碑和成就！
加油（气体优化工具包）
这 哥斯达黎加 小组从事与程序验证和优化有关的形式技术，建模和实现。成员 埃尔维拉·艾伯特（Elvira Albert），，，， Pablo Gordillo 和 阿尔伯特·卢比奥（Albert Rubio） 将这些专业知识应用于与Gasol的以太坊智能合约，这是一种优化气体消耗的框架。每个以太坊智能合约都执行一系列称为Opcodes的EVM指令；加索尔的“超级优化”技术正在寻找一个序列，该序列将产生与原始量相同的结果，同时消耗较少的气体。
加索尔团队于2021年2月获得了一笔赠款，以建立在他们的基础上 以前的研究和实验 具有以太坊智能合约优化。他们已经有一个原型用于计算一部分Opcodes（特别是堆栈操作）的优化EVM序列。该赠款的目的是将研究原型扩展到针对智能合同开发人员的超级优化工具包，并最终使优化器可与固体编译器集成。
GASOL超级优化工具的0.1.3版，以及用于使用它的说明 Girub。在当前版本中，Gasol能够计算优化的序列并产生相应的可执行字节。其他功能和成就包括：
- 用于内存和存储操作以及堆栈操作的优化
- 测试以比较加油的效率提高与 YUL优化器，以及与YUL优化器结合使用的煤气。
- 生成日志文件，以验证GASOL生成的字节码上传到Etherscan是否已生成
- 扩展了SMT模型以定义内存访问和功能的顺序，以保留与原始的内存状态相同的内存状态
- 优化器的某些组件已被概括以实现字节大小的优化标准
对于任何想深入研究技术细节的人，该团队已经发布了有关 阶段1 和 阶段2 项目。跟随Gasol上 Girub 跟上未来的版本！
l2beat
第2层缩放解决方案 在过去的一年中，有希望的好处，例如更快的交易，大幅降低成本和增加隐私权。每种L2方法都会做出不同的权衡，从而影响安全性，权力下放，性能和使用性。对于用户而言，这意味着自由决定对他们最重要的东西，并选择满足他们需求的解决方案 – 但是请随时了解不断增长的选项列表可能是压倒性的。
L2BEAT通过并排比较功能，使用统计信息和活跃L2项目的潜在风险来帮助用户做出有根据的选择。网站背后的团队研究了每个列出的协议，检查各种数据源和项目文档，以将关键信息收集到一个清晰，可访问的来源中。
当L2Beat在2021年春季首次获得资金时，仪表板列出了10个协议中的每个协议的缩放技术和锁定价值统计。从那以后，该地点与L2生态系统一起已经大大增长。如今，访客可以在粒状财务数据和20个协议的技术风险因素之间进行切换，以及专门针对每个协议功能和权衡的Anaylsis的页面。
12月，L2Beat获得了第二笔赠款，以帮助发展团队，自动化流程并扩大他们的努力。计划的改进包括：
- 构建足够强大的后端服务器和数据库，以处理当前和计划的功能的复杂性
- 添加更多的实时指标，包括交易量，正常运行时间和块生产
- 添加升级日志以帮助用户了解他们正在使用的协议的更改
查看 l2beat.com 对于有关L2S的信息，还有更多的信息，请关注 @l2Beatcom 在Twitter上，或加入社区 不和谐。团队也欢迎 贡献呢
您是否正在研究自己认为可以改变以太坊的事情？前往我们 赠款页面 要了解有关我们在资助的项目中寻找的内容的更多信息。
