零知识证明学习（六）— zkSNARKs（小结）

zkSNARK-密码学基础

本节主要整合前几节学习的知识

简洁非交互式的多项式知识论证

英文：Succinct Non-Interactive Argument of Knowledge of Polynomial （zk-SNARKOP）

现在我们整理一下最终的zk-SNARKOP协议，为了简单起见，我们将使用花括号来表示由旁边的下标填充的一组元素，例如：${(s^i)}_{i\in [d]}$表示一个数组$s^1,s^2,...,s^d$。使用目标多项式$t(x)$和证明者$d$次多项式：

• 初始化：
  • 抽取随机值$s,\alpha$
  • 加密计算$g^{\alpha }$和 { g s i } i ∈ [ d ] \{g^{s^i}\}_{i \in [d]} { gsi}i∈[d]​， { g α s i } i ∈ [ 0 , . . . , d ] \{g^{\alpha s^i}\}_{i \in [0,...,d]} { gαs