## 概述 在1月26日星期日，Starkware告知我们，他们在[Cairo VM](https://github.com/lambdaclass/cairo-vm?ref=blog.lambdaclass.com)中发现了一个关键问题，该问题与一个能够在虚拟机上成功执行但会违反AIR约束的程序有关。该漏洞是在调查第三方报...
# **深入解读 Starknet 合约开发与部署：从 Cairo 编程到智能合约声明与部署** 随着区块链技术的发展，Starknet 作为以太坊的 Layer 2 解决方案，正吸引越来越多的开发者。它通过零知识证明（ZKP）大幅提高了交易效率和安全性。在...
Cairo 没有像 Solidity 那样的 "internal" 和 "pure" 修饰符（或者任何其他修饰符）。 回想一下，用 `#[abi(embed_v0)]` 标记一个 `impl` 块会告诉 Cairo 将其函数包含在合约的 ABI (应用程序二进制接口) 中，从而使它们可以从合约外部调用。此...
...标准化合约，正如他们在以太坊上所做的一样！ 2. **EVM->Cairo 编译器**：Nethermind 的 Warp 团队演示了 ERC-20 Solidity 代码编译为 Starknet 合约。 ## 背景 Starknet 是一个无权限的去中心化 Validity-Rollup（即“ZK-Rollup”）。我们在年初宣布...
... ZK-Rollup，支持以太坊上的通用计算。它基于图灵完备的 [Cairo 语言](https://www.cairo-lang.org/)。 开发者、用户和 StarkNet 节点将能够完成在无权限 L2 Rollup 上所期望的所有任务：开发者可以构建实现其商业逻辑的应用程序，并将其部...
> 此文章使用的Cairo编译器版本：1.0.0-alpha.6。因为Cairo正在快速更新，所以不同版本的语法会有些许不同，未来将会将文章内容更新到稳定版本。 ## felt252 felt252是Cairo中基础类型，代表一个存储槽，未指定变量类型的字面量...
...的设计哲学，他们并非一样，这篇文章探索一下 Solidity、Cairo、Rust和Move的语言设计的权衡。  > 图片来源：[Fatos Bytyqi](https://unsplash.com/@fatosi?utm_source=medium&utm_medium=re...
...hain.cn/article/18803)的博文。它很酷 😉 ### 扩大规模！ 由 Cairo 的通用计算驱动的递归证明现已投入生产。这标志着 STARKs 的 L2 扩展能力得到了大幅提升。它将迅速成倍增加可以通过单个证明写入以太坊的交易数量。 到目前为止...
> 此文章使用的Cairo编译器版本：1.0.0-alpha.6。因为Cairo正在快速更新，所以不同版本的语法会有些许不同，未来将会将文章内容更新到稳定版本。 ## 基本用法 use debug::PrintTrait; const ONE_HOUR_IN_SECONDS: felt252 = 3600; fn ...
...f8dd401025)的博客文章。内容非常精彩 😉 ## 规模化！ 由 Cairo 的通用计算驱动的递归证明现已投入生产。这标志着 L2 通过 STARKs 进行扩展的能力得到了极大的提升。它将迅速成倍地增加可以通过单个证明写入以太坊的交易数量。...
...态变量、执行合约设置任务、进行跨合约交互等等。 在 Cairo 中，构造函数使用合约 `mod` 块内的 `#[constructor]` 属性定义。 本文将介绍构造函数在 Cairo 中如何工作，初始化合约状态的规则，以及构造函数返回值与 Solidity 的不同...
...了一种新的保护隐私的、任意的花费条件，我们称为 “Cairo 花费条件”。 ## STARK 证明的计算 Cairo 花费条件允许将任意 [Cairo](https://https//www.cairo-lang.org/?ref=blog.cashu.space) 程序的有效执行设定为花费条件。花费者所提供的见证是...
...tarknet 之书》作为 Starknet 网络百科全书，囊括安装入门、Cairo 合约、开发工具、核心技术等内容。 将复杂概念转化成通俗易懂的观点，让新手用户实现一本书搞定 Starknet 生态。 敬请期待「Starknet 中文社区」发布中文版本 ht...
... 顾问：CryptoNerdCn，Starknet生态核心开发者，浏览器端Cairo开发平台WASM Cairo创始人  **摘要：** ·Starknet最主要的几大技术特性，包括利于ZK证明生成的Cairo...
Cairo 中的类型转换是将值从一种数据类型转换为另一种数据类型的过程。 当使用 Cairo 严格的类型系统时，这变得很有必要，在 Cairo 中，函数调用、变量赋值、合约交互以及数据操作都需要显式的类型匹配。 Cairo 采用比 Solidity...