StarkNet uudistaa Kairon ohjelmointikieltä edistääkseen kehittäjien omaksumista

Ethereum layer-2 skaalausalusta StarkNet on uudistanut talon sisäistä Kairon koodauskieltä, jotta Web3-kehitys on kehittäjien saatavilla.

Cointelegraphin kanssa jaettu ilmoitus hahmottelee Cairo 1.0:n päivitykset, jonka on mainostettu jäljittelevän suositun ohjelmointikielen Rust ominaisuuksia. Uudistuksen tarkoituksena on, että kehittäjät, joilla on yleistä koodauskokemusta, voivat alkaa rakentaa hajautettuja sovelluksia StarkNetin Ethereum-kerroksen 2-verkkoon.

StarkWaren toinen perustaja ja presidentti Eli Ben-Sasson kertoi Cointelegraphille, että kerroksen 2 -kehityksen helpottaminen eritaustaisille kehittäjille oli tärkein syy Kairon uudistukseen:

"Ensisijaiset tekijät olivat turvallisuus ja helppokäyttöisyys, ja kunnostuksen suorittaminen tarjosi loistavan mahdollisuuden poistaa merkintä kehittäjille, joilla on perinteinen kielitausta."

Tammikuun 5. julkaisussa esitetyt tekniset tiedot sisältävät joukon parannuksia Kairon kieleen, mukaan lukien parannetut syntaksit ja kielirakenteet, kokonaisvaltainen tyyppijärjestelmä, intuitiiviset kirjastot, optimoitu koodi ja vahva kirjoittaminen vaativien tietotyyppien määrittelyn avulla.

StarkNet korosti Sierran - joka tarkoittaa Safe Intermediate Representaatiota - tärkeimpänä lisäyksenä Kairon kunnostukseen. Sierra toimii uutena väliesityskerroksena Cairo 1.0:n ja Kairon tavukoodin välillä.

Kuten Ben-Sasson selitti, Sierra on tärkeä osa luvattoman verkon varmistamista. Päivitys mahdollistaa peruutettujen tapahtumien sisällyttämisen StarkNet-lohkoihin, mikä auttaa protokollaa välttämään monimutkaisten "salaustaloudellisten mekanismien" lisäämistä.

Ben-Sasson sanoi, että Sierra antaa StarkNetin "periä Ethereumin täyden sensuurinkestävyyden" ja suojaa pääasiassa Sequencer-palvelunestohyökkäyksiä vastaan.

As aiemmin Cointelegraph, Ben-Sasson oli edelläkävijä zk-STARK kryptografiaa muiden tietojenkäsittelytieteilijöiden rinnalla. Zero-Knowledge Scalable Transparent Arguments of Knowledge on todistejärjestelmä, joka salaa ja tarkistaa tapahtumatiedot turvallisuuden, skaalautuvuuden ja kvanttilaskennan kestävyyden takaamiseksi.

StarkNetin mukaan Kairo on neljänneksi suosituin älykkäiden sopimusten kieli lukitun kokonaisarvon perusteella. Se on sovellusten perusta, jotka ovat käsitelleet yli 300 miljoonaa tapahtumaa, lyöneet 90 miljoonaa ei-vaihtokelpoista tokenia ja helpottaneet 790 miljoonan dollarin arvoisia kauppoja Ethereumissa.