In breve: il fondatore di Cardano, Charles Hoskinson, afferma di star sviluppando personalmente un linguaggio di programmazione che combina intenti di transazione, dati di prova e prove Groth16.
Charles Hoskinson torna a scrivere. Il fondatore di Cardano afferma di stare lavorando direttamente con Lucas Rosa, ingegnere di Input Output Global, a un nuovo linguaggio di programmazione con l'obiettivo di semplificare l'espressione e la verifica di operazioni complesse sulla blockchain .
La sua descrizione unisce tre idee. Gli intenti di transazione descrivono ciò che un utente desidera ottenere senza costringerlo a specificare ogni singolo passaggio dell'esecuzione. I dati di prova allegano la prova che un calcolo o un'azione soddisfa determinate regole. Le prove Groth16 sono prove crittografiche compatte che possono essere verificate in modo efficiente.
In linea di principio, questi componenti potrebbero offrire agli sviluppatori di Cardano un altro modo per creare applicazioni che coordinano le azioni e verificano i risultati senza dover inserire ogni calcolo sottostante sulla blockchain .
C'è però un'importante precisazione da fare: Hoskinson non ha ancora rilasciato pubblicamente una specifica definitiva, un nome per il linguaggio o una tempistica per l'accesso generale degli sviluppatori. Un annuncio sui social media relativo a lavori in corso non equivale a un nuovo ambiente di programmazione per la produzione.
Cardano supporta già strumenti come Plutus e Aiken, mentre la rete per la privacy Midnight utilizza strumenti di sviluppo proprietari. Un nuovo linguaggio dovrebbe dimostrare vantaggi pratici, una sicurezza efficace e un'esperienza di sviluppo sufficientemente valida da incentivarne l'adozione.
L'idea è ambiziosa. La domanda a cui non è ancora stata data risposta è come si passi dalla descrizione di Hoskinson a un codice pubblicamente consultabile che gli sviluppatori possano effettivamente utilizzare.
Articolo scritto dalla redazione e curato da Samuel Rae.