ZK är en kraftfull lösning på många av blockkedjans utmaningar. Cairo är ett ZK-vänligt programmeringsspråk. Kairos största fördel för ZK: Det är som CUDA men för ZK. Cuda är språket för att skriva effektiv kod för GPU. Kairo är likadant för ZK.