ZK è una soluzione potente per molte delle sfide della blockchain. Cairo è un linguaggio di programmazione compatibile con ZK. Il più grande vantaggio di Cairo per ZK: è come CUDA ma per ZK. Cuda è il linguaggio per scrivere codice efficiente per GPU. Cairo è lo stesso, per ZK.