Contratto intelligente (eBook)

Sfruttare la potenza dell'automazione decentralizzata nella tecnologia blockchain

Fouad Sabry (Autor)

eBook Download: EPUB

2025 | 1. Auflage
230 Seiten
Un Miliardo Di Ben Informato [Italian] (Verlag)
978-0-00-101502-9 (ISBN)

Infos

Esplora il mondo all'avanguardia di Ethereum Classic e degli smart contract con questa guida completa. 'Smart Contract' offre ai lettori una comprensione approfondita di come Ethereum Classic stia rivoluzionando le applicazioni decentralizzate e la finanza. Che tu sia un professionista della tecnologia blockchain, uno studente universitario o laureato, o un appassionato, questo libro è la tua porta d'accesso per padroneggiare gli smart contract e il più ampio ecosistema blockchain.

Smart contract-comprendi i fondamenti degli smart contract, le loro capacità di automazione e il loro ruolo nelle reti blockchain.

Chainlink (oracolo blockchain)-scopri come Chainlink collega gli smart contract ai dati del mondo reale, migliorando le funzionalità della blockchain.

Normativa sulla tecnologia dei registri distribuiti-approfondisci gli aspetti legali delle tecnologie dei registri distribuiti e il panorama normativo emergente.

Hyperledger-scopri l'impatto di Hyperledger sullo sviluppo della blockchain per soluzioni aziendali, offrendo scalabilità e sicurezza.

Joseph Lubin (imprenditore)-Esplora i contributi di Joseph Lubin allo sviluppo di Ethereum e della blockchain, guidando l'ecosistema in avanti.

Ethereum-Approfondisci le fondamenta di Ethereum, la sua piattaforma decentralizzata e il suo ruolo trasformativo nell'innovazione blockchain.

Finanza decentralizzata-Scopri i principi della finanza decentralizzata (DeFi) e come rimodella i servizi finanziari tradizionali.

Criptovaluta-Approfondisci le criptovalute, la tecnologia blockchain alla base di esse e come alimentano le economie decentralizzate.

Counterparty (piattaforma)-Scopri la piattaforma Counterparty e il suo approccio innovativo alla creazione di asset digitali sulla blockchain di Bitcoin.

Applicazione decentralizzata-Comprendi le applicazioni decentralizzate (dApp), il loro potenziale e il loro funzionamento su Ethereum Classic.

Portafoglio di criptovalute-scopri i diversi tipi di portafoglio di criptovalute e le loro caratteristiche di sicurezza negli ecosistemi blockchain.

Criptoeconomia-esamina l'intersezione tra economia e blockchain, concentrandosi su incentivi, tokenomica e governance decentralizzata.

Solidity-padroneggia Solidity, il linguaggio di programmazione alla base degli smart contract di Ethereum, e il suo ruolo nello sviluppo della blockchain.

Gavin Wood-scopri il lavoro pionieristico di Gavin Wood su Ethereum, dalla creazione della rete allo sviluppo di Solidity.

Blockchain-esplora il panorama più ampio della blockchain, inclusi i meccanismi di consenso, la sicurezza e le sue applicazioni oltre le criptovalute.

Organizzazione autonoma decentralizzata-comprendi le DAO, la loro struttura, la governance e il loro impatto sul processo decisionale decentralizzato.

Smart bond (finanza)-scopri come gli smart bond sfruttano la tecnologia degli smart contract per rivoluzionare il settore finanziario.

Ethereum Classic-Approfondisci le caratteristiche uniche di Ethereum Classic, le sue origini e il suo impatto continuo sul mondo della blockchain.

Cardano (piattaforma blockchain)-Approfondisci la conoscenza della piattaforma blockchain di Cardano e di come si confronta con Ethereum Classic in termini di scalabilità e sicurezza.

Tezos-Scopri di più su Tezos, la sua blockchain auto-modificante e come affronta alcune delle sfide di Ethereum.

The DAO-Studia il famigerato attacco informatico al DAO e le sue profonde implicazioni sullo sviluppo e la governance di Ethereum Classic.

Textauszug

Capitolo 1 :Contratto intelligente

Il termine "smart contract" si riferisce a un programma per computer o a un protocollo di transazione progettato per eseguire, controllare o documentare automaticamente eventi e agisce in conformità con le condizioni di un contratto o di un accordo. Una riduzione della necessità di intermediari di fiducia, dei costi associati all'arbitrato e delle perdite subite a causa di frodi sono alcuni degli obiettivi degli smart contract. Inoltre, gli smart contract mirano a ridurre il numero di eccezioni intenzionali e involontarie. Esiste un'associazione diffusa tra smart contract e criptovalute. Gli smart contract introdotti da Ethereum sono solitamente ritenuti un elemento essenziale per le applicazioni che coinvolgono la finanza decentralizzata (DeFi) e i token non fungibili (NFT).

