StarkNet's vernieuwing van zijn Caïro-programmering, maar waarom?

StarkNet is een gedecentraliseerd validiteitsoverzicht zonder toestemming. Het werkt als een L2-netwerk via Ethereum. Het stelt elke dApp in staat om onbeperkte schaal voor zijn berekeningen te bereiken - zonder de composability en veiligheid van Ethereum in gevaar te brengen.

Sinds de recente update van StarkNet heeft het zijn interne Caïro-programmeertaal herzien om Web3-ontwikkeling toegankelijk te maken voor ontwikkelaars. In een Medium-blogpost van StarkWare, Stark-Based scaling solutions, worden de upgrades naar Cairo 1.0 beschreven.

Volgens de blogpost: "Ontwikkelaars kunnen beginnen met het schrijven, compileren en testen van Cairo 1.0-programma's!" Het platform moedigt ontwikkelaars aan om te gaan experimenteren met Cairo 1.0 en te wennen aan de nieuwe syntaxis en functies.”

Wat is Caïro 1.0?

Cairo werd voor het eerst geïntroduceerd in 2020 en na de evolutie is nu de eerste openbare versie Cairo 1.0 beschikbaar. Het is ook een "turing-complete programmeertaal" voor het efficiënt schrijven van STARK-bewijsbare programma's. “Caïro 1.0 is een Rust-achtige taal op hoog niveau. Net als Rust is het bedoeld om ontwikkelaars in staat te stellen eenvoudig code te schrijven die efficiënt en veilig is.”

Mede-oprichter en president van StarkWare, Eli Ben-Sasson, deelde de reden voor de vernieuwing van Caïro, zoals hij zei: "De belangrijkste drijfveren waren veiligheid en gebruiksgemak, en het uitvoeren van de herziening bood een geweldige kans om de invoer te verwijderen voor ontwikkelaars met conventioneel taalgebruik. achtergronden.”

Cairo 1.0 introduceert verder Sierra, een nieuwe tussenweergave die ervoor zorgt dat elke Cairo-run kan worden bewezen. Dit maakt Cairo 1.0 bijzonder geschikt voor gebruik in een toestemmingloos netwerk zoals StarkNet, waar het robuuste DoS-bescherming en censuurweerstand kan bieden.

De heer Ben-Sasson legde Sierra uit als "een belangrijk aspect van het waarborgen van een netwerk zonder toestemming". Bovendien maakt de upgrade het mogelijk om teruggedraaide transacties op te nemen in StarkNet-blokken, waardoor het protocol voorkomt dat complexe "crypto-economische mechanismen" worden toegevoegd. Hij zei dat Sierra StarkNet in staat zal stellen "de volledige censuurweerstand van Ethereum te erven" en voornamelijk beschermt tegen Sequencer denial-of-service-aanvallen.

In de blogpost van StarkNet werd ook vermeld dat Caïro de vierde meest populaire taal voor slimme contracten is op basis van totale waarde vergrendeld. Het heeft meer dan $ 790 miljard aan transacties afgehandeld, meer dan 300 miljoen transacties verwerkt en meer dan 90 miljoen NFT's geslagen, allemaal off-chain uitgevoerd en afgewikkeld op Ethereum met de wiskundige integriteit gegarandeerd door STARK-bewijzen.

“StarkNet ondersteunt echter nog niet de implementatie en uitvoering van Cairo 1.0-contracten. StarkNet Alpha V0.11.0, gepland in de komende weken, introduceert de mogelijkheid om Cairo 1.0-contracten in te zetten en uit te voeren. De upgrade naar v0.11.0 markeert het begin van de overgangsperiode naar een systeem dat alleen Cairo 1.0-contracten uitvoert”, aldus StarkNet.

Nancy J.Allen
Laatste berichten door Nancy J. Allen (bekijk alle)

Bron: https://www.thecoinrepublic.com/2023/01/06/starknets-revamping-of-its-cairo-programming-but-why/