ZK is een krachtige oplossing voor veel van de uitdagingen van blockchain. Cairo is een ZK-vriendelijke programmeertaal. De grootste voordelen van Cairo voor ZK: Het is als CUDA, maar voor ZK. Cuda is de taal om efficiënte code voor GPU te schrijven. Cairo is hetzelfde, voor ZK.