Todo lo que quieren es una programación unificada en enclaves seguros verificada con BARS