It’s always interesting to hear about new funding, but what happens after it’s announced? In this series, we’ll examine several projects that are in progress or are nearing the end. Read on to learn about some of the grantees’ recent milestones and achievements!
This Costa Rica The group works on formal techniques, modeling, and implementation related to program verification and optimization.member Elvira Albert, Paul Gordillo and albert rubio This expertise is being applied to Ethereum smart contracts through GASOL, a framework for optimizing gas consumption. Every Ethereum smart contract executes a sequence of EVM instructions called opcodes; GASOL’s “super-optimization” technique looks for a sequence that will produce the same result as the original while consuming less gas.
The GASOL team was awarded a grant in February 2021 to Previous research and experiments Optimized with Ethereum smart contracts. They already have a prototype for computing optimized EVM sequences for a subset of opcodes (specifically stack operations). The goal of the grant is to expand the research prototype to a super-optimization toolkit for smart contract developers, and ultimately to integrate the optimizer with the Solidity compiler.
The GASOL Super Optimization Tool version 0.1.3 and its instructions can be found at Github. In its current version, GASOL is able to compute optimized sequences and generate corresponding executable bytecodes. Other features and achievements include:
- Optimization of memory and store operations and stack operations
- Test to compare GASOL with Yul optimizer, and GASOL used in conjunction with the Yul optimizer.
- Generate log files to verify that bytecode uploaded to Etherscan was generated by GASOL
- Extend the SMT model to define the order of memory accesses and functions to maintain the same memory state as the original memory state
- Some components of the optimizer have been generalized to enable byte size optimization criteria
Layer 2 scaling solutions It has proliferated over the past year, promising benefits such as faster transaction speeds, drastically reduced costs, and increased privacy. Each L2 approach makes different tradeoffs that affect security, decentralization, performance, and usability. For users, that means having the freedom to decide what’s most important to them and choose a solution that meets their needs – but keeping up with the growing list of options can be overwhelming.
L2BEAT helps users make informed choices by comparing the capabilities, usage statistics, and potential risks of active L2 projects side-by-side. The team behind the website researches each of the listed protocols, examining various data sources and project documentation to gather key information into one clear, accessible source.
When L2BEAT first receives funding in spring 2021, the dashboard lists scaling technology and locked value statistics for each of the 10 protocols. Since then, the site and the L2 ecosystem have grown considerably. Today, visitors can switch between detailed financial data and concise explanations of the technical risk factors for 20 protocols, as well as pages dedicated to analyzing the features and tradeoffs of each protocol.
In December, L2BEAT received a second grant to help them grow their teams, automate processes and scale their efforts. Planned improvements include:
- Build backend servers and databases powerful enough to handle the complexity of current and planned functions
- Add more real-time metrics including transaction volume, uptime and block production
- Add upgrade logs to help users stay informed of changes to the protocol they are using
Are you doing something that you think could make Ethereum better?go to our Grants page Learn more about what we look for in our funded projects.