Arquitectura de Smart Contracts certificada con comportamiento verificado en todos los módulos.