ZK es una solución poderosa para muchos de los desafíos de la blockchain. Cairo es un lenguaje de programación amigable con ZK. La mayor ventaja de Cairo para ZK: es como CUDA pero para ZK. CUDA es el lenguaje para escribir código eficiente para GPU. Cairo es lo mismo, para ZK.