Es macht immer Spaß, über neue Zuschüsse zu hören, wie sie vergeben werden, aber was passiert nach der Ankündigung? In dieser Serie werden wir uns bei einigen Projekten einchecken, die gut im Gange sind – oder bereits an der Ziellinie. Lesen Sie weiter, um einige jüngste Meilensteine und Erfolge von Stipendiaten kennenzulernen!
Benzin (Gasoptimierungs -Toolkit)
Der Costa Gruppe arbeitet an formalen Techniken, Modellierung und Implementierungen im Zusammenhang mit der Überprüfung und Optimierung von Programmen. Mitglieder Elvira AlbertAnwesend Pablo Gordillo Und Albert Rubio Bewerben Sie dieses Know -how auf Ethereum -intelligente Verträge mit Benzin, einem Rahmen für die Optimierung des Gasverbrauchs. Jeder Ethereum -Smart -Vertrag führt eine Abfolge von EVM -Anweisungen aus, die als Opcodes bezeichnet werden. Die “Superoptimierung” -Technik von Gasol sucht nach einer Sequenz, die die gleichen Ergebnisse wie das Original erzielt und gleichzeitig weniger Gas verbraucht.
Das Gasol -Team erhielt im Februar 2021 ein Stipendium, um auf ihr aufzubauen Frühere Forschungen und Experimente mit Ethereum Smart Contract -Optimierung. Sie hatten bereits einen Prototyp für die Berechnung optimierter EVM -Sequenzen für eine Untergruppe von Opcodes, insbesondere Stapeloperationen. Ziel des Zuschusses ist es, den Forschungsprototyp auf ein Superoptimierungs-Toolkit für Smart Contract-Entwickler auszudehnen und letztendlich den Optimierer mit dem Solidity Compiler integriert zu machen.
Version 0.1.3 des Tools von Benziner-Superoptimierung und Anweisungen für die Verwendung sind auf Girub. In seiner aktuellen Version kann Benzin sowohl optimierte Sequenzen berechnen als auch entsprechende ausführbare Bytecode produzieren. Weitere Funktionen und Erfolge sind:
- Optimierung für Speicher- und Speichervorgänge sowie Stapelvorgänge
- Tests zum Vergleich der Effizienzgewinne von Benzin gegenüber dem Yul Optimierersowie Benzin in Kombination mit dem Yul -Optimierer.
- Erzeugung einer Protokolldatei, um zu überprüfen, ob Bytecode in Ethercan hochgeladen wurde
- Erweiterte das SMT -Modell, um die Reihenfolge von Speicherzugriffs- und Funktionen zu definieren, um denselben Speicherzustand wie das Original beizubehalten
- Einige Komponenten des Optimierers wurden verallgemeinert, um die Optimierungskriterien der Bytegröße zu ermöglichen
Für alle, die tief in die technischen Details eintauchen möchten, hat das Team Berichte veröffentlicht Stufe 1 Und Stufe 2 des Projekts. Folgen Sie Gasol an Girub um mit zukünftigen Veröffentlichungen Schritt zu halten!
L2beat
Schicht 2 Skalierungslösungen haben sich im vergangenen Jahr vermehrt, vielversprechende Vorteile wie schnellere Transaktionen, drastisch niedrigere Kosten und erhöhte Privatsphäre. Jeder L2 -Ansatz stellt unterschiedliche Kompromisse her, die sich auf die Sicherheit, Dezentralisierung, Leistung und Verwendbarkeit auswirken. Für einen Benutzer bedeutet dies die Freiheit, zu entscheiden, was für sie am wichtigsten ist, und eine Lösung zu wählen, die ihren Bedürfnissen entspricht. Wenn Sie jedoch über eine ständig wachsende Liste von Optionen auf dem Laufenden bleiben, kann es überwältigend sein.
L2Beat hilft Benutzern dabei, eine fundierte Wahl zu treffen, indem sie nebeneinander vergleiche von Merkmalen, Nutzungsstatistiken und potenziellen Risiken aktiver L2 -Projekte anbieten. Das Team hinter der Website untersucht jedes gelistete Protokoll und untersucht verschiedene Datenquellen und Projektdokumentation, um wichtige Informationen in einer klaren, zugänglichen Quelle zu sammeln.
Als L2Beat im Frühjahr 2021 zum ersten Mal die Mittel erhielt, listete das Dashboard für jedes der 10 Protokolle die Skalierungstechnologie und die Sperrwertstatistiken. Der Standort zusammen mit dem L2 -Ökosystem ist seitdem erheblich gewachsen. Heutzutage kann ein Besucher zwischen granularen Finanzdaten umschalten und technische Risikofaktoren für 20 Protokolle sowie eine Seite, die der Merkmale und Kompromisse jedes Protokolls der einzelnen Protokolle gewidmet ist, genau erklärt.
Im Dezember erhielt L2Beat ein zweites Zuschuss, um ihr Team auszubauen, Prozesse zu automatisieren und ihre Bemühungen zu erweitern. Zu den geplanten Verbesserungen gehören:
- Erstellen eines Back -End -Servers und einer Datenbank, die robust genug ist, um die Komplexität der aktuellen und geplanten Funktionen zu bewältigen
- Hinzufügen weiterer Live -Metriken, einschließlich Transaktionsvolumen, Verfügbarkeit und Blockproduktion
- Addieren Sie Upgrade -Protokolle, um die Benutzer über Änderungen an Protokollen, die sie verwenden, auf dem Laufenden zu halten
Kasse L2beat.com Für einen Schatz von Informationen über L2s mit viel mehr kommen Sie zu folgen @L2beatcom auf Twitter oder treten Sie der Community bei Zwietracht. Das Team begrüßt auch Beiträge!
Arbeiten Sie an etwas, von dem Sie glauben, dass es Ethereum zum Besseren verändern könnte? Gehen Sie zu unserem Zuschüsse Seite Um mehr über das zu erfahren, wonach wir in den von uns finanzierten Projekten suchen.
