数论变换 (NTT) 数论变换 (NTT) 是一种在有限域中以 O(n log n) 的时间复杂度计算多项式在 n 个点上的取值的算法。通常情况下，对一个多项式进行求值......

使用卷积定理证明系数形式与点值形式乘法的等价性 在本系列的开头，我们曾论证过两个...多项式的乘法...

理解 Starknet 的合约部署模型 在 Ethereum 上，您可以通过单笔交易部署合约。Starknet 则采取了不同的方式：部署被拆分为两笔独立的交易……

单位根的正交性 由本原 $k$ 次单位根生成的 $k$ 次单位根的幂之和要么为零，要么为 $k$。我们将这一性质称为单位根的正交...

使用 sBPF 汇编读取 Solana Instruction 输入 在上一篇教程中，我们介绍了 sBPF 内存布局，并解释了程序执行期间每个寄存器的用途。在这...

sBPF 内存布局与寄存器约定 本教程介绍了 Solana BPF (sBPF) 的内存布局及其虚拟机寄存器的作用。我们将演示关于如何...的约定

在 Storage Mappings 中使用 Sstore Hooks 简介 在“Storage Hooks 和 Ghosts 简介”一章中，我们介绍了简单存储变量的 storage hooks 和 ghosts。我们展示了...

CVL 中的条件语句以及对 Solady 和 Solmate 部分代码的形式化验证 简介 某些合约行为（属性）本质上具有条件性，而在 CVL 中使用 if/else 这类结构……

溢出与 Mathint 在 CVL 中，该类型表示无界整数，这与 Solidity 的固定大小类型（例如 .）不同。它在执行算术运算时不会发生溢出或下溢，从而允许基于...进行推理

蕴含运算符简介 蕴含运算符常被用作该语句的替代方案，因为它更加简洁。考虑以下示例：一个接受两个无符号...

Cairo 语言简介 Cairo 是一种专为可证明、可验证的计算而设计的编程语言，特别是在诸如 Starknet（一个 Layer 2...）等零知识系统的背景下......

单位根的可视化表示 如果 $\omega$ 是 $k$ 次单位根，那么 $\omega^i$ 和 $\omega^{i+k/2}$ 互为加法逆元，这一性质可能看起来有些抽象——这……