StarkNet revisiona il linguaggio di programmazione Cairo per favorire l'adozione da parte degli sviluppatori

La piattaforma di ridimensionamento di livello 2 di Ethereum StarkNet ha revisionato il suo linguaggio di codifica Cairo interno per rendere lo sviluppo Web3 accessibile agli sviluppatori.

Un annuncio condiviso con Cointelegraph delinea gli aggiornamenti a Cairo 1.0, pubblicizzato per emulare le caratteristiche del popolare linguaggio di programmazione Rust. La revisione intende consentire agli sviluppatori con esperienza di codifica generale di iniziare a creare applicazioni decentralizzate sulla rete di livello 2 Ethereum di StarkNet.

Il co-fondatore e presidente di StarkWare, Eli Ben-Sasson, ha dichiarato a Cointelegraph che rendere lo sviluppo di livello 2 più accessibile a sviluppatori di diversa estrazione è stata la ragione principale del rinnovamento di Cairo:

"I driver principali erano la sicurezza e la facilità d'uso, e condurre la revisione ha rappresentato un'incredibile opportunità per rimuovere la voce per gli sviluppatori con un background linguistico convenzionale."

Le specifiche tecniche delineate nel lancio del 5 gennaio comprendono una serie di miglioramenti al linguaggio di Cairo, tra cui sintassi e costrutti linguistici migliorati, un sistema di tipi olistico, librerie intuitive, codice ottimizzato e tipizzazione forte richiedendo la specifica dei tipi di dati.

StarkNet ha evidenziato Sierra - che sta per Safe Intermediate Representation - come la principale aggiunta alla revisione del Cairo. Sierra funge da nuovo livello di rappresentazione intermedio tra Cairo 1.0 e il byte code Cairo.

Come ha spiegato Ben-Sasson, Sierra è un aspetto importante per garantire una rete senza autorizzazione. L'aggiornamento consente di includere le transazioni ripristinate nei blocchi StarkNet, aiutando il protocollo a evitare l'aggiunta di complessi "meccanismi cripto-economici".

Correlato: StarkNet rende Cairo 1.0 open source come primo passo verso il controllo della comunità

Ben-Sasson ha affermato che Sierra consentirà a StarkNet di "ereditare la piena resistenza alla censura di Ethereum" e protegge principalmente dagli attacchi denial-of-service di Sequencer.

As precedentemente riportato da Cointelegraph, Ben-Sasson ha aperto la strada ZK-STARK crittografia insieme ad altri informatici. Zero-Knowledge Scalable Transparent Arguments of Knowledge è un sistema di prova che crittografa e verifica i dati delle transazioni per fornire sicurezza, scalabilità e resistenza al calcolo quantistico.

Secondo StarkNet, Cairo è la quarta lingua di contratto intelligente più popolare per valore totale bloccato. È la base di applicazioni che hanno elaborato oltre 300 milioni di transazioni, coniato 90 milioni di token non fungibili e facilitato $ 790 milioni di scambi regolati su Ethereum.