I nuovi contratti intelligenti non Turing-completi di Algorand 2.0 sono una funzionalità, non un bug

La blockchain Proof-of-stake Algorand ora supporta i contratti intelligenti.

La Algorand Foundation ha rilasciato un aggiornamento al protocollo della blockchain giovedì, aggiungendo funzionalità Finanza decentralizzata (DeFi) e i tanto attesi smart contract. "Algorand 2.0" è la più grande espansione delle capacità della rete dal lancio della rete nel giugno 2019.

"Con questa versione, nuove funzionalità e semplici risorse per gli sviluppatori consentono nuovi casi d'uso e un'adozione più ampia della blockchain in generale", ha affermato il CEO Algorand Steve Kokinos in un dichiarazione.

Per mesi i dipendenti Algorand sono stati accennarein attesasviluppoÈ la prima volta che Algorand supporta gli smart contract, i contratti basati sul codice che possono tracciare ed eseguire i termini degli accordi formali nel tempo.

Gli smart contract ASC di Algorand presentano differenze di back-end rispetto agli smart contract introdotti da blockchain come Ethereum. Questo perché il nuovo linguaggio di programmazione interno di Algorand, Transaction Execution Approval Language (TEAL), è non-Turing-completo.

Tecnicamente unico

La completezza di Turing è una misura della capacità di un linguaggio di programmazione di simulare un altro linguaggio di programmazione ed eventualmente manipolare le proprie istruzioni di programmazione.

Quasi tutti i linguaggi di programmazione moderni sono Turing-completi, ma Algorand decanta la differenza di TEAL come una caratteristica, non un bug. Gli smart contract TEAL sono più sicuri da scrivere ed eseguire, nonostante abbiano una funzionalità potenziale più limitata, sostiene Algorand .

Ad esempio, ASC non può supportarelogica ricorsiva, secondo ilpagina dello sviluppatore.

"T crediamo che turing-complete sia necessario per la maggior parte dei casi d'uso", ha affermato Paul Riegle, responsabile del prodotto presso Algorand. "Aggiunge un'immensa superficie di attacco e un impatto potenzialmente ripido sulle prestazioni".

Una funzionalità più semplice potrebbe significare una migliore sicurezza, o almeno un percorso più diretto per garantire che i programmatori di contratti ASC non perdano inavvertitamente risorse. È più facile e veloce controllare un codice di contratto intelligente per errori quando il suo linguaggio di programmazione esclude la logica ricorsiva, secondoMezzogiorno hacker.

Altri aggiornamenti

La funzione di emissione di asset standard (ASA) apporta funzionalità di tokenizzazione diffuse ad Algorand ed è anche uno strumento DeFi di base.

La fondazionepagina dello sviluppatoreha affermato che qualsiasi risorsa può essere digitalizzata e archiviata on-chain con ASA.

Algorand ha inoltre introdotto la funzionalità di transazione batch con la funzionalità Atomic Transfers, rilasciata giovedì.

Con il nuovo strumento, gli utenti possono eseguire trasferimenti di token complessi, come operazioni circolari e regolamenti di conti interni, in ONE transazione, pagina dello sviluppatore disse.

La fondazione ha affermato che Algorand 2.0 non ha alcun impatto su Algorand conformità alla shariacertificazione, mentre le altre caratteristiche fondamentali restano invariate.

Algorand ha una capitalizzazione di mercato di 108 milioni di dollari, secondo Nomicae si classifica come la 48a blockchain più grande, secondoCoinMarketCap.