StarkNet temeljito prenavlja programski jezik Cairo, da spodbudi sprejemanje razvijalcev

Platforma za skaliranje Ethereum layer-2 StarkNet je prenovila svoj interni kodirni jezik Cairo, da bi razvoj Web3 omogočil razvijalcem.

Obvestilo, ki je bilo v skupni rabi s Cointelegraphom, opisuje nadgradnje na Cairo 1.0, ki naj bi posnemal značilnosti priljubljenega programskega jezika Rust. Namen prenove je omogočiti razvijalcem s splošnimi izkušnjami kodiranja, da začnejo graditi decentralizirane aplikacije v omrežju StarkNet Ethereum layer-2.

Soustanovitelj in predsednik StarkWare Eli Ben-Sasson je za Cointelegraph povedal, da je bil glavni razlog za prenovo Caira večja dostopnost razvoja sloja 2 za razvijalce različnih ozadij:

"Glavna gonilna sila sta bila varnost in enostavna uporaba, prenova pa je predstavljala odlično priložnost za odstranitev vnosa za razvijalce z običajnim jezikovnim ozadjem."

Tehnične specifikacije, predstavljene ob predstavitvi 5. januarja, zajemajo številne izboljšave jezika Cairo, vključno z izboljšano sintakso in jezikovnimi konstrukti, celostnim tipskim sistemom, intuitivnimi knjižnicami, optimizirano kodo in močnim tipkanjem z zahtevno specifikacijo podatkovnih tipov.

StarkNet je izpostavil Sierro — kar pomeni Safe Intermediate Representation — kot glavni dodatek k prenovi Kaira. Sierra deluje kot nova vmesna predstavitvena plast med Cairo 1.0 in bajtno kodo Cairo.

Kot je pojasnil Ben-Sasson, je Sierra pomemben vidik zagotavljanja omrežja brez dovoljenj. Nadgradnja omogoča, da se povrnjene transakcije vključijo v bloke StarkNet, kar pomaga protokolu, da se izogne ​​dodajanju zapletenih "kriptoekonomskih mehanizmov".

Povezano: StarkNet naredi Cairo 1.0 odprtokodni prvi korak k nadzoru skupnosti

Ben-Sasson je dejal, da bo Sierra omogočila StarkNetu, da "podeduje popolno odpornost proti cenzuri Ethereuma" in predvsem ščiti pred napadi zavrnitve storitve Sequencer.

As predhodno poročal Cointelegraph, je bil pionir Ben-Sasson zk-STARK kriptografijo skupaj z drugimi računalničarji. Zero-Knowledge Scalable Transparent Arguments of Knowledge je dokazni sistem, ki šifrira in preverja transakcijske podatke, da zagotovi varnost, razširljivost in odpornost na kvantno računalništvo.

Glede na StarkNet je Cairo četrti najbolj priljubljen jezik pametnih pogodb glede na zaklenjeno skupno vrednost. Je osnova aplikacij, ki so obdelale več kot 300 milijonov transakcij, skovale 90 milijonov nezamenljivih žetonov in omogočile posle v vrednosti 790 milijonov dolarjev, poravnane na Ethereumu.