StarkNet ser över programmeringsspråket i Kairo för att driva på utvecklare

Ethereums lager-2 skalningsplattform StarkNet har sett över sitt interna kodningsspråk i Kairo för att göra Web3-utveckling tillgänglig för utvecklare.

Ett tillkännagivande som delas med Cointelegraph beskriver uppgraderingarna till Cairo 1.0, som säljs för att efterlikna egenskaperna hos det populära programmeringsspråket Rust. Översynen avser att tillåta utvecklare med allmän kodningserfarenhet att börja bygga decentraliserade applikationer på StarkNets Ethereum layer-2-nätverk.

StarkWares medgrundare och president Eli Ben-Sasson sa till Cointelegraph att att göra lager-2-utveckling mer tillgänglig för utvecklare med olika bakgrund var huvudorsaken till Kairos förnyelse:

"De primära drivkrafterna var säkerhet och användarvänlighet, och att genomföra översynen gav en fantastisk möjlighet att ta bort posten för utvecklare med traditionell språkbakgrund."

De tekniska specifikationerna som beskrivs i lanseringen den 5 januari omfattar en mängd förbättringar av Kairos språk, inklusive förbättrad syntax och språkkonstruktioner, ett holistiskt typsystem, intuitiva bibliotek, optimerad kod och stark typning genom krävande specifikation av datatyper.

StarkNet lyfte fram Sierra – som står för Safe Intermediate Representation – som det viktigaste tillägget till Kairos översyn. Sierra fungerar som ett nytt mellanliggande representationslager mellan Cairo 1.0 och Cairo bytekod.

Som Ben-Sasson förklarade är Sierra en viktig aspekt för att säkerställa ett tillståndslöst nätverk. Uppgraderingen gör att återställda transaktioner kan inkluderas i StarkNet-block, vilket hjälper protokollet att undvika att lägga till komplexa "kryptoekonomiska mekanismer."

Relaterat: StarkNet gör Cairo 1.0 öppen källkod i första steget mot community-kontroll

Ben-Sasson sa att Sierra kommer att tillåta StarkNet att "ärva Ethereums fullständiga censurmotstånd" och skyddar främst mot Sequencer-denial-of-service-attacker.

As tidigare rapporterat av Cointelegraph, banade Ben-Sasson zk-STARK kryptografi tillsammans med andra datavetare. Zero-Knowledge Scalable Transparent Arguments of Knowledge är ett bevissystem som krypterar och verifierar transaktionsdata för att ge säkerhet, skalbarhet och motstånd mot kvantberäkning.

Enligt StarkNet är Kairo det fjärde mest populära smarta kontraktsspråket med totalt värde låst. Det är basen för applikationer som har bearbetat över 300 miljoner transaktioner, präglat 90 miljoner icke-fungibla tokens och underlättat affärer till ett värde av 790 miljoner dollar avräknade på Ethereum.