P vs NP 及其在零知识证明中的应用 P = NP 问题探讨的是：“如果我们能快速验证一个问题的解是否正确，我们是否也能快速计算出这个解？”大多数研究人员……

同态示例 如果两个群之间存在保持结构的映射，则这两个群之间存在同态。假设我们有两个代数数据结构 $(A,\square)$ 和 $(B,...

抽象代数 抽象代数是研究具有一个或多个运算符的集合的学科。就我们的目的而言，我们只关心运算符为二元运算符的集合。给定一个带有...的集合

ZK 算术电路 在零知识证明的背景下，算术电路是一个用于对 NP 问题进行建模的方程组。我们在关于 P vs NP 的文章中指出的一个关键点是，任何……

Foundry 中的不变量测试简介 在本文中，我们将讨论不变量，以及如何使用 Foundry 测试套件对 Solidity 智能合约执行不变量测试。不变量测试是……

Solidity 变异测试 变异测试是一种检查测试套件质量的方法，其原理是故意在代码中引入 Bug，并确保测试能够捕获该 Bug。这类 Bug...

以太坊预编译合约 以太坊预编译的行为类似于内置在以太坊协议中的智能合约。这九个预编译合约位于地址 0x01 到 0x09。预编译合约的用途分为...

ERC721 Enumerable 的工作原理 Enumerable ERC721 是一种带有附加功能的 ERC721，该功能使得智能合约能够列出某个地址拥有的所有 NFTs。本文介绍了相关函数的工作原理以及如何......

Aave V3 和 Compound V2 的利率模型 TradFi（传统金融）中的利率主要由中央银行决定，并受市场因素影响。相比之下，DeFi 利率...

Fallback 扩展模式 Fallback 扩展模式是一种规避 24 KB 智能合约大小限制的简单方法。假设我们在主合约中已有函数，并希望添加...

代理的 EIP 1967 存储槽 EIP 1967 是一项标准，用于规定代理合约在执行时所需信息的存储位置。UUPS (Universal Upgradeable Proxy Standard) 和 Transparent... 两者均...

SushiSwap MasterChef 和 Synthetix 的质押算法 MasterChef 和 Synthetix 质押算法根据质押者的时间加权贡献，在质押者之间分配固定的奖励池...