ZK dans TEE. Un autre cas de cryptographie composable 1+1 > 2