零知识证明：数论变换NTT

原创 已于 2024-06-17 16:10:42 修改 · 636 阅读 · 3 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#零知识证明 #区块链

于 2023-03-16 15:20:49 首次发布
文章介绍了NTT（NumberTheoreticTransform）如何利用原根的性质，避免复数运算，实现FFT（快速傅里叶变换）的优化。在NTT中，原根替代了FFT中的单位根，当p-1能被N整除时，能够进行高效的并行计算。NTT的关键步骤包括特定的指数运算和蝴蝶变换，适用于大规模数据的快速处理。

(1)NTT的表示

对于 ，若 的值互不相同，则称g为p的原根。

FFT利用单位根 的性质实现分治优化多项式乘法，原根也有类似性质。NTT利用原根代替FFT的 。这样可以不用复数实现FFT运算。

设g是p的原根，令 ，其中要求 p-1 能被N整除,则有：

NTT的原根表示法可写为：

(2)蝴蝶变换

(3) NTT 并行算法

主要步骤：

密码学系列 - 零知识证明(ZKP) - NTT运算
搬砖魁首的博客
10-05 1238
NTT（Number Theoretic Transform，数论变换）是一种与快速傅里叶变换（FFT）类似的技术，主要用于多项式的快速乘法计算，是实现同态加密、零知识证明等密码学应用的基础工具之一。数论变换（Number Theoretic Transform，NTT）通常用于加速多, 但不包含椭圆曲线标量乘法运算。多项式乘法的卷积运算在时域中计算较慢，而通过 NTT，可以将多项式从时域转换到频域，在频域中可以简单地逐系数相乘来完成卷积操作，然后再通过逆 NTT 转回时域。这样可以显著提升On2。
比FFT还容易明白的NTT（快速数论变换）
热门推荐
路人黑的纸巾
08-17 3万+
NTTNTTNTT相关 一种快速数论变换算法，这种算法是以数论为基础，对样本点为的数论变换，按时间抽取的方法，得到一组等价的迭代方程，有效高速简化了方程中的计算公式·与直接计算相比，大大减少了运算次数。（见快速傅里叶变换）。 在计算机实现多项式乘法中，我们所熟知的快速傅里叶变换(FFT)是基于n次单位根 (omega) 的优秀性质实现的，而由于其计算时会使用正弦函数和余弦函数，在不...
C++实现快速数论变换（NTT）算法详解
weixin_33531560的博客
09-13 942
快速数论变换（Number Theoretic Transform, NTT）是一种基于模运算的离散傅里叶变换（DFT）变体，广泛应用于高效多项式乘法和大整数运算中。与快速傅里叶变换（FFT）类似，NTT通过分治策略将多项式乘法的时间复杂度从 $ O(n^2) $ 降低到 $ O(n \log n) $，但其使用整数模运算，避免了浮点数带来的精度问题。NTT特别适用于模数为形如 $ p = 2^k \cdot m + 1 $ 的素数，且存在原根的场景。
数论变换Number Theoretic Transform(NTT）
Annalovecoding的博客
10-04 8933
数论变换是用来干什么的？ 数论变换是用来快速高效地计算系数为ZqZ_qZq​多项式环乘法运算结果的一个算法。 多项式定义 f(x)=∑i=0naixif(x)=\sum_{i=0}^{n}a_ix^if(x)=∑i=0n​ai​xi 多项式的根：f(x0)=0f(x_0)=0f(x0​)=0, x0x_0x0​为多项式的根 若an≠0,deg(f)=na_n \neq 0, deg(f) =nan​​=0,deg(f)=n 多项式乘法 f(x)=∑i=0naixif(x)=\sum_{i=0
NTT（快速数论变换）学习
StaroForgin的博客
12-19 1676
NTT（快速数论变换） NTT是一个与FFT一样想看吐的算法，一个模板，调了一天。 关于FFT的部分我就不过多赘述了，可以参考这篇博客：~~~（还未完工）。 FFT虽然跑得快，但是因为是浮点数运算，终究还是有 精度、常数 等问题。 ------Tiw_Air_OAO 如上面那位巨佬所说，FFT的却存在许多问题，而且处理模数还比较麻烦于是就引入了 NTT，在——模的意义下（多项式的系...
[学习笔记]NTT——快速数论变换
weixin_34126557的博客
11-21 406
先要学会FFT[学习笔记]FFT——快速傅里叶变换 一、简介 FFT会爆精度。而且浮点数相乘常数比取模还大。 然后NTT横空出世了 虽然单位根是个好东西。但是，我们还有更好的东西我们先选择一个模数，$const\space int\space p=998244353$设g为p的单位根。这里就是3那么有：$(\omega_n^1)^n = g^{p-1}=1\space mod ...
NTT数论变换
weixin_30955341的博客
07-31 539
数论变换NTT 前置知识 FFT：NTT的思想和FFT一样（FFT介绍） 概述 数论变换，即NTT（Number Theory Transformation？），是基于数论域的FFT，一般我们默认FFT为负数域上的快速傅里叶变换，和NTT区分。 我们知道，FFT是利用单位复根的周期性，以\(\Theta(N \log N)\)的复杂度计算\(N\)组多项式的值。NTT其实就是在数论域...
17、统一程序生成与验证：数论变换案例研究
最新发布
tomato的博客
09-23 42
本文提出了一种统一的程序生成与验证方法，并将其应用于数论变换（NTT）的实现中。通过无标签最终风格的DSL框架，结合区间分析和模块化设计，实现了对NTT代码的安全属性（如整数溢出不存在）和功能正确性（与DFT公式等价）的端到端验证。文章展示了如何利用领域特定知识进行精确的区间分析，不仅确保了代码安全性，还发现了新的优化机会，如减少Barrett约简的应用次数以提升性能。该方法为密码学等高安全性要求领域的代码生成与验证提供了一个可扩展的框架。
算法学习FFT系列(2):快速数论变换NTT &&bzoj3992: [SDOI2015]序列统计例题详解
maxtir的博客
01-31 952
bzoj3992: [SDOI2015]序列统计 Description 小C有一个集合S，里面的元素都是小于M的非负整数。他用程序编写了一个数列生成器，可以生成一个长度为N的数列，数列中的每个数都属于集合S。 小C用这个生成器生成了许多这样的数列。但是小C有一个问题需要你的帮助：给定整数x，求所有可以生成出的，且满足数列中所有数的乘积mod M的值等于x的不同的数列的有多少个。小C认为...
16、数论变换基础
cream的博客
06-14 94
本文介绍了数论变换（NTT）的基础知识，包括其数学定义、参数选择以及在基于格的密码学中的应用。文章详细解析了NTT算法的关键步骤和实现细节，并讨论了模运算优化方法、代码验证策略及硬件加速方案，为理解和高效实现NTT提供了全面指导。
NTT快速数论变换算法学习
平凡人Kalzn的博客
08-31 1179
前置知识 DFT离散傅里叶变换 原根 数学上已经证明，在复数域内，具有循环卷积特性的唯一变换是DFT，因此提出了以数论为基础的具有循环卷积性质的快速数论变换。 下面开始介绍NTT，快速数论变换 我们知道在复数域中有单位根：ωn=1\omega^n=1ωn=1，如果我们选取一个素数p，显然有ωn≡1(mod n)\omega^n\equiv1(mod\ n)ωn≡1(mod n)设g为p的一个原根（素数一定有原根，即gp−1≡1(mod p)g^{p-1}\equiv 1(mod
快速数论变换NTT
weixin_30388677的博客
07-25 181
单位根 　　多项式 $x^2=1$的根称为 n 次单位根。 　　设 $\omega_{n}=e^{i\pi}$为复数， 　　由欧拉公式$e^{ix}=cosx+isinx$ 　　容易验证$\omega_{n}^{n}=1$; 　　 　　考虑膜意义下的单位根$x^{n}\equiv 1(mod\ p)$ 　　对于质数 $p=kn+1$，设 为$\mathbb{F}_{p}$中的元...
NTT(快速数论变换)
lahlah的博客
04-23 1152
前置知识 法法踢（fft） 如果不懂FFT的可以先了解一下 NTT的作用 先扯淡一波
NTT快速数论变换
ruizhangj的博客
08-23 444
NTT NTTNTTNTT和FTTFTTFTT十分相似，在FTTFTTFTT中使用了单位复根ω\omegaω来取函数值，在NTTNTTNTT中则使用原根ggg来取函数值。在NTTNTTNTT中，所有的数都是模意义下的。 ggg​的一些性质 g1,g2,⋯ ,gp−1g^1,g^2,\cdots,g^{p-1}g1,g2,⋯,gp−1在模ppp意义下互不相同 根据欧拉定理可知gp−1≡1g^{p-1} \equiv 1gp−1≡1 用ggg来替换ω\omegaω实现FFTFFTFFT到NTTNTTNTT的
多项式算法2：NTT（快速数论变换）
ha_ing的博客
05-11 3515
多项式算法2：NTT（快速数论变换）
快速数论变换（NTT）
羊驼的博客
05-27 733
前置知识： 阶：对于互质整数 a,na,na,n ，满足 ar≡1mod  na^r \equiv 1\mod nar≡1modn 的最小的 rrr 就是 aaa 模 nnn 的阶。 原根：对于正整数 nnn ，若整数 aaa 模 nnn 的阶等于 φ(n)\varphi(n)φ(n) ，则称 aaa 为模 nnn 的一个原根。 快速数论变换 NTTNTTNTT，实际上就是利用一些特殊的质数（例如 998244353=119×223+1998244353=119\times2^{23}+1998244353
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值