ZK en TEE. Otro caso de criptografía composable 1+1 > 2