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) *

>>阅读原文<<