Lib.rs

Sierra 是高级Cairo和编译目标（如 CASM）之间的中间表示。Sierra 代码在结构上保证了“安全性”*。Sierra 具有原始而丰富的类型系统，可以表达所有高级代码，同时保证安全性和允许高效编译到目标。

安全性 - 这意味着一些事情

1. 没有“恐慌”/“运行时错误”。每个函数都有保证返回。
2. 没有无限循环。此外，每个程序“计算”自己的步骤，并在达到限制时返回。
3. 内置库函数总是被正确使用。