Tour d’horizon des bénéficiaires : décembre 2021 | Blog de la Fondation Ethereum

C’est toujours amusant d’entendre parler de nouvelles subventions au fur et à mesure qu’elles sont accordées, mais que se passe-t-il après l’annonce ? Dans cette série, nous allons vérifier quelques projets qui sont bien avancés – ou déjà sur la ligne d’arrivée. Lisez la suite pour en savoir plus sur certains jalons récents et les réalisations des bénéficiaires !

GASOL (boîte à outils d’optimisation du gaz)

La COSTA groupe travaille sur les techniques formelles, la modélisation et les implémentations liées à la vérification et à l’optimisation des programmes. Membres Elvire Albert, Pablo Gordillo et Albert Rubio appliquent cette expertise aux contrats intelligents Ethereum avec GASOL, un cadre pour optimiser la consommation de gaz. Chaque contrat intelligent Ethereum exécute une séquence d’instructions EVM appelées opcodes ; La technique de « super-optimisation » de GASOL recherche une séquence qui produira les mêmes résultats que l’original tout en consommant moins de gaz.

L’équipe GASOL a reçu une subvention en février 2021 pour s’appuyer sur leur recherches et expérimentations antérieures avec l’optimisation des contrats intelligents Ethereum. Ils avaient déjà un prototype pour calculer des séquences EVM optimisées pour un sous-ensemble d’opcodes, en particulier les opérations de pile. L’objectif de la subvention est d’étendre le prototype de recherche à une boîte à outils de super-optimisation pour les développeurs de contrats intelligents, et finalement de rendre l’optimiseur intégrable avec le compilateur Solidity.

La version 0.1.3 de l’outil de super-optimisation GASOL et ses instructions d’utilisation sont disponibles sur GithubGenericName. Dans sa version actuelle, GASOL est capable à la fois de calculer des séquences optimisées et de produire le bytecode exécutable correspondant. Les autres fonctionnalités et réalisations incluent :

• Optimisation des opérations de mémoire et de stockage ainsi que des opérations de pile
• Tests pour comparer les gains d’efficacité de GASOL par rapport au Optimiseur Yulainsi que GASOL en combinaison avec l’optimiseur Yul.
• Génération d’un fichier journal pour vérifier que le bytecode téléchargé sur Etherscan a été généré par GASOL
• Extension du modèle SMT pour définir l’ordre des accès mémoire et des fonctions afin de conserver le même état mémoire que l’original
• Certains composants de l’optimiseur ont été généralisés pour permettre des critères d’optimisation de taille d’octet

Pour tous ceux qui souhaitent approfondir les détails techniques, l’équipe a publié des rapports sur étape 1 et étape 2 du projet. Suivez GASOL sur GithubGenericName pour suivre les prochaines sorties !

L2BEAT

Solutions de mise à l’échelle de couche 2 ont proliféré au cours de l’année écoulée, promettant des avantages tels que des transactions plus rapides, des coûts considérablement réduits et une confidentialité accrue. Chaque approche L2 fait différents compromis qui affectent la sécurité, la décentralisation, les performances et la convivialité. Pour un utilisateur, cela signifie la liberté de décider ce qui est le plus important pour lui et de choisir une solution qui répond à ses besoins – mais rester informé sur une liste sans cesse croissante d’options peut être écrasant.

L2BEAT aide les utilisateurs à faire un choix éclairé en offrant des comparaisons côte à côte des fonctionnalités, des statistiques d’utilisation et des risques potentiels des projets L2 actifs. L’équipe derrière le site Web recherche chaque protocole répertorié, examinant diverses sources de données et la documentation du projet pour rassembler les informations clés dans une source claire et accessible.

Lorsque L2BEAT a reçu un financement pour la première fois au printemps 2021, le tableau de bord répertoriait la technologie de mise à l’échelle et les statistiques de valeur verrouillées pour chacun des 10 protocoles. Le site, ainsi que l’écosystème L2, s’est considérablement développé depuis lors. Aujourd’hui, un visiteur peut basculer entre des données financières granulaires et des facteurs de risque techniques expliqués de manière concise pour 20 protocoles, ainsi qu’une page dédiée à l’analyse des fonctionnalités et des compromis de chaque protocole.

En décembre, L2BEAT a reçu une deuxième subvention pour aider à développer son équipe, automatiser les processus et étendre ses efforts. Les améliorations prévues comprennent :

• Construire un serveur principal et une base de données suffisamment robustes pour gérer la complexité des fonctionnalités actuelles et prévues
• Ajout de plus de métriques en direct, y compris le volume de transactions, la disponibilité et la production de blocs
• Ajout de journaux de mise à niveau pour aider à tenir les utilisateurs informés des modifications apportées aux protocoles qu’ils utilisent

Vérifier L2BEAT.com pour un trésor d’informations sur les L2 avec beaucoup plus à venir, suivez @L2beatcom sur Twitter, ou rejoignez la communauté Discorde. L’équipe accueille également contributions!

Travaillez-vous sur quelque chose qui, selon vous, pourrait améliorer Ethereum ? Dirigez-vous vers notre page des subventions pour en savoir plus sur ce que nous recherchons dans les projets que nous finançons.