StarkNet overhaler programmeringssproget i Cairo for at fremme adoption af udviklere

Ethereum layer-2-skaleringsplatform StarkNet har efterset sit interne Cairo-kodningssprog for at gøre Web3-udvikling tilgængelig for udviklere.

En meddelelse delt med Cointelegraph beskriver opgraderingerne til Cairo 1.0, som er udråbt til at efterligne karakteristika ved det populære programmeringssprog Rust. Eftersynet har til hensigt at give udviklere med generel kodningserfaring mulighed for at begynde at bygge decentraliserede applikationer på StarkNets Ethereum lag-2-netværk.

StarkWares medstifter og præsident Eli Ben-Sasson fortalte Cointelegraph, at det at gøre layer-2-udvikling mere tilgængelig for udviklere med forskellig baggrund var hovedårsagen til Cairos fornyelse:

"De primære drivere var sikkerhed og brugervenlighed, og at udføre eftersynet gav en fantastisk mulighed for at fjerne indgangen for udviklere med konventionel sprogbaggrund."

De tekniske specifikationer, der er skitseret i lanceringen den 5. januar, omfatter et væld af forbedringer til Cairos sprog, herunder forbedret syntaks og sprogkonstruktioner, et holistisk typesystem, intuitive biblioteker, optimeret kode og stærk indtastning ved at kræve specifikation af datatyper.

StarkNet fremhævede Sierra - som står for Safe Intermediate Representation - som den vigtigste tilføjelse til Cairos eftersyn. Sierra fungerer som et nyt mellemliggende repræsentationslag mellem Cairo 1.0 og Cairo bytekode.

Som Ben-Sasson forklarede, er Sierra et vigtigt aspekt af at sikre et tilladelsesløst netværk. Opgraderingen gør det muligt at inkludere tilbageførte transaktioner i StarkNet-blokke, hvilket hjælper protokollen med at undgå at tilføje komplekse "krypto-økonomiske mekanismer."

Relateret: StarkNet gør Cairo 1.0 open source i første skridt mod fællesskabskontrol

Ben-Sasson sagde, at Sierra vil tillade StarkNet at "arve den fulde censur-modstand af Ethereum" og primært beskytter mod Sequencer denial-of-service-angreb.

As tidligere rapporteret af Cointelegraph, var Ben-Sasson pioner zk-STARK kryptografi sammen med andre dataloger. Zero-Knowledge Scalable Transparent Arguments of Knowledge er et bevissystem, der krypterer og verificerer transaktionsdata for at give sikkerhed, skalerbarhed og modstand mod kvanteberegning.

Ifølge StarkNet er Cairo det fjerde mest populære smarte kontraktsprog efter total værdi låst. Det er grundlaget for applikationer, der har behandlet over 300 millioner transaktioner, præget 90 millioner ikke-fungible tokens og lettet handler til en værdi af $790 millioner afgjort på Ethereum.