
ZoKrates+Remix在线实现zkSNARK零知识证明
本文内容:利用 ZoKrates 生成的代码,写一个证明者证明自己知道某一个哈希值的 pre-iamge (哈希函数的输入值)的 zkSNARK, 将验证者的验证秘钥 verification key 和 验证算法 写到智能合约中,发布到本地虚拟的区块链网络中。至此便实现了大整数质因子分解的零知识证明,p和q是隐私输入,仅在生成证明的过程由证明者知道,n是公开输入,可以输入到公开的智能合约,智能合约自动验证零知识证明的有效性,并且修改n之后能检测出零知识证明已失效。









