Utente:Jk4u59/Sandbox: differenze tra le versioni

Versione delle 16:29, 22 nov 2018

Versione delle 23:38, 26 nov 2018

Riga 1:

[[Ethereum]]{{Linguaggio di programmazione

|nome = Solidity

|immagine = Solidity logo.svg

Riga 18:

}}

'''Solidity''' è un [[linguaggio di programmazione]] di tipo ''contract-oriented'' per la scrittura di [[Smart contract|contratti intelligenti]]. ^[1] Viene utilizzato per l'implementazione di contratti intelligenti ^[2] su varie piattaforme [[blockchain]] . ^[3] ^[4] ^[5]. È stato sviluppato da Gavin Wood, Christian Reitwiessner, Alex Beregszaszi, Liana Husikyan, Yoichi Hirai e diversi ex contributori di [[Ethereum]] per consentire di scrivere contratti intelligenti su piattaforme blockchain come appunto Ethereum. ^[6] ^[7]

== Storia ==

Riga 24:

Al momento, Solidity è il linguaggio principale su Ethereum così come su altri blockchain privati che funzionano su piattaforme in competizione con Ethereum, come Monax ed [[Hyperledger]], la sua blockchain di tipo Burrow, che utilizza Tendermint per consenso. L'organizzazione interbancaria [[Society for Worldwide Interbank Financial Telecommunication|SWIFT]] ha implementato una [[Proof of concept|Proof-of-concep]]<nowiki/>t (dimostrazione prototipale) usando Solidity in esecuzione su Burrow. ^[2] ^[10]

Un ricercatore della [[Cornell University]] ha affermato che Solidity è stato parzialmente incolpato del tentativo di [[Hacker|hackeraggio]] '''''The DAO''''' che ha avuto luogo nel 2016, affermando: "''questo non era in realtà un difetto o un exploit nel contratto DAO stesso: tecnicamente l'EVM funzionava come previsto, ma Solidity stava introducendo falle nella sicurezza in contratti che non solo sono stati ignorati dalla comunità, ma persino dai designer stessi.''" ^[11] ^[12]

== Descrizione ==

Solidity è un linguaggio di programmazione [[Tipizzazione statica|tipizzato staticamente]] progettato per lo sviluppo di contratti intelligenti ([[smart contract]]) eseguiti su EVM. ^[13] ^[14] Solidity è compilato in [[bytecode]] che è eseguibile su EVM. Con Solidity, gli sviluppatori sono in grado di scrivere applicazioni che implementano una logica di business autoconsistente incorporata in contratti intelligenti, lasciando una autorevole registrazione delle transazioni che non è non ripudiabile. ^[15] ^[16] Scrivere contratti intelligenti in linguaggi specifici di questo ambiente, come Solidity, è giudicato “semplice” (ovviamente per coloro che hanno già competenze di programmazione). ^[17]

Come specificato da Wood, è progettato attorno alla sintassi [[ECMAScript]] per renderlo familiare agli sviluppatori web esistenti; a differenza di ECMAScript ha tipizzazione statica e tipi di ritorno variabili. Rispetto ad altri contemporeanei linguaggi di targeting EVM, come Serpent e Mutan, Solidity conteneva una serie di importanti differenze. Sono state supportate variabili con membri complessi per contratti che includono mappature arbitrariamente gerarchiche e strutture. I contratti supportano l' ereditarietà , inclusa l'ereditarietà multipla con la linearizzazione C3 . È stata introdotta anche un'interfaccia binaria applicativa (ABI) che facilita più funzioni di sicurezza del tipo all'interno di un singolo contratto (e successivamente supportata da Serpent). Nella proposta è stato incluso anche un sistema di documentazione per specificare una descrizione incentrata sull'utente delle ramificazioni di una chiamata di metodo, nota come "Natural Language Specification". ^[18] ^[19]

Esempio di un programma Solidity: ^[20] ^[21]