Solidity est un langage de programmation orienté contrat conçu pour se compiler en bytecode EVM. Un contrat intelligent est un code déployé en chaîne qui peut maintenir un état persistant et réagir aux appels externes. La syntaxe Solidity définit : (1) la gestion des versions du compilateur via pragma, (2) la structure du contrat (variables d'état, fonctions, événements, modificateurs) et (3) l'interface entre les transactions hors chaîne et l'exécution en chaîne via les signatures de fonction.
Pragma et déterminisme de compilation