前言

在 2020 年，StarkWare 发布了 Cairo 0，这是一种支持可验证计算的图灵完备的编程语言。最初，Cairo 是一门汇编语言，随着语法元素的增加逐渐变得更具表现力。但 Cario 0.x 属于低级语言，其没有完全抽象出为程序执行建立证明所需要的密码学原语，这导致 Cairo 0 的学习曲线非常陡峭。

随着 Cairo 1 的发布，开发者的体验获得了相当高的提升。这是因为 Cairo 1 尽可能抽象了 Cairo 架构中的不可变内存模型。受到 Rust 语言极大的启发，Cairo 1 的目标是帮助开发者在不了解底层架构的背景下构造可证明的程序，这使得开发者更加专注于程序本身，从而尽可能提高 Cairo 的整体安全性。得益于 Rust VM ，Cairo 程序的执行速度快得惊人，允许开发者在不影响性能的情况下构造大量的测试。