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.
Kilde: https://cointelegraph.com/news/starknet-overhauls-cairo-programming-language-to-drive-developer-adoption