Blockchain e Smart contract: un esempio di applicazione in linguaggio Solidity

L'ambito di questa tesi è quello delle blockchain, degli smart contract, e la loro scrittura in un linguaggio di programmazione. Il linguaggio scelto per questa tesi è Solidity e ciò è anche legato alla selezione dell'IDE web Remix, dedicato a Solidity per l'appunto. L'obiettivo di questa tesi è quello di conoscere il panorama tecnologico delle blockchain, il legame con gli smart contract e realizzare uno smart contract in linguaggio Solidity, che permetta di forzare la conformità dei processi ad un dato digramma di coreografia. Nel capitolo 2 introdurremo le blockchain, gli smart contract ed Ethereum analizzandone alcuni aspetti specifici. Nel capitolo 3 introdurremo le basi del linguaggio Solidity e analizzeremo la scelta di Remix rispetto al suo concorrente Truffle. Nel capitolo 4 introdurremo la notazione BPMN, orchestrazione e coreografia. Nel capitolo 5 vedremo il codice dello smart contract sviluppato al fine di forzare la conformità dei processi alla coreografia data. Nel capitolo 6 vedremo gli strumenti messi a disposizione dal linguaggio Solidity e i suoi punti a sfavore. Nel capitolo 7 vedremo le conclusioni e gli spunti di ulteriore sviluppo