Il protocollo Bitcoin è descritto come una forma povera del concetto di smart contract, come è stato inizialmente definito da Nick Szabo nel white paper di Ethereum scritto da Vitalik Buterin nel 2014. Tuttavia, Buterin ha presentato una versione più forte del concetto di smart contract che è stato costruito sul linguaggio Solidity, che è progettato per essere completo di Turing. Da allora, un certo numero di criptovalute diverse hanno iniziato a consentire linguaggi di programmazione che consentono la creazione di contratti intelligenti più sofisticati tra parti di cui non ci si può fidare.

Uno smart contract non deve essere confuso con uno smart legal contract, che è un accordo tradizionale e legalmente vincolante che è scritto in linguaggio naturale e ha termini selezionati che sono dichiarati e implementati in codice leggibile dalle macchine.

Nick Szabo ha iniziato a usare il termine "smart contract" nel 1996 per riferirsi ai contratti che sarebbero stati applicati da una proprietà fisica (come hardware o software) piuttosto che dalla legge. A partire da quell'anno, il termine è diventato ampiamente utilizzato. Un buon esempio di questa idea è stato fornito da Szabo sotto forma di distributori automatici. La parola è stata usata per la prima volta nel 1998 per riferirsi agli oggetti che si trovavano nel livello del servizio di gestione dei diritti del sistema noto come The Stanford Infobus, che era anche un componente dello Stanford Digital Library Project.

Nella maggior parte dei casi, uno smart contract non stabilisce un accordo legalmente vincolante che sia accettabile ai sensi della legge. Sono stati fatti suggerimenti per governare gli smart contract.

Piuttosto che essere accordi legali, gli smart contract sono transazioni che vengono eseguite automaticamente da un programma informatico o da un protocollo di transazione. Ciò include i mezzi tecnologici per l'automazione delle responsabilità di pagamento, come il trasferimento di criptovalute o altri token. Gli smart contract non sono legalmente vincolanti. È stato proposto da alcuni accademici che la natura imperativa o dichiarativa dei linguaggi di programmazione potrebbe avere un effetto sulla legittimità legale degli smart contract.

Dal debutto della blockchain di Ethereum nel 2015, l'espressione "smart contract" è stata utilizzata per riferirsi ai calcoli eseguiti su una blockchain per scopi generali. Secondo il National Institute of Standards and Technology degli Stati Uniti, uno "smart contract" è definito come una "raccolta di codice e dati (a volte indicati come funzioni e stato) che viene distribuito utilizzando transazioni firmate crittograficamente sulla rete blockchain". Il termine "smart contract" si riferisce a qualsiasi tipo di programma informatico che utilizza una blockchain, secondo questa visione. Poiché la sua esecuzione e gli effetti definiti (come il trasferimento di token tra le parti) non possono essere manipolati senza modificare la blockchain stessa, uno smart contract può anche essere considerato una stored procedure sicura. Questo perché la loro esecuzione e i loro effetti non possono essere alterati. Secondo questa comprensione, la piattaforma stessa è responsabile del controllo e della verifica dell'esecuzione dei contratti; I programmi casuali lato server che si connettono alla piattaforma non sono responsabili di ciò.

"Anche se gli smart contract possono sembrare nuovi, il concetto è radicato nel diritto contrattuale di base", ha affermato un rapporto pubblicato dal Senato degli Stati Uniti nel 2018. È prassi abituale avere un'altra opzione di arbitrato, in particolare per le transazioni estere, oltre al sistema giuridico, che è spesso responsabile della risoluzione delle controversie commerciali e dell'applicazione delle condizioni. Quando si utilizzano contratti intelligenti, un programma è responsabile dell'applicazione del contratto contenuto nel codice. Negli Stati Uniti d'America, gli stati di Arizona, Iowa, Nevada, Tennessee e Wyoming sono tra quelli che hanno emanato una legislazione in materia di utilizzo degli smart contract.

Secondo la Task Force per la giurisdizione del Regno Unito (UKJT), le regole per la risoluzione delle controversie digitali (note anche come norme per il DR digitale) sono state emanate nell'aprile 2021. Lo scopo di queste regole era quello di facilitare la rapida risoluzione delle questioni legali relative alla blockchain e alle criptovalute nel Regno Unito.

