人。 我听说过在以太坊拜占庭硬盘上发布的ZK（零知识）证明。 你能告诉我：我如何使用它来确保匿名的ERC20令牌交易。 我可以在基于Solidity的以太坊智能合约中使用它还是我需要等待全面实施？
感谢您提前！ ：）
答案 0 :(得分：0)
据我所知，这还不能完成。关于以太坊中ZK的唯一进展是验证在Zcash区块链上进行的交易。换句话说，是的，你需要等待一个完整的实施。
答案 1 :(得分：0)
现在，以太坊完全有可能提供零知识证明。 Zokrates，Snarky，Aztec等支持基于ZKSnark标准的ZKP实现。以太坊智能合约将对Prover链下生成的每个证明进行链上验证。我们可以通过这种方式在以太坊中使用ZK Snarks承诺和Pedersen承诺的组合。最近，ING尝试在以太坊上没有可信任的设置的防弹模型ZK Snarks。作为一种简单的方法，您可以将Circom和Snarkjs JavaScript库用作npm模块来生成证明，并使用智能合约和随机Oracle在链上验证它们。