Il rinnovamento della programmazione del Cairo da parte di StarkNet, ma perché?

StarkNet è un Validity-Rollup decentralizzato senza autorizzazione. Funziona come una rete L2 su Ethereum. Consente a qualsiasi dApp di raggiungere una scala illimitata per il suo calcolo, senza compromettere la componibilità e la sicurezza di Ethereum.

Dal recente aggiornamento di StarkNet, ha revisionato il suo linguaggio di programmazione Cairo interno per rendere lo sviluppo Web3 accessibile agli sviluppatori. In un post sul blog Medium di StarkWare, Stark-Based scaling solutions, ha delineato gli aggiornamenti a Cairo 1.0.

Secondo il post sul blog, "Gli sviluppatori possono iniziare a scrivere, compilare e testare i programmi Cairo 1.0!" La piattaforma sta incoraggiando gli sviluppatori a iniziare a sperimentare con Cairo 1.0 e ad abituarsi alla nuova sintassi e funzionalità.

Cos'è Il Cairo 1.0?

Cairo è stato introdotto per la prima volta nel 2020 e, dopo l'evoluzione, è ora disponibile la sua prima versione pubblica Cairo 1.0. Inoltre è un "linguaggio di programmazione completo di Turing" per scrivere in modo efficiente programmi dimostrabili con STARK. “Cairo 1.0 è un linguaggio di alto livello simile a Rust. Come Rust, ha lo scopo di consentire agli sviluppatori di scrivere facilmente codice efficiente e sicuro.

Il co-fondatore e presidente di StarkWare, Eli Ben-Sasson, ha condiviso il motivo del rinnovamento di Cairo affermando: "I driver principali sono stati la sicurezza e la facilità d'uso, e condurre la revisione ha rappresentato una straordinaria opportunità per rimuovere la voce per gli sviluppatori con un linguaggio convenzionale sfondi”.

Cairo 1.0 introduce inoltre Sierra, una nuova rappresentazione intermedia che garantisce la prova di ogni corsa Cairo. Ciò rende Cairo 1.0 particolarmente adatto per l'uso in una rete senza autorizzazione come StarkNet, dove può fornire una solida protezione DoS e resistenza alla censura.

Il signor Ben-Sasson ha spiegato Sierra come "un aspetto importante per garantire una rete senza autorizzazione". Inoltre, l'aggiornamento consente di includere le transazioni ripristinate nei blocchi StarkNet, aiutando il protocollo a evitare l'aggiunta di complessi "meccanismi cripto-economici". 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.

Il post sul blog di StarkNet ha anche menzionato che Cairo è la quarta lingua di contratto intelligente più popolare per valore totale bloccato. Ha gestito scambi per oltre 790 miliardi di dollari, elaborato oltre 300 milioni di transazioni e coniato più di 90 milioni di NFT, tutti eseguiti off-chain e regolati su Ethereum con l'integrità matematica garantita dalle prove STARK.

“Tuttavia, StarkNet non supporta ancora l'implementazione e l'esecuzione dei contratti Cairo 1.0. StarkNet Alpha V0.11.0, pianificato nelle prossime settimane, introdurrà la possibilità di implementare ed eseguire i contratti Cairo 1.0. L'aggiornamento alla v0.11.0 segnerà l'inizio del periodo di transizione verso un sistema che esegue solo contratti Cairo 1.0", secondo StarkNet.

Nancy J. Allen è un'appassionata di criptovalute e crede che le criptovalute ispirino le persone a essere le proprie banche e ad allontanarsi dai tradizionali sistemi di scambio monetario. È anche affascinata dalla tecnologia blockchain e dal suo funzionamento.

Ultimi messaggi di Nancy J. Allen (vedere tutte le)