## 介绍：Starknet 和 Cairo 执行 Starknet 是一个以太坊第二层（L2）协议，利用加密 STARK 证明（**S** uccinct **T** ransparent **A** rguments of **K** nowledge）来实现可验证的大规模计算。与其他 L2 区块链一样，Starknet 能够为 L2 事务提供有意义...
...ps://docs.starknet.io/ + OpenZeppelin Git https://github.com/OpenZeppelin/cairo-contracts/tree/cairo-2 + Cairo book https://book.cairo-lang.org/ + WTF Cairo https://github.com/WTFAcademy/WTF-Cairo ## 安装 ### Starkli 安装 `Starkliup`是`Starkli`环境的安装程序，可以使用`cu...
...──────────────────┐ │ Host: Cairo 虚拟机 │ │ (STARK 友好的指令集) │ │ │ │ 执行以下 Guest 程序： │ │ ┌──────...
> 此文章使用的Cairo编译器版本：1.0.0-alpha.6。因为Cairo正在快速更新，所以不同版本的语法会有些许不同，未来将会将文章内容更新到稳定版本。 变量是编程语言中最基本的元素。 ## 基本使用 创建一个变量 use debug::P...
...将带你深入了解我们如何开发 Medjai，这是一个用于查找 Cairo 程序中的错误的新符号执行工具。我们的旅程将从乘坐直升机快速俯瞰Cairo开始。在途中，我们将瞥见宏伟著名的 **OpenZeppelin**，并看看一个奇特的错误是在古老的 GitHu...
## 引言 在这篇文章中，我们将会探讨Cairo 1.0，Starknet的原生语言。我们将对 Cairo和Starknet进行简要介绍，探索 Cairo的一些安全特性，并审视在 Cairo中编写合约时可能遇到的一些潜在陷阱。对于任何考虑在 Cairo中编写合约的人来说...
...少目前阶段不要使用) 因为starknet使用了新的开发语言cairo，所以对以太坊solidity合约无法直接迁移。新语言cairo不仅仅是开发语言的转变，而且整个开发工具链都发生了变化，其原因是cairo属于python体系所以工具链都采用了python...
Cairo 不提供像 Solidity 那样完整的整数大小范围。虽然 Solidity 为每个 8 的倍数直到 256 位都提供了整数类型，但 Cairo 仅支持以下整数类型： - `u8` - `u16` - `u32` - `u64` - `u128` - `u256` **对于熟悉 Rust 的读者来说，`usize` 类型是一个 u32...
...n.cn/attachments/2024/08/aQ85xiFK66b21b4466886.png) 代码 src/counter.cairo ```rust #[starknet::interface] trait ICounter { fn get_counter(self: @TContractState) -> u32; } #[starknet::contract] mod Counter { use super::ICounter; #[storage] struct Storage { ...
...始开发 [Warp](https://github.com/NethermindEth/warp)，一个 EVM 到 Cairo 的转换器。我们刚刚发布了一个 [演示](https://github.com/NethermindEth/warp/tree/main/examples/ERC20)，演示将一个 ERC20 Solidity 合约转换到 Cairo 并部署到 StarkNet。在这篇博客中，我...
本文展示了如何为 Starknet 构建一个可部署的 Cairo 合约。从一个简单的草图开始，我们将逐步添加特性，以构建一个可用的合约，演示 Cairo 合约的核心构建块。 该合约将有一个计数器变量，该变量可以增加任意数量，还有一个...
## 第三部分：通过 Sierra 成为更好的 Cairo 开发者  ## 介绍 在[本系列的第一篇博文](https://medium.com/nethermind-eth/under-the-hood-of-cairo-1-0-exploring-sierra-7f32808421f5)中，我们介绍了 S...
...mmTYA5SFGCieMS8Tvqlg.jpeg) 几周前，在开发了一个EVM字节码到Cairo转译器的初步草图后，StarkWare将工作交接给了Nethermind的Nubia团队。我们一直在致力于Warp转译器，以架起EVM兼容语言与StarkNet之间的桥梁。本文将简要介绍zk-STARKs和Cairo...
> 此文章使用的Cairo编译器版本：1.0.0-alpha.6。因为Cairo正在快速更新，所以不同版本的语法会有些许不同，未来将会将文章内容更新到稳定版本。 ## 单文件Cairo程序入口 与大多数编程语言类似，单文件的Cairo程序入口是main函...