⚡️ #StarkNetDev 🤖
🤫 我们来玩一玩 Cairo 1.0
Cairo： 用于有效编写 STARK 可验证程序的图灵完整编程语言
Cairo 1.0： 改进后的语言和编译器从头开始构建，更安全、更可用、更像 Rust
🤫 我们来玩一玩 Cairo 1.0
Cairo： 用于有效编写 STARK 可验证程序的图灵完整编程语言
Cairo 1.0： 改进后的语言和编译器从头开始构建，更安全、更可用、更像 Rust
运行示例 
什么叫「更像 Rust」
函数返回值：
在 Rust 中，函数的返回值与函数主体块中的最终表达式的值同义
函数返回值：
在 Rust 中，函数的返回值与函数主体块中的最终表达式的值同义
类型系统：
Cairo 1.0 扩展了单一标量类型 `felt` 的静态类型系统，包括一些抽象的「类似 Rust」数据类型，如 Enums、Traits 和 literals。核心库包括对 u128 和 u256 的支持，以及本地范围检查和算术操作
Cairo 1.0 扩展了单一标量类型 `felt` 的静态类型系统，包括一些抽象的「类似 Rust」数据类型，如 Enums、Traits 和 literals。核心库包括对 u128 和 u256 的支持，以及本地范围检查和算术操作
变量声明：
告别`local`和`tempvar`声明！现在完全依靠`let` 👏👏
现在也可以在同一范围内使用类似 Rust的变量镜像
尽管 Cairo 的底层内存是不可变的，但它对开发者来说是隐藏的
告别`local`和`tempvar`声明！现在完全依靠`let` 👏👏
现在也可以在同一范围内使用类似 Rust的变量镜像
尽管 Cairo 的底层内存是不可变的，但它对开发者来说是隐藏的
数组：
Cairo 1.0 std 库提供了有用的数组工具，让数组的操作更加容易
也将支持循环和迭代机制
Cairo 1.0 std 库提供了有用的数组工具，让数组的操作更加容易
也将支持循环和迭代机制
借用检查：
在没有取得所有权的情况下，一个函数不能使用自有类型的值（如 dict 或 builtin）
在没有取得所有权的情况下，一个函数不能使用自有类型的值（如 dict 或 builtin）
好的，现在明白什么是「更像 Rust」了
那么有什么新东西吗？
那么有什么新东西吗？
Sierra：
安全中间表达式 (S)afe (I)nt(E)rmediate (R)ep(R)esent(A)tion
它是新的编译阶段，让 Cairo 1.0 代码可以被证明
这意味着撤回的交易现在可以被证明，且包括在一个区块中，并保护排序器免受不良交易的干扰
安全中间表达式 (S)afe (I)nt(E)rmediate (R)ep(R)esent(A)tion
它是新的编译阶段，让 Cairo 1.0 代码可以被证明
这意味着撤回的交易现在可以被证明，且包括在一个区块中，并保护排序器免受不良交易的干扰
Cairo 0.x 编译
• Cairo -> CASM(Cairo Assembly)
Cairo 1.0 编译
• Cairo -> Sierra -> CASM
• Cairo -> CASM(Cairo Assembly)
Cairo 1.0 编译
• Cairo -> Sierra -> CASM
• • •
Missing some Tweet in this thread? You can try to
force a refresh
