"Validación" es un término sobrecargado aquí, creo. Simplemente significa, potencialmente, demasiadas cosas posibles que son preocupaciones separadas manejadas por diferentes medios.
- ¿Es un contrato válido? Es decir, ¿puede funcionar?
- ¿Estamos de acuerdo con lo que hace? ¿Es justo o engaña a la gente?
- ¿Qué impide que los contratos deshonestos hagan cosas con las que no estamos de acuerdo?
- ¿Funciona o da error por alguna razón?
Estas preocupaciones y más se tratan de diferentes maneras. Ninguna de las soluciones implica una autoridad central o un comité que vigile el espacio.
- Una implementación de contrato es una transacción especialmente diseñada que envía el contrato compilado a la dirección 0x0. Si esto tiene un formato incorrecto, todos los nodos estarán de acuerdo en que la transacción no tiene sentido, por lo que el contrato no existe en la cadena de bloques. El fin.
- Un contrato puede programar procesos con los que no necesariamente estamos de acuerdo. Esto puede incluir empresas con las que no estamos de acuerdo por motivos éticos. Sin embargo, no puede incluir acciones que están prohibidas a nivel de protocolo.
- Los contratos no son todopoderosos y no pueden anular simplemente el protocolo. Por ejemplo, ningún contrato puede simplemente gastar fondos para apoderarse de fondos de la billetera de otra persona.
- Los contratos mal escritos no necesariamente funcionan según lo previsto. Pueden incluir instrucciones ilógicas (dividir por cero) que hacen que las transacciones simplemente fallen. Dado que los contratos no se pueden modificar (generalmente), la garantía de calidad es vital cuando se trabaja con este tipo de software.
Espero eso ayude.