zk-SNARKs intro

原文链接

ZKP

public bool C(x, w) {
   return (hash(w) == x)
}

Generator

Verifier

Prover

验证者首先给出pk，然后证明者通过x,pk,w生成证明，最后，再由证明+x+vk，判断是否ok

由于pk,vk由验证者自己生成，每次都不一样，所以就算直接拿到证明，也无法获取w