Cairo 是第一个能够让每个程序自动生成正确执行证明的编程语言。就像 Rust 提供内存安全一样，Cairo 提供零知识证明。然而，大多数人仍然不理解这意味着什么。