StarkNet revidira programski jezik Cairo kako bi podstakao usvajanje programera

Ethereum layer-2 platforma za skaliranje StarkNet je revidirala svoj interni Cairo jezik kodiranja kako bi razvoj Web3 učinio dostupnim programerima.

Najava podijeljena s Cointelegraphom opisuje nadogradnje na Cairo 1.0, koji se reklamira da oponaša karakteristike popularnog programskog jezika Rust. Remont ima za cilj omogućiti programerima s općim iskustvom u kodiranju da počnu graditi decentralizirane aplikacije na StarkNet-ovoj Ethereum layer-2 mreži.

Suosnivač i predsjednik StarkWarea Eli Ben-Sasson rekao je za Cointelegraph da je glavni razlog za rekonstrukciju Kaira činiti Layer-2 pristupačnijim programerima različitog porijekla:

“Primarni pokretači bili su sigurnost i jednostavnost korištenja, a izvođenje remonta predstavljalo je sjajnu priliku da se ukloni unos za programere sa konvencionalnim jezičnim iskustvom.”

Tehničke specifikacije navedene u lansiranju 5. januara obuhvataju mnoštvo poboljšanja jezika Kaira, uključujući poboljšanu sintaksu i jezičke konstrukcije, holistički sistem tipova, intuitivne biblioteke, optimizovan kod i snažno kucanje zahtevnom specifikacijom tipova podataka.

StarkNet je istakao Sierru — što je skraćenica za Safe Intermediate Representation — kao glavni dodatak remontu Kaira. Sierra djeluje kao novi sloj srednjeg predstavljanja između Cairo 1.0 i Cairo byte koda.

Kako je objasnio Ben-Sasson, Sierra je važan aspekt osiguravanja mreže bez dozvole. Nadogradnja omogućava da se vraćene transakcije uključe u StarkNet blokove, pomažući protokolu da izbjegne dodavanje složenih "kripto-ekonomskih mehanizama".

Povezano: StarkNet čini Cairo 1.0 otvorenim kodom u prvom koraku ka kontroli zajednice

Ben-Sasson je rekao da će Sierra omogućiti StarkNetu da “naslijedi punu otpornost na cenzuru Ethereuma” i uglavnom štiti od napada uskraćivanja usluge Sequencer.

As ranije izvještavao Cointelegraph, Ben-Sasson je pionir zk-STARK kriptografiju zajedno s drugim kompjuterskim naučnicima. Transparentni argumenti znanja s skalabilnim nultim znanjem je sistem dokaza koji šifrira i provjerava podatke o transakcijama kako bi osigurao sigurnost, skalabilnost i otpornost na kvantno računanje.

Prema StarkNetu, Kairo je četvrti najpopularniji jezik pametnih ugovora po ukupnoj zaključanoj vrijednosti. To je baza aplikacija koje su obrađivale preko 300 miliona transakcija, iskovale 90 miliona nezamenljivih tokena i omogućile transakcije u vrednosti od 790 miliona dolara na Ethereumu.