StarkNet ist ein erlaubnisloses, dezentralisiertes Validity-Rollup. Es arbeitet als L2-Netzwerk über Ethereum. Es ermöglicht jeder dApp, eine unbegrenzte Skalierbarkeit für ihre Berechnung zu erreichen – ohne die Zusammenstellbarkeit und Sicherheit von Ethereum zu beeinträchtigen.
Seit dem jüngsten Update von StarkNet hat es seine hauseigene Programmiersprache Cairo überarbeitet, um die Web3-Entwicklung für Entwickler zugänglich zu machen. In einem Medium-Blog-Beitrag von StarkWare, Stark-Based Scaling Solutions, skizzierten die Upgrades auf Cairo 1.0.
Laut dem Blog-Beitrag können „Entwickler mit dem Schreiben, Kompilieren und Testen von Cairo 1.0-Programmen beginnen!“ Die Plattform ermutigt Entwickler, mit Cairo 1.0 zu experimentieren und sich an die neue Syntax und die neuen Funktionen zu gewöhnen.“
Was ist Kairo 1.0?
Cairo wurde erstmals im Jahr 2020 eingeführt und folgt der Entwicklung als erste öffentliche Version von Cairo 1.0. Außerdem ist es eine „turing-vollständige Programmiersprache“ zum effizienten Schreiben von STARK-beweisbaren Programmen. „Cairo 1.0 ist eine Rust-ähnliche Hochsprache. Wie Rust soll es Entwicklern ermöglichen, Code zu schreiben, der effizient und sicher ist.“
Eli Ben-Sasson, Mitbegründer und Präsident von StarkWare, teilte den Grund für die Überarbeitung von Cairo mit: „Die Haupttreiber waren Sicherheit und Benutzerfreundlichkeit, und die Durchführung der Überholung bot eine großartige Gelegenheit, den Eintrag für Entwickler mit konventioneller Sprache zu entfernen Hintergründe.“
Cairo 1.0 führt außerdem Sierra ein, eine neue Zwischendarstellung, die sicherstellt, dass jeder Cairo-Lauf nachgewiesen werden kann. Dadurch eignet sich Cairo 1.0 besonders gut für den Einsatz in einem erlaubnislosen Netzwerk wie StarkNet, wo es robusten DoS-Schutz und Zensurresistenz bieten kann.
Herr Ben-Sasson erklärte Sierra als „einen wichtigen Aspekt bei der Gewährleistung eines genehmigungsfreien Netzwerks“. Darüber hinaus ermöglicht das Upgrade die Aufnahme rückgängig gemachter Transaktionen in StarkNet-Blöcke, was dem Protokoll hilft, das Hinzufügen komplexer „kryptoökonomischer Mechanismen“ zu vermeiden. Er sagte, dass Sierra StarkNet erlauben werde, „die volle Zensurresistenz von Ethereum zu erben“ und hauptsächlich vor Denial-of-Service-Angriffen von Sequencer schützt.
Der Blog-Beitrag von StarkNet erwähnte auch, dass Kairo die viertbeliebteste intelligente Vertragssprache nach dem gesperrten Gesamtwert ist. Es hat Trades im Wert von über 790 Milliarden US-Dollar abgewickelt, über 300 Millionen Transaktionen verarbeitet und mehr als 90 Millionen NFTs geprägt, die alle außerhalb der Kette durchgeführt und auf Ethereum mit der durch STARK Proofs garantierten mathematischen Integrität abgewickelt wurden.
„StarkNet unterstützt jedoch noch nicht die Bereitstellung und Ausführung von Cairo 1.0-Verträgen. StarkNet Alpha V0.11.0, geplant in den kommenden Wochen, wird die Möglichkeit einführen, Cairo 1.0-Verträge bereitzustellen und auszuführen. Das Upgrade auf v0.11.0 wird den Beginn der Übergangszeit hin zu einem System markieren, das nur Cairo 1.0-Verträge ausführt“, so StarkNet.
Nancy J. Allen ist eine Krypto-Enthusiastin und glaubt, dass Kryptowährungen die Menschen dazu inspirieren, ihre eigene Bank zu sein und sich von traditionellen Geldumtauschsystemen zu lösen. Sie ist auch fasziniert von der Blockchain-Technologie und ihrer Funktionsweise.
Quelle: https://www.thecoinrepublic.com/2023/01/06/starknets-revamping-of-its-cairo-programming-but-why/