StarkNet overhaler programmeringsspråket i Kairo for å drive utvikleradopsjon

Ethereum layer-2 skaleringsplattform StarkNet har overhalt sitt interne Kairo-kodespråk for å gjøre Web3-utvikling tilgjengelig for utviklere.

En kunngjøring delt med Cointelegraph skisserer oppgraderingene til Cairo 1.0, som er utpekt for å etterligne egenskapene til det populære programmeringsspråket Rust. Overhalingen har til hensikt å la utviklere med generell kodingserfaring begynne å bygge desentraliserte applikasjoner på StarkNets Ethereum lag-2-nettverk.

StarkWares medgründer og president Eli Ben-Sasson fortalte Cointelegraph at å gjøre lag-2-utvikling mer tilgjengelig for utviklere med ulik bakgrunn var hovedårsaken til Kairos fornyelse:

"De primære driverne var sikkerhet og brukervennlighet, og gjennomføringen av overhalingen ga en fantastisk mulighet til å fjerne oppføringen for utviklere med konvensjonell språkbakgrunn."

De tekniske spesifikasjonene skissert i lanseringen 5. januar omfatter en rekke forbedringer av Kairos språk, inkludert forbedret syntaks og språkkonstruksjoner, et holistisk typesystem, intuitive biblioteker, optimert kode og sterk skriving ved å kreve spesifikasjon av datatyper.

StarkNet fremhevet Sierra – som står for Safe Intermediate Representation – som hovedtilskuddet til Kairos overhaling. Sierra fungerer som et nytt mellomliggende representasjonslag mellom Cairo 1.0 og Cairo bytekode.

Som Ben-Sasson forklarte, er Sierra et viktig aspekt for å sikre et tillatelsesfritt nettverk. Oppgraderingen gjør at tilbakeførte transaksjoner kan inkluderes i StarkNet-blokker, og hjelper protokollen å unngå å legge til komplekse "krypto-økonomiske mekanismer."

Relatert: StarkNet gjør Cairo 1.0 åpen kildekode i første skritt mot fellesskapskontroll

Ben-Sasson sa at Sierra vil tillate StarkNet å "arve den fulle sensurmotstanden til Ethereum" og beskytter hovedsakelig mot Sequencer denial-of-service angrep.

As tidligere rapportert av Cointelegraph, var Ben-Sasson pioner zk-STARK kryptografi sammen med andre informatikere. Zero-Knowledge Scalable Transparent Arguments of Knowledge er et bevissystem som krypterer og verifiserer transaksjonsdata for å gi sikkerhet, skalerbarhet og motstand mot kvantedatabehandling.

I følge StarkNet er Kairo det fjerde mest populære smarte kontraktsspråket etter total verdi låst. Det er grunnlaget for søknader som har behandlet over 300 millioner transaksjoner, preget 90 millioner ikke-fungible tokens og muliggjort handler verdt 790 millioner dollar avgjort på Ethereum.