Browse all Smart Contract Security articles.
13 min read
Certora Require、Assert 和 Satisfy 在上一章中，我们了解到规范是一段用 CVL 编写的代码，用于描述智能合约的预期行为。一个……
15 min read
Starknet 上的 ERC-20 代币 Starknet 上的 ERC-20 代币的工作原理与 Ethereum 上相同。事实上，STRK（Starknet 的费用代币）本身就是一个 ERC-20 代币；在协议层面没有特殊的“原生”代币……
9 min read
Cairo 中的构造函数 构造函数是在合约部署期间执行的单次调用函数，用于初始化状态变量、执行合约设置任务、进行跨合约交互以及……
7 min read
Cairo 中的函数可见性 Cairo 并不像 Solidity 那样拥有 "internal" 和 "pure" 修饰符（或者说没有任何其他修饰符）。回顾一下，对块进行标记会指示 Cairo 包含...
17 min read
Cairo 语言简介 Cairo 是一种专为可证明、可验证的计算而设计的编程语言，特别是在诸如 Starknet（一个 Layer 2...）等零知识系统的背景下......
3 min read
Cairo 中的访问控制 访问控制定义了谁可以调用特定函数或修改合约行为。本文解释了 Cairo 如何使用宏来实现访问控制。回顾……
8 min read
Cairo 组件第一部分 Cairo 中的组件类似于 Solidity 中的抽象合约。它们可以定义并使用存储、事件和函数，但无法单独部署。...
11 min read
基础合约的结构 本文展示了如何为 Starknet 构建一个可部署的 Cairo 合约。从一个简单的雏形开始，我们将逐步添加功能，以构建出一个可运行的合约……
13 min read
组件第 2 部分：OpenZeppelin ERC-20 教程 在组件第 1 部分中，我们学习了如何在单个文件中创建和使用组件。我们从头开始构建了一个，并集成了它的存储、事件以及...
15 min read
Cairo 存储变量类型 在 Starknet 中，合约存储是你的智能合约状态所在的持久化内存。与在函数内部声明并在……之后消失的变量不同……
11 min read
Cairo 中的整数 Cairo 没有提供 Solidity 中那样完整的整数大小范围。虽然 Solidity 为最高到 256 位的每个 8 的倍数都提供了整数类型，但 Cairo 仅支持...
10 min read
类型转换 Cairo 中的类型转换是指将值从一种数据类型转换为另一种数据类型的过程。在处理 Cairo 严格的类型系统时，这变得尤为必要，因为在该系统中，显式的类型匹配...