StarkNet iwwerschafft Kairo Programméierungssprooch fir Entwéckler Adoptioun ze féieren

Ethereum Layer-2 Skaléierungsplattform StarkNet huet seng intern Kairo Kodéierungssprooch iwwerschafft fir Web3 Entwécklung fir Entwéckler zougänglech ze maachen.

Eng Ukënnegung gedeelt mat Cointelegraph beschreift d'Upgrades op Cairo 1.0, déi ausgezeechent gëtt fir d'Charakteristike vun der populärer Programmiersprache Rust ze emuléieren. D'Revisioun beabsichtigt d'Entwéckler mat allgemenger Kodéierungserfahrung ze erlaben dezentraliséiert Uwendungen op StarkNet's Ethereum Layer-2 Netz ze bauen.

StarkWare Matgrënner a President Eli Ben-Sasson huet dem Cointelegraph gesot datt d'Schicht-2 Entwécklung méi zougänglech fir Entwéckler vu variéierend Hannergrënn ass den Haaptgrond fir d'Renovéierung vu Kairo:

"Déi primär Chauffeuren ware Sécherheet an einfacher Benotzung, an d'Ausféierung vun der Revisioun huet eng formidabel Geleeënheet presentéiert fir den Entrée fir Entwéckler mat konventionelle Sproochhannergrënn ze läschen."

Déi technesch Spezifikatioune, déi am 5. Januar lancéiert sinn, enthalen eng ganz Partie Verbesserunge fir d'Sprooch vu Kairo, inklusiv verbesserte Syntax a Sproochkonstruktiounen, e holisteschen Typsystem, intuitive Bibliothéiken, optimiséiertem Code a staark Tippen andeems Dir Spezifizéierung vun Datentypen erfuerdert.

StarkNet huet d'Sierra beliicht - wat fir Safe Intermediate Representation steet - als den Haaptzousaz zum Kairo seng Reform. Sierra Akten als nei Tëschenzäit Representatioun Layer tëscht Kairo 1.0 an Kairo Byte Code.

Wéi de Ben-Sasson erkläert huet, ass d'Sierra e wichtegen Aspekt fir e permissionless Netzwierk ze garantéieren. D'Aktualiséierung erlaabt zréckgesat Transaktiounen an StarkNet Blocken abegraff ze ginn, hëlleft dem Protokoll fir komplex "krypto-ekonomesch Mechanismen" ze vermeiden.

Verbonnen: StarkNet mécht Cairo 1.0 Open Source am éischte Schrëtt a Richtung Gemeinschaftskontroll

De Ben-Sasson sot, datt Sierra erlaabt StarkNet "déi voll Zensur-Resistenz vun Ethereum ze ierwen" a schützt haaptsächlech géint Sequencer Denial-of-Service Attacken.

As virdrun gemellt vum Cointelegraph, Ben-Sasson Pionéier zk-STARK Kryptografie niewent anere Computerwëssenschaftler. Zero-Knowledge Scalable Transparent Arguments of Knowledge ass e Beweissystem deen Transaktiounsdaten verschlësselt a verifizéiert fir Sécherheet, Skalierbarkeet a Resistenz géint Quantecomputer ze bidden.

Laut StarkNet, Kairo ass déi véiert beléifste Smart Kontrakt Sprooch duerch Gesamtwäert gespaart. Et ass d'Basis vun Uwendungen déi iwwer 300 Milliounen Transaktioune veraarbecht hunn, 90 Milliounen net-fungibel Tokens geprägt hunn an $ 790 Millioune Wäert vun Handelen op Ethereum erliichtert hunn.