It’s It’s always exciting to hear about new grants being awarded. But what happens afterwards? In This series will provide an overview of two projects currently in progress or nearing completion. Read To find out the latest achievements and milestones of the recipients, click here!
GASOL (Gas Optimization Toolkit)
The COAST Group specialize in formal methods, modeling, and implementations related to verification and optimization programs. Members elvira alberto, Pablo Gordillo Y Alberto Rubio They are now applying this expertise to Ethereum smart contracts with GASOL: A framework for optimizing gas usage Each Ethereum Smart contract executes sequence of EVM instructions known as opcodes. “super-optimization” Technique seeks a sequence that produces similar results to the original, but consumes less gas.
GASOL was awarded an Ethereum Foundation grant in February 2021 to leverage their Previous research and experiments With gas optimization. They Already had a prototype that could be used to compute EVM sequences for a subset opcodes. The The grant’s purpose is to make the research prototype a super optimization toolkit that smart contract developers can use, and eventually integrate the optimizer into the overall system. Solidity compiler.
You can Download version 0.1.3 of GASOL’s super-optimization tool and instructions for its use at Github. In GASOL’s current version can compute optimized sequences and generate the executable bytecode. Other Features and achievements include:
- Optimization For memory and store operations as well as stack operations
- Tests Compare the efficiency gains of GASOL with. yul optimizerGASOL can also be used in conjunction with the Yul optimizer.
- Generation To verify that the uploaded bytecode is correct, a log file can be used. Etherscan GASOL has generated the following
- Extended The SMT model is used to determine the order of memory accesses, and the functions that are needed to maintain the original memory state.
- Some Optimizer components have been extended to allow optimization criteria of byte size
For More technical details, anyone interested can find out more about the team by reading their reports. Level 1 Y Stage 2 This is the plan. Follow GASOL Github Keep checking back for future releases
L2BEAT
Layer 2 scaling solutions They have been in the spotlight over the last year and promise benefits such as faster transactions, lower costs, and greater privacy. Each Different tradeoffs are made in L2 approach that impact security, performance, decentralization, and usability. For A user has the freedom to decide what’s important to her and pick a solution that best suits her needs. But, keeping up with the ever-growing number of options can prove overwhelming.
L2BEAT allows users to make informed decisions by comparing features, usage statistics and the potential risks associated with active L2 projects. The The team behind this website investigates each protocol, looking at various data sources and project documentation in order to compile key information into one source.
L2BEAT was granted funding for the first time in spring 2021. The dashboard provided information about scaling technology and locked-value statistics for each protocol.
