Los contratos inteligentes, son programas informáticos. No están escritos en lenguaje natural, sino en código virtual. Son un tipo de software que se programa, como cualquier otro software, para
llevar a cabo una tarea o serie de tareas determinadas de acuerdo a las instrucciones previamente introducidas.