Cairo 是第一個能夠讓每個程序自動生成正確執行證明的編程語言。就像 Rust 提供內存安全一樣，Cairo 提供零知識證明。然而，大多數人仍然不理解這意味著什麼。