faye2one的博客

通过NTT实现CXAX×BX的FAST_MUL算法，可以用于加速STARK方案中多项式相关操作，下面详细介绍。

假定函数计算过共计TTT个步骤，每个步骤www个状态，则可以用一个T×wT \times wT×w矩阵来记录计算过程的每一步状态，这个矩阵称为algebraic execution trace。对于一个计算过程的AET，需要2个约束条件可以确保计算完整性：边界约束条件（boundary constrain）和状态转换约束条件（transition constrain）。边界约束是指每一步计算过程中的状态值，其中包括最终输出结果。状态转换约束是指每一步状态值到下一步状态值的转换关系。

本文介绍了Zerocash中使用的零知识证明技术，重点讨论了如何在不泄漏多项式系数的情况下证明多项式整除关系。文章首先提出基于随机点验证的简单方法，分析其存在的安全缺陷，进而引入加密技术和KEA假设来增强安全性。然后探讨了如何通过双线性对加密和可信第三方设置实现非交互式证明，使任意验证者都能验证证明。该方法利用Common Reference String（CRS）包含的证明密钥和验证密钥，结合双线性对特性进行验证，确保证明的正确性同时保护多项式隐私。最后列出了相关参考文献。

Zerocash中用户发起转账交易时需要通过ZKP技术证明的论断statement分为三类：1）转账交易中输入的UXTO币是合法且未被消费过的；2）拥有输入UXTO的所有权； 3）输入的UXTO币值和输出UXTO的币值相等。用户作为证明者prover提供证据，其他节点作为验证者verifier验证证据是否为真，如果为真才接受该笔交易并写入链上。

在比特币系统中，每个用户需要创建一个对公私钥，公钥​作为其个人地址对外公开。UTXO 全称 Unspent Transaction Output，即“未花费的交易输出”，比特币系统中的交易有两个基本类型：挖矿交易TmintTmint​和转账交易TspendTspend​。每个交易的输出都是UTXO，挖矿交易没有输入，转账交易的输入也是UTXO。一个UTXO包括两个基本信息cadd。