Browse all Cairo Smart Contracts articles.
26 min read
Starknet 中的系统调用 在 Solidity 中，读取/写入存储、合约间调用或发送消息等底层操作，都是直接使用 Yul 通过内联汇编来执行的...
12 min read
Switchboard 链上程序无法直接访问链下数据。它们需要依赖预言机来引入资产价格、事件结果或 API 响应等信息。如果没有这些预言机，...
4 min read
在 OpenZeppelin 中形式化验证 Nonces.Sol。Nonces 代表“number used once”（只使用一次的数字），被用于数字签名方案中以防止重放攻击。出于本文的目的，我们假设……
10 min read
形式化验证简介 形式化验证是通过数学方法证明程序符合规范的过程。本文将从概念上介绍形式化验证是如何……
3 min read
FFT 友好的有限域 为了在有限域中执行 FFT 算法（数论变换），需要存在 $k$ 次单位根，使得 $k$ 是 2 的幂。理想情况下，...
15 min read
Starknet 上的 ERC-20 代币 Starknet 上的 ERC-20 代币的工作原理与 Ethereum 上相同。事实上，STRK（Starknet 的费用代币）本身就是一个 ERC-20 代币；在协议层面没有特殊的“原生”代币……
9 min read
Cairo 中的构造函数 构造函数是在合约部署期间执行的单次调用函数，用于初始化状态变量、执行合约设置任务、进行跨合约交互以及……
10 min read
类型转换 Cairo 中的类型转换是指将值从一种数据类型转换为另一种数据类型的过程。在处理 Cairo 严格的类型系统时，这变得尤为必要，因为在该系统中，显式的类型匹配...
17 min read
Starknet Foundry 中的 Cheatcode Foundry 中的“cheatcode”是一种机制，允许合约测试控制环境变量，例如调用者地址、当前时间戳等等。在此……
11 min read
Cairo 中的整数 Cairo 没有提供 Solidity 中那样完整的整数大小范围。虽然 Solidity 为最高到 256 位的每个 8 的倍数都提供了整数类型，但 Cairo 仅支持...
8 min read
Cairo 组件第一部分 Cairo 中的组件类似于 Solidity 中的抽象合约。它们可以定义并使用存储、事件和函数，但无法单独部署。...
7 min read
Cairo 中的函数可见性 Cairo 并不像 Solidity 那样拥有 "internal" 和 "pure" 修饰符（或者说没有任何其他修饰符）。回顾一下，对块进行标记会指示 Cairo 包含...