The technical content top engineers rely on to level up.
29 min read
将代数电路转换为 R1CS (Rank One Constraint System) 本文解释了如何将一组算术约束转换为 Rank One Constraint System (R1CS)。本文的重点是……
22 min read
面向程序员的基础集合论 为什么还需要另一篇集合论教程？本文的目标受众是那些除非看到直接的用例，否则对抽象数学不感兴趣的人……
11 min read
同态示例 如果两个群之间存在保持结构的映射，则这两个群之间存在同态。假设我们有两个代数数据结构 $(A,\square)$ 和 $(B,...
3 min read
可信设置 可信设置是 ZK-SNARKs 用于在一个秘密值处对多项式进行求值的机制。观察可知，可以通过计算...的内积来对多项式 $f(x)$ 进行求值。
17 min read
二次算术程序 二次算术程序是一种算术电路，具体而言是一个表示为一组多项式的 Rank 1 Constraint System (R1CS)。它是使用 Lagrange... 推导得出的。
16 min read
Foundry 中的不变量测试简介 在本文中，我们将讨论不变量，以及如何使用 Foundry 测试套件对 Solidity 智能合约执行不变量测试。不变量测试是……
6 min read
Solidity 变异测试 变异测试是一种检查测试套件质量的方法，其原理是故意在代码中引入 Bug，并确保测试能够捕获该 Bug。这类 Bug...
6 min read
以太坊预编译合约 以太坊预编译的行为类似于内置在以太坊协议中的智能合约。这九个预编译合约位于地址 0x01 到 0x09。预编译合约的用途分为...
11 min read
ERC721 Enumerable 的工作原理 Enumerable ERC721 是一种带有附加功能的 ERC721，该功能使得智能合约能够列出某个地址拥有的所有 NFTs。本文介绍了相关函数的工作原理以及如何......
7 min read
Aave V3 和 Compound V2 的利率模型 TradFi（传统金融）中的利率主要由中央银行决定，并受市场因素影响。相比之下，DeFi 利率...
3 min read
Fallback 扩展模式 Fallback 扩展模式是一种规避 24 KB 智能合约大小限制的简单方法。假设我们在主合约中已有函数，并希望添加...
6 min read
代理的 EIP 1967 存储槽 EIP 1967 是一项标准，用于规定代理合约在执行时所需信息的存储位置。UUPS (Universal Upgradeable Proxy Standard) 和 Transparent... 两者均...