ZK em TEE. Outro caso de criptografia composável 1+1 > 2