ERC-721 的不变量介绍 在之前的章节中，我们探讨了 CVL 不变量的工作原理：在整个合约执行过程中必须始终成立的属性。不变量可以作为前置条件用于……

ERC-721 的部分参数化规则简介 本章是 OpenZeppelin 的 ERC-721 CVL 规范代码解析的最后一部分（5/5），该规范形式化验证了以下内容……

Starknet 上的 ERC-20 代币 Starknet 上的 ERC-20 代币的工作原理与 Ethereum 上相同。事实上，STRK（Starknet 的费用代币）本身就是一个 ERC-20 代币；在协议层面没有特殊的“原生”代币……

Cairo 存储变量类型 在 Starknet 中，合约存储是你的智能合约状态所在的持久化内存。与在函数内部声明并在……之后消失的变量不同……

组件第 2 部分：OpenZeppelin ERC-20 教程 在组件第 1 部分中，我们学习了如何在单个文件中创建和使用组件。我们从头开始构建了一个，并集成了它的存储、事件以及...

生息代币第一部分 Token-2022 的生息扩展使得 token mint 能够自动在该特定 mint 的所有 token accounts 上累积利息。它使用年化利率...

生息代币第 2 部分 生息扩展为 token mint 添加了随时间推移累积利息的功能。在我们之前对 Token-2022 的讨论中，我们介绍了...

Solana 中的 Ed25519 签名验证 在 Solana Anchor 程序中验证 Ed25519 签名 本教程展示了如何在 Solana 程序中验证链下 Ed25519 签名。在 Solana 中，自定义...

Solana Token 2022 规范 Token-2022 是 SPL Token 程序的一个全新的向后兼容版本，它以扩展的形式支持附加功能。这些扩展的字节码...

使用 LiteSVM 进行时间旅行测试 在 Solana 中，编写依赖于时间流逝的测试用例非常棘手。我们可能想要测试代码在一天过去之后会发生某些事情，但我们无法……

使用 Metaplex 实现代币元数据 我们在上一篇教程中介绍了 Metaplex 元数据标准。在本篇教程中，我们将创建一个 SPL 代币，并使用 Metaplex 为其附加元数据...

Metaplex 代币元数据的工作原理 我们已经部署了 SPL 代币并与之进行了交互，但它们都没有附带名称、符号或任何元数据。相反，我们是通过它们的 mint 来识别每个代币的……