ZK là một giải pháp mạnh mẽ cho nhiều thách thức của blockchain. Cairo là một ngôn ngữ lập trình thân thiện với ZK. Lợi thế lớn nhất của Cairo cho ZK: Nó giống như CUDA nhưng dành cho ZK. Cuda là ngôn ngữ để viết mã hiệu quả cho GPU. Cairo cũng vậy, dành cho ZK.