ZK to potężne rozwiązanie wielu wyzwań związanych z blockchainem. Cairo to język programowania przyjazny dla ZK. Największą zaletą Cairo dla ZK: To jak CUDA, ale dla ZK. Cuda to język do pisania wydajnego kodu dla GPU. Cairo jest tym samym, dla ZK.