Manta：用 Rust 语言开发可扩展性的隐私保护服务

我们目前使用的是 ZK-Snarks 算法，在这里也稍微讲下其工作原理。f(x)可以看做是一个 np 问题，如果把y=f(x)在坐标系里绘制出来，那么x就是这个公式的解的合集，所以我们不希望暴露x，y。然后如何证明 f(x) = y的情况下，不暴露 x，y呢?

我举一个简单的例子，Bob 想要告诉自己喜欢 Alice，但自己有比较害羞，不想把这么肉麻的话直接说出来。所以我们可以把这句肉麻的话转换成这样一个待公式f(x)=y，在此之前，我们做 key generation，一个是 prove key，给 Bob 生成交易的proof 用的，另外一个 verify key 给 Alice 证明 Bob 喜不喜欢她，但 Alice 至始至终不知道 Bob 到底说了什么。

在 Manta2.0中，我们采用了类似于 Uniswap 的 AMM 技术。在这里，我们想象一个交易池中包含了代币 A x 个数量，代币 B y 个数量，我们确保交易池中实时保持着一个恒定量：既x*y=k。当兑换发生时，既池子中 A 代币的量会增加，而 B 代币的量会减少。AMM 可以准确的给出当前用户能够兑换出的 B 的数量。

AMM 带了一些好处，除了带来了一定的 front-running resistance，并有着一定的市场效应，最为关键的是为ZK-SNarks 提供了一个很好的证明依据，我们通过证明 x*y=k 的这个状态在交易前后合法性来保证兑换过程可以顺利进行。这种 zk（zero-knowledge）实现起来比较容易且 zk proof 的过程也可以很高效。

下面介绍了 DAX scheme 的一些细节，跟 Manta1.0相同，π包含来一个零知识证明，用于确保交易前后钱包状态是正确的所需的 prove key 和 verify key，同时我们也加入了 AMM 的 proof，简单来说这个 proof 如下所示。我们这里仅进行简单的介绍，具体的细节可以去我们的白皮书中参看。Manta 最终的愿景是希望做一个隐私保护的智能合约平台，而不仅仅是一个隐私保护产品。

我们希望能从1.0和2.0产品里把常用的接口都抽象出来，另外我们也会开发一些基于 ZK-Snarks 的基础设施，从而可以降低零知识证明的使用门槛。整体来讲，零知识证明目前开发的门槛还是比较高的，Manta 希望可以降低这个门槛，让更多的项目享受即插即用的隐私保护服务。

Telegram:https://t.me/mantanetwork

Discord 中文频道：https://discord.gg/ZtSuSKRy8X

—-

编译者/作者：PolkaWorld

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。