It’s ever amusive to perceive astir caller grants arsenic they’re awarded, but what happens aft the announcement? In this series, we’ll cheque successful connected a mates of projects that are good underway - oregon already astatine the decorativeness line. Read connected to larn astir immoderate caller milestones and achievements by grantees!

GASOL (GAS Optimization TooLkit)

The COSTA radical works connected ceremonial techniques, modeling and implementations related to verification and optimization of programs. Members Elvira Albert, Pablo Gordillo and Albert Rubio are applying that expertise to Ethereum astute contracts with GASOL, a model for optimizing state consumption. Every Ethereum astute declaration executes a series of EVM instructions called opcodes; GASOL’s “super-optimization” method looks for a series that volition nutrient the aforesaid results arsenic the archetypal portion consuming little gas.

The GASOL squad received a assistance successful February 2021 to physique connected their previous probe and experimentation with Ethereum astute declaration optimization. They already had a prototype for computing optimized EVM sequences for a subset of opcodes, specifically stack operations. The extremity of the assistance is to grow the probe prototype to a super-optimization toolkit for astute declaration developers, and yet to marque the optimizer integratable with the Solidity compiler.

Version 0.1.3 of the GASOL super-optimization tool, and instructions for utilizing it, are disposable connected Github. In its existent version, GASOL is capable to some compute optimized sequences and nutrient corresponding executable bytecode. Other features and achievements include:

• Optimization for representation and retention operations arsenic good arsenic stack operations
• Testing to comparison ratio gains of GASOL vs the Yul optimizer, arsenic good arsenic GASOL successful operation with the Yul optimizer.
• Generation of a log record to verify that bytecode uploaded to Etherscan has been generated by GASOL
• Extended the SMT exemplary to specify the bid of representation accesses and functions successful bid to clasp the aforesaid representation authorities arsenic the original
• Some components of the optimizer person been generalized to alteration byte-size optimization criteria

For anyone who wants to dive heavy into the method details, the squad has published reports connected stage 1 and stage 2 of the project. Follow GASOL connected Github to support up with aboriginal releases!

L2BEAT

Layer 2 scaling solutions person proliferated implicit the past year, promising benefits similar faster transactions, drastically little costs and accrued privacy. Each L2 attack makes antithetic tradeoffs that impact security, decentralization, show and useability. For a user, this means state to determine what’s astir important to them and take a solution that meets their needs - but staying informed astir an ever-growing database of options tin beryllium overwhelming.

L2BEAT helps users marque an educated prime by offering broadside by broadside comparisons of features, usage statistic and imaginable risks of progressive L2 projects. The squad down the website researches each listed protocol, examining assorted information sources and task documentation to stitchery cardinal accusation into 1 clear, accessible source.

When L2BEAT archetypal received backing successful outpouring 2021, the dashboard listed scaling exertion and locked worth statistic for each of 10 protocols. The site, on with the L2 ecosystem, has grown considerably since then. Today, a visitant tin toggle betwixt granular fiscal information and concisely explained method hazard factors for 20 protocols, on with a leafage dedicated to anaylsis of each protocol’s features and tradeoffs.

In December, L2BEAT was awarded a 2nd assistance to assistance turn their team, automate processes and grow their efforts. Planned improvements include:

• Building retired a backmost extremity server and database robust capable to grip the complexity of existent and planned features
• Adding much unrecorded metrics including transaction volume, uptime and artifact production
• Adding upgrade logs to assistance support users informed astir changes to protocols they’re using

Check retired L2BEAT.com for a treasure trove of accusation astir L2s with overmuch much to come, travel @L2BEAT connected Twitter oregon articulation the assemblage Discord. The squad besides welcomes contributions!

Are you moving connected thing you deliberation could alteration Ethereum for the better? Head to our grants page to larn much astir what we look for successful the projects we fund.