ZK 是解決許多區塊鏈挑戰的強大解決方案。Cairo 是一種對 ZK 友好的程式語言。 Cairo 對 ZK 的最大優勢：它就像 CUDA，但針對 ZK。 Cuda 是用來為 GPU 編寫高效代碼的語言。Cairo 也是如此，針對 ZK。