Uno smart contract può essere distribuito su una blockchain in modo analogo al trasferimento di valore su una blockchain. Ciò si ottiene inviando una transazione da un portafoglio associato alla blockchain. Oltre a un indirizzo univoco del destinatario, la transazione contiene il codice che è stato compilato per lo smart contract. Successivamente, la transazione in questione deve essere incorporata in un blocco che viene inserito nella blockchain. A questo punto, verrà eseguito il codice dello smart contract in modo da stabilire lo stato iniziale dello smart contract. Gli smart contract sono protetti da qualsiasi tentativo di manipolarli in modo decentralizzato utilizzando algoritmi tolleranti ai guasti basati sull'algoritmo bizantino. Non è possibile apportare modifiche a uno smart contract dopo che è stato implementato. Gli smart contract memorizzati su una blockchain hanno la capacità di eseguire qualsiasi calcolo e memorizzare stati arbitrari. Attraverso l'uso delle transazioni, i clienti finali interagiscono con uno smart contract. Transazioni simili che utilizzano uno smart contract hanno il potenziale per invocare ulteriori smart contract. Lo stato dello smart contract potrebbe essere alterato a seguito di queste transazioni e le monete potrebbero essere trasferite da uno smart contract all'altro o da un account all'altro.

La blockchain di Ethereum è la blockchain più utilizzata per il funzionamento degli smart contract. Su Ethereum, gli smart contract sono spesso scritti in un linguaggio di programmazione noto come Solidity, che è un linguaggio Turing-completo. Questi contratti vengono poi compilati in bytecode di basso livello, che consentono alla Ethereum Virtual Machine di svolgere i suoi scopi. La Turing-completezza è un rischio che viene intenzionalmente evitato da linguaggi come Vyper poiché si ritiene che sia un rischio dovuto al problema dell'arresto e ad altre considerazioni di sicurezza. Simplicity, Scilla, Ivy e Bitcoin Script sono alcuni esempi di linguaggi di programmazione aggiuntivi per contratti intelligenti che non possiedono la completezza di Turing. Le ricorsioni e i cicli sono strutture legate al problema dell'arresto. Tuttavia, le misurazioni effettuate nell'anno 2020 utilizzando espressioni regolari hanno rivelato che solo il 35,3% dei 53.757 smart contract Ethereum esistenti all'epoca presentava questi costrutti.

Bamboo, IELE, Simplicity, Michelson (che può essere dimostrato utilizzando Coq), Liquidity (che si compila in Michelson), Scilla, DAML e Pact sono alcuni dei linguaggi che sono stati destinati a supportare la verifica formale.

Al fine di soddisfare i requisiti della tolleranza ai guasti bizantina, i processi che vengono eseguiti su una blockchain sono spesso deterministici. D'altra parte, l'implementazione di contratti intelligenti nel mondo reale, come casinò e lotterie, richiede l'applicazione della casualità sicura. In effetti, la tecnologia blockchain riduce al minimo le spese associate al funzionamento di una lotteria, il che è vantaggioso per le persone che partecipano alla lotteria. L'implementazione della casualità su blockchain può essere realizzata utilizzando hash a blocchi o timestamp, oracoli, schemi di impegno, contratti intelligenti speciali come RANDAO e Quanta e sequenze derivate da equilibri di Nash a strategia mista.

Utilizzando catene di hash crittografiche e la replica bizantina tollerante ai guasti, Szabo ha postulato nel 1998 che l'infrastruttura dei contratti intelligenti potrebbe essere raggiunta attraverso registri di asset replicati e l'esecuzione dei contratti. Questa strategia consentirebbe l'esecuzione dei contratti. Nel 2002, Askemos ha implementato questa strategia utilizzando Scheme come linguaggio di script per contratti, con l'aggiunta successiva di SQLite.

Il termine "monete colorate" si riferisce a un piano che include l'utilizzo di Bitcoin allo scopo di replicare la registrazione degli asset e l'esecuzione del contratto. L'implementazione di titoli duplicati per tipi di proprietà potenzialmente arbitrari, oltre all'esecuzione di contratti replicati, appare in una varietà di progetti.

Nel 2015 UBS ha condotto esperimenti con gli "smart bond", che si basano sulla tecnologia blockchain del bitcoin. Queste obbligazioni hanno il potenziale per automatizzare...

Produkt-Details

• Erscheint lt. Verlag: 13.8.2025
• Übersetzer: Cosimo Pinto
• Sprache: italienisch
• Themenwelt: Informatik ► Netzwerke ► Sicherheit / Firewall
• ISBN-10: 0-00-101502-8 / 0001015028
• ISBN-13: 978-0-00-101502-9 / 9780001015029