Zksnark--终极原理（四）

上一篇讲到 Anna不知道t，也就不能找到合适的H(t)正好使E(P(t)) = E(H(t) * Z(t))成立 但是也有个问题就是 系数向量A(n)、B(n)和C(n)代表要求解的问题本身。假设Prover不知道使“s . C(n) - s . A(n) * s . B(n) = H(n) * Z(n)”成立的解s，但知道另一个问题的解s’：s’ . C’(n) - s’ . A’(n) *

>>阅读原文<<