ZK adalah solusi ampuh untuk banyak tantangan blockchain. Kairo adalah bahasa pemrograman yang ramah ZK. Keuntungan terbesar Kairo untuk ZK: Ini seperti CUDA tetapi untuk ZK. Cuda adalah bahasa untuk menulis kode yang efisien untuk GPU. Kairo juga sama, untuk ZK.