ZK er en kraftfull løsning på mange av blokkjedekjedens utfordringer. Cairo er et programmeringsspråk som er vennlig for ZK. Kairos største fordel for ZK: Det er som CUDA, men for ZK. Cuda er språket for å skrive effektiv kode for GPU. Kairo er det samme, for ZK.