ZK in TEE. Un altro caso di crittografia composabile 1+1 > 2