StarkNet revizuiește limbajul de programare Cairo pentru a stimula adoptarea dezvoltatorilor

Platforma de scalare Ethereum layer-2 StarkNet și-a revizuit limbajul intern de codare Cairo pentru a face dezvoltarea Web3 accesibilă dezvoltatorilor.

Un anunț distribuit cu Cointelegraph subliniază actualizările la Cairo 1.0, care este promovat pentru a emula caracteristicile popularului limbaj de programare Rust. Revizia intenționează să permită dezvoltatorilor cu experiență generală de codare să înceapă să construiască aplicații descentralizate pe rețeaua StarkNet Ethereum layer-2.

Cofondatorul și președintele StarkWare, Eli Ben-Sasson, a declarat pentru Cointelegraph că dezvoltarea de nivel 2 mai accesibilă pentru dezvoltatorii de diferite medii a fost principalul motiv pentru modernizarea Cairo:

„Motivele principale au fost siguranța și ușurința în utilizare, iar efectuarea reviziei a reprezentat o oportunitate grozavă de a elimina intrarea pentru dezvoltatorii cu medii convenționale în limbaj.”

Specificațiile tehnice prezentate în lansarea din 5 ianuarie cuprind o serie de îmbunătățiri ale limbajului din Cairo, inclusiv sintaxă și construcții de limbaj îmbunătățite, un sistem de tip holistic, biblioteci intuitive, cod optimizat și tastare puternică prin specificarea pretențioasă a tipurilor de date.

StarkNet a evidențiat Sierra – care înseamnă Safe Intermediate Representation – drept principala completare a revizuirii Cairo. Sierra acționează ca un nou strat intermediar de reprezentare între Cairo 1.0 și codul de octeți Cairo.

După cum a explicat Ben-Sasson, Sierra este un aspect important al asigurării unei rețele fără permisiune. Upgrade-ul permite ca tranzacțiile inversate să fie incluse în blocurile StarkNet, ajutând protocolul să evite adăugarea de „mecanisme cripto-economice” complexe.

Related: StarkNet face ca Cairo 1.0 să fie open source în primul pas către controlul comunității

Ben-Sasson a spus că Sierra va permite StarkNet să „moștenească întreaga rezistență la cenzură a lui Ethereum” și protejează în principal împotriva atacurilor de refuzare a serviciului Sequencer.

As raportat anterior de Cointelegraph, Ben-Sasson a fost pionier zk-STARK criptografie alături de alți informaticieni. Zero-Knowledge Scalable Transparent Arguments of Knowledge este un sistem de probă care criptează și verifică datele tranzacțiilor pentru a oferi securitate, scalabilitate și rezistență la calculul cuantic.

Potrivit StarkNet, Cairo este al patrulea cel mai popular limbaj de contract inteligent după valoarea totală blocată. Este baza aplicațiilor care au procesat peste 300 de milioane de tranzacții, au creat 90 de milioane de jetoane nefungibile și au facilitat tranzacții în valoare de 790 de milioane de dolari decontate pe Ethereum.