你将在此处学到什么 本文介绍了创建和思考 ZK 电路的基本心智模型。你将从第一性原理探索关键概念,并了解编写或审查 ZK 代码时有时会出现的一个简单但关键漏洞。 到最后,你将掌握足够的知识,以便在 ZK 学习之旅或进行 ZK 安全审查时...
NTT(数论变换)算法将有限域中的多项式从系数形式转换为点形式。 如果一个多项式具有 阶数,那么我们在 -th 个单位根上对其进行求值,其中 我们不是在 -th 个单位根的集合 中的每个点上评估多项式 ,而是使用多值函数的像保持定理来评...