A StarkNet átdolgozza a Cairo programozási nyelvet, hogy elősegítse a fejlesztők elfogadását

Az Ethereum layer-2 skálázóplatform, a StarkNet átdolgozta házon belüli Cairo kódolási nyelvét, hogy elérhetővé tegye a Web3 fejlesztést a fejlesztők számára.

A Cointelegraph-lal megosztott közlemény felvázolja a Cairo 1.0 frissítését, amely a népszerű Rust programozási nyelv jellemzőit emulálja. A felújítás célja, hogy az általános kódolási tapasztalattal rendelkező fejlesztők megkezdhessék decentralizált alkalmazások építését a StarkNet Ethereum layer-2 hálózatán.

A StarkWare társalapítója és elnöke, Eli Ben-Sasson elmondta a Cointelegraph-nak, hogy a 2. rétegbeli fejlesztés elérhetőbbé tétele a különböző hátterű fejlesztők számára volt a fő oka Kairó megújulásának:

„Az elsődleges szempont a biztonság és a könnyű használhatóság volt, és a nagyjavítás nagyszerű lehetőséget kínált a bejegyzés eltávolítására a hagyományos nyelvi háttérrel rendelkező fejlesztők számára.”

A január 5-i bevezetésben körvonalazott műszaki specifikációk számos fejlesztést tartalmaznak a kairói nyelven, beleértve a szintaxis és nyelvi konstrukciók továbbfejlesztését, a holisztikus típusrendszert, az intuitív könyvtárakat, az optimalizált kódot és az erős gépelést az adattípusok igényes specifikációjával.

A StarkNet kiemelte a Sierra-t – ami a Safe Intermediate Representation rövidítése – a kairói átalakítás fő kiegészítéseként. A Sierra új köztes reprezentációs rétegként működik a Cairo 1.0 és a Cairo byte kód között.

Ahogy Ben-Sasson elmagyarázta, a Sierra fontos szempont az engedély nélküli hálózat biztosításához. A frissítés lehetővé teszi a visszaállított tranzakciók StarkNet blokkba való felvételét, segítve a protokollt abban, hogy elkerülje az összetett „kripto-gazdasági mechanizmusok” hozzáadását.

Kapcsolódó: A StarkNet a Cairo 1.0 nyílt forráskódúvá teszi az első lépést a közösségi irányítás felé

Ben-Sasson elmondta, hogy a Sierra lehetővé teszi a StarkNet számára, hogy „örökölje az Ethereum teljes cenzúra-ellenállását”, és elsősorban a Sequencer szolgáltatásmegtagadási támadásai ellen véd.

As korábban a Cointelegraph számolt be, Ben-Sasson úttörő volt zk-STARK kriptográfia más informatikusokkal együtt. A Zero-Knowledge Scalable Transparent Arguments of Knowledge egy olyan bizonyítási rendszer, amely titkosítja és ellenőrzi a tranzakciós adatokat a biztonság, a méretezhetőség és a kvantumszámítással szembeni ellenállás biztosítása érdekében.

A StarkNet szerint Kairó a negyedik legnépszerűbb intelligens szerződéses nyelv a zárolt összérték alapján. Ez az alkalmazások alapja, amelyek több mint 300 millió tranzakciót dolgoztak fel, 90 millió nem helyettesíthető tokent vertek, és 790 millió dollár értékű kereskedést segítettek le az Ethereumon.