在“智能合同”中使用“zk”的一个例子？

Question

我读过这篇文章：https://media.consensys.net/introduction-to-zksnarks-with-examples-3283b554fc3b

但是，在我看来还不清楚像zksnarkverify这样的函数已经在Solidity中实现了吗？还是我们需要自己去实现它？

是否有使用zk-SNARK算法的API或库？例如：

公钥生成器G(program C, secret lambda) -> (prover public key, verifier public key)，

或

证明算法P(prover public key, public x, secret w) -> proof

或

验证算法V(verifier public key, public x, proof) -> true？

其中程序C是C(public x, secret w)。

Answer 1

唯一可靠的是为Ellyptic曲线操作预编译的合同。

有关实现，请查看是否存在分散的0(零知识简洁、非交互的知识参数)？