O ZK é uma solução poderosa para muitos dos desafios do blockchain. Cairo é uma linguagem de programação amigável para ZK. A maior vantagem do Cairo para ZK: é como CUDA, mas para ZK. CUDA é a linguagem para escrever código eficiente para GPU. Cairo é igual, para ZK.