La nuova libreria di smart contract di Cardano supera l’obiettivo iniziale

L’iniziativa ContractsLibrary di Cardano ha preparato sei smart contract riutilizzabili, superando l’obiettivo iniziale di cinque. Robertino Martinez, che guida l’iniziativa Developer Experience presso AlwaysTrue, ha rivelato i progressi durante la discussione su X Space Decentralizing Cardano’s Core Development.

La libreria punta a offrire agli sviluppatori componenti di smart contract pronti da integrare, invece di richiedere loro di creare da zero funzionalità comuni. Ispirato all’approccio di OpenZeppelin nell’ecosistema Ethereum, il progetto combina codice on chain, strumenti per la costruzione delle transazioni, specifiche tecniche e verifica formale.

I sei contratti hanno raggiunto la fase finale di revisione del codice e delle specifiche. Martinez ha sottolineato che non hanno ancora completato gli audit di sicurezza e non dovrebbero essere distribuiti su Cardano mainnet.

Sei contratti si avviano ai test pubblici

ContractsLibrary doveva inizialmente consegnare cinque smart contract riutilizzabili. Secondo Martinez, il team di sviluppo ne ha preparati sei e ha avviato i controlli finali di qualità in vista di test più ampi da parte della community.

L’iniziativa si concentra su componenti completi e orientati alle applicazioni, invece che su funzioni di programmazione isolate. Gli sviluppatori dovrebbero poter configurare i contratti esistenti, adattarne il codice sorgente oppure combinare componenti per soddisfare diversi requisiti applicativi.

La libreria attinge a modelli di sviluppo già affermati all’interno di Cardano, inclusi i lavori di Anastasia Labs.

Martinez ha anche confermato che il team ad alta affidabilità ha avviato il lavoro di verifica formale. L’attenzione iniziale è rivolta alle proprietà condivise tra i contratti, seguita dalla verifica delle singole implementazioni.

La distinzione tra lavoro di sviluppo completato e idoneità alla produzione resta importante. Sei contratti preparati non significa che sei contratti verificati o sottoposti ad audit siano già disponibili per un uso senza restrizioni.

Uno stack di sviluppo ispirato a OpenZeppelin per Cardano

OpenZeppelin è diventata una risorsa ampiamente utilizzata per componenti riutilizzabili di smart contract in Ethereum e in altri ecosistemi EVM. ContractsLibrary mira a fornire una risorsa di sviluppo comparabile, adattata all’architettura extended UTxO di Cardano.

Ogni implementazione è progettata per combinare diversi elementi collegati.

Il componente on chain utilizza Aiken per definire le regole applicate dal ledger di Cardano. I builder di transazioni off chain, con supporto per MeshJS e Tx3, aiutano le applicazioni a costruire le transazioni necessarie a interagire con quei validator.

Le specifiche tecniche descrivono il comportamento previsto di ciascun contratto, mentre test e verifica formale offrono ulteriori modi per valutare se le implementazioni soddisfino i requisiti definiti.

Il progetto utilizza anche Lean 4 per dimostrazioni verificate a macchina di proprietà selezionate dei contratti.

Questa struttura integrata affronta una sfida pratica nello sviluppo su Cardano, poiché costruire un’applicazione decentralizzata richiede spesso di coordinare la validazione degli smart contract con la costruzione delle transazioni off chain.

Fornendo componenti collegati, ContractsLibrary mira a ridurre il lavoro di sviluppo ripetitivo e a rendere più semplice integrare pattern di contratto comuni in nuove applicazioni.

[NEWSBREAK]

Le revisioni di sicurezza restano il requisito finale

ContractsLibrary fa parte della più ampia iniziativa Developer Experience, che è passata da Input Output ad AlwaysTrue sotto la continua guida di Martinez.

L’iniziativa include altri strumenti come cardano-init, che aiuta gli sviluppatori a generare ambienti di sviluppo Cardano connessi.

Per ContractsLibrary, le priorità immediate sono completare i controlli di qualità del codice, rendere le implementazioni accessibili ai test e proseguire con la verifica formale.

Martinez ha consigliato agli sviluppatori di considerare la release iniziale come un’opportunità di test, non come una libreria pronta per la produzione. Ha inoltre indicato l’imminente hard fork Dijkstra come un ulteriore motivo di cautela, mentre gli strumenti di sviluppo di Cardano si adattano ai prossimi cambiamenti di protocollo.

Il progetto distingue i contratti preparati per gli audit di sicurezza da quelli che hanno completato le revisioni richieste e raggiunto lo stato stabile.

Il suo repository pubblico fornisce codice e documentazione di sviluppo, ma i materiali disponibili non dimostrano che tutti e sei i contratti siano stati rilasciati come implementazioni stabili.

L’aggiornamento di Martinez stabilisce quindi una tappa concreta dello sviluppo, il team ha preparato un contratto in più rispetto a quanto inizialmente previsto. I test pubblici, la verifica individuale e le necessarie revisioni di sicurezza restano passaggi separati prima che quelle implementazioni possano essere considerate componenti pronte per la produzione.