1

伙计们。我听说了在以太坊拜占庭硬分叉上发布的 ZK(零知识)证明。你能告诉我:我如何使用它来确保匿名 ERC20 代币交易。我可以在基于 Solidity 的以太坊智能合约中使用它还是需要等待完全实施?

谢谢你的提前!:)

4

2 回答 2

0

据我所知,这还不能做到。以太坊中关于 ZK 的唯一进展是验证在 Zcash 区块链上进行的交易。换句话说,是的,您需要等待完整的实施。

于 2017-12-22T17:47:12.013 回答
0

零知识证明现在在以太坊中是完全可能的。Zokrates、Snarky、Aztec 等支持基于 ZKSnark 标准的 ZKP 实现。证明者在链下生成的每个证明都将在以太坊智能合约中进行链上验证。我们可以通过这种方式在以太坊中使用 ZK Snarks 和 Pedersen Commitments 的组合。最近 ING 在以太坊上尝试了没有可信设置的 Bullet Proof 模型 ZK Snarks。作为一种简单的方法,您可以使用 Circom 和 Snarkjs JavaScript 库作为 npm 模块来生成证明并使用智能合约和随机预言机在链上验证它们。

Github 上的 Zokrates

以太坊上的Semapore

阿兹特克议定书

可验证的 ZKP 编译器

于 2020-01-31T06:58:27.560 回答