ZK 是解决区块链许多挑战的强大方案。Cairo 是一种 ZK 友好的编程语言。 Cairo 对 ZK 的最大优势：它就像 CUDA，但用于 ZK。 CUDA 是编写高效 GPU 代码的语言。Cairo 也是如此，针对 ZK。