Browse all Zero Knowledge articles.
8 min read
Number Theoretic Transform (NTT) The Number Theoretic Transform (NTT) is an algorithm for evaluating a polynomial in a finite field on n values in O(n log n) time. Normally, evaluating a polynomial...
11 min read
Using Convolution Theorem to Prove Equivalence Between Multiplication in Coefficient Form and Point Form At the beginning of this series, we argued that the multiplication of two polynomials of...
16 min read
理解 Starknet 的合约部署模型 在 Ethereum 上，您可以通过单笔交易部署合约。Starknet 则采取了不同的方式：部署被拆分为两笔独立的交易……
10 min read
单位根的正交性 由本原 $k$ 次单位根生成的 $k$ 次单位根的幂之和要么为零，要么为 $k$。我们将这一性质称为单位根的正交...
13 min read
使用 sBPF 汇编读取 Solana Instruction 输入 在上一篇教程中，我们介绍了 sBPF 内存布局，并解释了程序执行期间每个寄存器的用途。在这...
12 min read
sBPF 内存布局与寄存器约定 本教程介绍了 Solana BPF (sBPF) 的内存布局及其虚拟机寄存器的作用。我们将演示关于如何...的约定
7 min read
在 Storage Mappings 中使用 Sstore Hooks 简介 在“Storage Hooks 和 Ghosts 简介”一章中，我们介绍了简单存储变量的 storage hooks 和 ghosts。我们展示了...
9 min read
CVL 中的条件语句以及对 Solady 和 Solmate 部分代码的形式化验证 简介 某些合约行为（属性）本质上具有条件性，而在 CVL 中使用 if/else 这类结构……
5 min read
溢出与 Mathint 在 CVL 中，该类型表示无界整数，这与 Solidity 的固定大小类型（例如 .）不同。它在执行算术运算时不会发生溢出或下溢，从而允许基于...进行推理
10 min read
蕴含运算符简介 蕴含运算符常被用作该语句的替代方案，因为它更加简洁。考虑以下示例：一个接受两个无符号...
17 min read
Cairo 语言简介 Cairo 是一种专为可证明、可验证的计算而设计的编程语言，特别是在诸如 Starknet（一个 Layer 2...）等零知识系统的背景下......
4 min read
单位根的可视化表示 如果 $\omega$ 是 $k$ 次单位根，那么 $\omega^i$ 和 $\omega^{i+k/2}$ 互为加法逆元，这一性质可能看起来有些抽象——这……