ZK este o soluție puternică la multe dintre provocările blockchain-ului. Cairo este un limbaj de programare prietenos cu ZK. Cel mai mare avantaj al lui Cairo pentru ZK: este ca CUDA, dar pentru ZK. Cuda este limbajul care scrie cod eficient pentru GPU. Cairo este la fel, pentru ZK.