伙计们。我听说了ZK（零知识）证明，这些证明已在以太坊拜占庭式Hardfork释放。您能告诉我：如何使用它来确保匿名ERC20令牌交易。我可以在基于坚固的以太坊智能合同中使用它，还是需要等待完整实现？
谢谢您的进步！：）
据我所知，这尚无法完成。关于以太坊中ZK的唯一进展是验证在ZCash区块链上进行的交易。换句话说，是的，您需要等待完整的实现。
零知识证明现在在以太坊中很有可能。Zokrates，Snarky，Aztec等。基于ZKSNARK标准支持ZKP实现。以太坊智能合约将对供摊位产生的每个证据进行链核验证。我们可以以这种方式使用以太坊中ZK Snarks和Pedersen承诺的组合。最近，ING尝试了Bullet Suffer Model ZK Snarks，而没有信任以太坊的设置。作为一种简单的方法，您可以将Circom和Snarkjs JavaScript库用作NPM模块，以生成证据，并使用智能合约和随机甲壳在链上验证它们。
github上的zokrates
以太坊上的Semapore
aztec prtocol
可验证的ZKP编译器