Die Ethereum-Layer-2-Skalierungsplattform StarkNet hat ihre hauseigene Programmiersprache Cairo überarbeitet, um die Web3-Entwicklung für Entwickler zugänglich zu machen.
Eine mit Cointelegraph geteilte Ankündigung skizzierte die Upgrades auf Cairo 1.0, das angepriesen wird, um Merkmale der beliebten Programmiersprache Rust zu emulieren. Die Überarbeitung soll es Entwicklern mit allgemeiner Programmiererfahrung ermöglichen, mit dem Aufbau dezentralisierter Anwendungen auf dem Ethereum-Layer-2-Netzwerk von StarkNet zu beginnen.
Eli Ben-Sasson, Mitbegründer und Präsident von StarkWare, sagte gegenüber Cointelegraph, dass der Hauptgrund für die Überarbeitung von Kairo darin bestand, die Layer-2-Entwicklung für Entwickler mit unterschiedlichem Hintergrund zugänglicher zu machen:
„Die Haupttreiber waren Sicherheit und Benutzerfreundlichkeit, und die Durchführung der Überholung bot eine großartige Gelegenheit, den Eintrag für Entwickler mit herkömmlichem Sprachhintergrund zu entfernen.“
Die technischen Spezifikationen, die beim Start am 5. Januar skizziert wurden, umfassen eine Vielzahl von Verbesserungen der Sprache von Kairo. Dazu gehören verbesserte Syntax- und Sprachkonstrukte, ein ganzheitliches Typsystem, intuitive Bibliotheken, optimierter Code und starke Typisierung durch anspruchsvolle Spezifikation von Datentypen.
StarkNet hebt Sierra als Hauptergänzung zur Überholung von Kairo hervor, was für Safe Intermediate Representation steht. Sierra fungiert als neue Zwischendarstellungsschicht zwischen Cairo 1.0 und dem Cairo-Bytecode.
Wie Ben Sasson erklärte, ist Sierra ein wichtiger Aspekt bei der Gewährleistung eines genehmigungsfreien Netzwerks. Das Upgrade ermöglicht es, rückgängig gemachte Transaktionen in StarkNet-Blöcke aufzunehmen, was dem Protokoll hilft, das Hinzufügen komplexer „kryptoökonomischer Mechanismen“ zu vermeiden.
Siehe auch: StarkNet macht Cairo 1.0 Open Source als ersten Schritt in Richtung Community-Kontrolle
Ben Sasson sagte, dass Sierra es StarkNet ermöglichen werde, „die volle Zensurresistenz von Ethereum zu erben“ und hauptsächlich vor Sequencer Denial of Service (DoS)-Angriffen schützt.
Wie bereits von Cointelegraph berichtet, leistete Ben-Sasson zusammen mit anderen Informatikern Pionierarbeit bei der ZK-STARK-Kryptographie. Zero-Knowledge Scalable Transparent Arguments of Knowledge ist ein Beweissystem, das Transaktionsdaten verschlüsselt und verifiziert, um Sicherheit, Skalierbarkeit und Widerstandsfähigkeit gegenüber Quantencomputern zu bieten.
Laut StarkNet ist Cairo die viertbeliebteste intelligente Vertragssprache nach dem gesperrten Gesamtwert. Es ist die Basis von Anwendungen, die über 300 Millionen Transaktionen verarbeitet, 90 Millionen NFTs geprägt und Transaktionen im Wert von 790 Millionen US-Dollar erleichtert haben, die auf Ethereum abgewickelt wurden.