StarkNet obnavlja programski jezik Cairo kako bi potaknuo prihvaćanje programera

Platforma za skaliranje sloja 2 Ethereuma StarkNet revidirala je svoj interni jezik kodiranja Cairo kako bi razvoj Web3 učinio dostupnim programerima.

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

Suosnivač i predsjednik StarkWarea, Eli Ben-Sasson, rekao je za Cointelegraph da je glavni razlog za preuređenje Caira učiniti razvoj sloja 2 pristupačnijim programerima različitih profila:

"Primarni pokretači bili su sigurnost i jednostavnost korištenja, a provođenje remonta predstavljalo je izvrsnu priliku za uklanjanje unosa za programere s konvencionalnim jezičnim podrijetlom."

Tehničke specifikacije navedene u lansiranju 5. siječnja obuhvaćaju mnoštvo poboljšanja Cairovog jezika, uključujući poboljšanu sintaksu i jezične konstrukcije, holistički sustav tipa, intuitivne biblioteke, optimizirani kod i snažno tipkanje zahtjevnom specifikacijom tipova podataka.

StarkNet je istaknuo Sierru — što je kratica za Safe Intermediate Representation — kao glavni dodatak remontu Kaira. Sierra djeluje kao novi međusloj reprezentacije između Cairo 1.0 i Cairo bajt koda.

Kao što je objasnio Ben-Sasson, Sierra je važan aspekt osiguravanja mreže bez dopuštenja. Nadogradnja omogućuje uključivanje poništenih transakcija u StarkNet blokove, pomažući protokolu da izbjegne dodavanje složenih "kriptoekonomskih mehanizama".

Povezano: StarkNet čini Cairo 1.0 open source u prvom koraku prema kontroli zajednice

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

As prethodno je objavio Cointelegraph, Ben-Sasson je bio pionir zk-STARK kriptografiju uz druge računalne znanstvenike. Zero-Knowledge Scalable Transparent Arguments of Knowledge je dokazni sustav koji šifrira i provjerava transakcijske podatke kako bi pružio sigurnost, skalabilnost i otpornost na kvantno računalstvo.

Prema StarkNetu, Cairo je četvrti najpopularniji jezik pametnih ugovora prema ukupnoj zaključanoj vrijednosti. To je baza aplikacija koje su obradile više od 300 milijuna transakcija, iskovale 90 milijuna nezamjenjivih tokena i omogućile trgovine vrijedne 790 milijuna dolara na Ethereumu.