...了一种新的保护隐私的、任意的花费条件，我们称为 “Cairo 花费条件”。 ## STARK 证明的计算 Cairo 花费条件允许将任意 [Cairo](https://https//www.cairo-lang.org/?ref=blog.cashu.space) 程序的有效执行设定为花费条件。花费者所提供的见证是...
...earnblockchain.cn/2025/03/02/90182377_image.jpg) ## **简明扼要** Cairo 是第一个用于生成 STARK 证明的一般计算的生产级平台。它是图灵完备的，并且高效。我们构建的所有东西——从我们在 Reddit Bake-off 的提交开始——都是用 Cairo 编写...
...，使 L1 和 L2 合约能够交互。更多细节请阅读：https://www.cairo-lang.org/docs/hello_starknet/index.html ## StarkNet Alpha 登陆主网? 届时，主网版本的 StarkNet Alpha 将支持 Goerli 测试网版本的同样功能，功能的引入将分阶段进行。 ### 有什...
...，确保在升级过程中保持代码的一致性和安全性。 ### Cairo Contracts * **面向 Starknet 开发** ：专门为在 Starknet 区块链上构建应用而设计，利用 Cairo 语言的优势，提供高性能、高安全性的智能合约开发支持。 * **安全特性** ：...
...化的方式增加以太坊吞吐量的最有前途的方式； zkEVM 和 Cairo VM (CVM) 是有效性汇总中使用的两种类型的 VM。 * zkEVM 专注于以太坊兼容性，但牺牲了性能和可扩展性。 * Starknet 中使用的 Cairo VM 将性能和可扩展性置于兼容性之上...
... ZK-Rollup，支持以太坊上的通用计算。它基于图灵完备的 [Cairo 语言](https://www.cairo-lang.org/)。 开发者、用户和 StarkNet 节点将能够完成在无权限 L2 Rollup 上所期望的所有任务：开发者可以构建实现其商业逻辑的应用程序，并将其部...
## 引言 在本文中，我们将重点关注最近发布的 Cairo 1.0，这是 Starknet 的本地语言。我们将简要介绍 Cairo 和 Starknet，探索一些 Cairo 的安全特性，并查看在 Cairo 中编写合约时可能出现的一些陷阱。对于任何考虑在 Cairo 中编写合约...
...Rust 实现。 此前Starknet 主网已升级至 v0.11.2，正式激活 Cairo 1，开发者可在主网上部署 Cairo 1 智能合约。 **来源：** https\://twitter.com/raphjaph/status/1665367103342362625 https\://github.com/vyperlang/vyper/releases/tag/v0.3.9 https\://twitter....
...starknet，这是积极信号，尽快学起来 starknet智能合约使用cairo语言编写，最近刚刚更新2.3.0 cairo编程语言类rust，建议搭配学，或者先学rust更好理解 ***rust编程语言会在未来几年快速流行（仅个人理解）*** # 本教程环境 windows 10 ...
...储变量稍微复杂一些。StarkNet编译器将它们的名称和值(在Cairo代码中)映射到由StarkNet自己的sn_kecak方法(按原样或通过嵌套映射的哈希链)生成的地址。然而，这里的重要结论是，存储变量被简单地视为哈希的键/值对。 ### StarkNet ...
... 1) % k == 0 ``` #### STARK 域 [Starknet](https://rareskills.io/cairo-tutorial) 使用的 Cairo VM 具有特征 ，并且具有非常大的 -th 个单位根。 ```python q = 2**251 + 17*2**192 + 1 k = 2**192 assert (q - 1) % k == 0 ``` #### BLS12-381 BLS12-381 是另一个...
...编码语言，Yul 目前缺乏工具和生态系统支持。 ### Cairo Cairo 是一种图灵完备的智能合约编程语言，旨在为一般的运算创建 STARK 可证明的程序。 Cairo 主要用于 StarkNet —— 一个建立在以太坊之上的第 2 层区块链，St...
...a v0.11.0 在测试网上线，开发者可在 Starknet 测试网上部署 Cairo 1.0 合约并与之交互。在测试网顺利运行后才能在主网上部署 Cairo 1.0 合约，主网升级到 Starknet alpha v0.11.0 将首次进行治理投票。 ### 07 Aleo * 隐私公链 Aleo 开放最终...
...的合约，对于调用者来说，其行为方式与预期类似。在 Cairo 中，该语言不强制执行 Structs 和 Enums 的编码格式，需要开发人员在这些类型是外部函数签名的一部分时，在这些类型上实现 Serde trait，并且不同的实现可能会导致暴露...
...意加大挖掘区块的难度。 ## 区块头验证的可验证计算 [Cairo](https://www.cairo-lang.org/) 是一种用来创建运算可验证的程序的编程语言；通过在 Cairo 中实现上述规则，我们就创建了一种程序，它可以验证单个区块头，并且，当且仅当...