Ethereum platform and smart contracts

Nel sistema Bitcoin esiste una funzione di transazione di stato che riceve in ingresso uno stato ed una transazione e trasmette un nuovo stato che ne costituisce il risultato.

Si prenda in esempio un sistema bancario dove lo stato è il documento costituente il saldo, la transazione è una richiesta di bonifico, e la funzione di transazione di stato è il movimento del denaro da un conto all’altro. Qualora non ci fosse disponibilità nel conto dell’ordinante la funzione di transazione di stato restituirebbe un errore.
Lo stato nel Bitcoin è la raccolta di tutte le transazioni in uscita (UTXO, Unspent Transaction Output) che sono state effettuate ma non ancora spese, con ogni UTXO che ha una denominazione ed un proprietario.
Una transazione contiene come input tutti i riferimenti ad ogni UTXO ed una firma crittografica prodotta da una chiave privata associata all’indirizzo del proprietario, e come output i nuovi UTXO che devono essere aggiunti allo stato.
Anche in Ethereum viene definita una funzione di transazione di stato che prende in ingresso uno stato e una transazione e restituisce un nuovo stato.

La funzione di transizione di stato in Ethereum:
1. controlla se la transazione è ben impostata, la firma è valida, e il nonce corrisponde a quello dell'account del mittente. In caso contrario, si ha un errore.
2. calcola la commissione di transazione, e determina l'indirizzo del mittente dalla firma. Sottrae la commissione dal bilancio dell'account del mittente e incrementa il nonce del mittente. Se non c'è un bilancio sufficiente da spendere, si ha un errore.
3. toglie una certa quantità di gas per byte per pagare i byte della transazione.
4. trasferisce il valore della transazione dall'account del mittente all'account del destinatario. Se l'account del destinatario non esiste ancora, lo crea. Se l'account del ricevente è un contratto, esegue il codice del contratto sino al completamento del contratto o sino al limite di gas prestabilito dal contratto. Qualora finisse il gas, vengono ripristinati tutti i cambiamenti di stato, tranne il pagamento della commissione che viene aggiunto al conto del miner. Altrimenti, risarcisce al mittente le commissioni per il gas rimanente, ed invia le commissioni pagate per il gas e consumate al miner.