StarkNet überarbeitet die Programmiersprache Cairo, um die Akzeptanz der Entwickler zu fördern

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 skizziert 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.

Der Mitbegründer und Präsident von StarkWare, Eli Ben-Sasson, sagte gegenüber Cointelegraph, dass es der Hauptgrund für die Überarbeitung von Kairo war, 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 Überarbeitung bot eine großartige Gelegenheit, den Eintrag für Entwickler mit herkömmlichem Sprachhintergrund zu entfernen.“

Die in der Markteinführung am 5. Januar skizzierten technischen Spezifikationen umfassen eine Vielzahl von Verbesserungen der Sprache von Cairo, darunter verbesserte Syntax und Sprachkonstrukte, ein ganzheitliches Typsystem, intuitive Bibliotheken, optimierter Code und starke Typisierung durch anspruchsvolle Spezifikation von Datentypen.

StarkNet hob Sierra – was für Safe Intermediate Representation steht – als die wichtigste Ergänzung zur Überholung von Kairo hervor. 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.

Ben-Sasson sagte, dass Sierra es StarkNet ermöglichen werde, „die volle Zensurresistenz von Ethereum zu erben“ und hauptsächlich vor Denial-of-Service-Angriffen von Sequencer schützt.

As zuvor von Cointelegraph berichtet, leistete Ben-Sasson Pionierarbeit zk-STARK Kryptografie neben anderen Informatikern. 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 Gesamtwert. Es ist die Basis von Anwendungen, die über 300 Millionen Transaktionen verarbeitet, 90 Millionen nicht vertretbare Token geprägt und Transaktionen im Wert von 790 Millionen US-Dollar ermöglicht haben, die auf Ethereum abgewickelt wurden.