原文：[Moving form Solidity to Cairo](https://medium.com/starkware/moving-from-solidity-to-cairo-7d44f9723c68) **翻译及校对**：「StarkNet 中文社区」  ## 概要 - Starknet 影响力日益...
...容，速度快 | | **Starknet** | ZK Rollup | 采用 Cairo 语言，创新性强 | | **Linea** | ZK Rollup | ConsenSys 出品，兼容性强 | *** ### L2 对用户意味着什么？ * 手续费更便宜：几分钱就能转账 / Mint * 速度更...
...态变量、执行合约设置任务、进行跨合约交互等等。 在 Cairo 中，构造函数使用合约 `mod` 块内的 `#[constructor]` 属性定义。 本文将介绍构造函数在 Cairo 中如何工作，初始化合约状态的规则，以及构造函数返回值与 Solidity 的不同...
# 深入探索 Cairo 编程语言：Starknet 的基础与实践 ## `Cairo` `Cairo` 和 `Cairo` 实战 ### 主题 1. 什么是`Cairo` 2. `Field Element` 3. `Starklings` 介绍 4. 实战 #### 什么是`Cairo` ## [What is Cairo?](https://book.cairo-lang.org/ch00-00-introduction.html#...
...ases/tag/v2.0.1): 添加了 Foundry 支持，错误修复 * OpenZeppelin [Cairo v0.1.0 合约](https://blog.openzeppelin.com/announcing-openzeppelin-contracts-for-cairo/): 账户抽象、ERC20 和 ERC721 实现，Ownable, Pausable, SafeMath 和 代理 * [GitPOAP](https://medium.com/gitpoap/gitpoap...
...函数返回，以防你想知道为什么返回语句消失了。 ### [Cairo](https://www.cairo-lang.org/) 由 [Starkware](https://starkware.co/) 提供 Starknet是另一个L2。 这个名字是中央处理单元代数中间表示的合成词。中间表示语言用于“略低于汇编”...
...帮助，请与我们合作： - 智能合约审计（Solidity、Rust、Cairo） - 高级安全测试套件（模糊测试、不变性测试 + 形式验证） - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/ZealynxSe...
...将带你深入了解我们如何开发 Medjai，这是一个用于查找 Cairo 程序中的错误的新符号执行工具。我们的旅程将从乘坐直升机快速俯瞰Cairo开始。在途中，我们将瞥见宏伟著名的 **OpenZeppelin**，并看看一个奇特的错误是在古老的 GitHu...
...和多样性有了显著增长。许多电路语言的发展，如 Noir、[Cairo](https://learnblockchain.cn/search/all?word=Cairo)和 Leo，表明了该领域的活跃程度。这种语言的增多使得我们可以比较和对比它们的特性、相似之处和差异。通过对这些语言进行...
## 介绍：Starknet 和 Cairo 执行 Starknet 是一个以太坊第二层（L2）协议，利用加密 STARK 证明（**S** uccinct **T** ransparent **A** rguments of **K** nowledge）来实现可验证的大规模计算。与其他 L2 区块链一样，Starknet 能够为 L2 事务提供有意义...
Cairo 不提供像 Solidity 那样完整的整数大小范围。虽然 Solidity 为每个 8 的倍数直到 256 位都提供了整数类型，但 Cairo 仅支持以下整数类型： - `u8` - `u16` - `u32` - `u64` - `u128` - `u256` **对于熟悉 Rust 的读者来说，`usize` 类型是一个 u32...
...式承诺、查找表、更灵活的递归证明以及硬件加速 - ·[Cairo 程序执行](https://arxiv.org/abs/2109.14534)的正确性证明 ## 开发者材料 - Solidity [v0.8.8](https://blog.soliditylang.org/2021/09/27/solidity-0.8.8-release-announcement/) 以及 [v0.8.9](https://blog.so...
...z/)) @ imToken Labs ## Intro StarkNet OS（Operating System） 主要由 Cairo 這個 StarkNet 的原生語言寫成，Cairo 就像 StarkNet 上的 Solidity，能夠用來撰寫（Cairo-based）智能合約，但同時也是一個零知識證明語言，可以用於構建 StarkNet 核心的作業...
Cairo 没有像 Solidity 那样的 "internal" 和 "pure" 修饰符（或者任何其他修饰符）。 回想一下，用 `#[abi(embed_v0)]` 标记一个 `impl` 块会告诉 Cairo 将其函数包含在合约的 ABI (应用程序二进制接口) 中，从而使它们可以从合约外部调用。此...