O(1) Labs：Mina 正成为一个向任何 L1 链提供隐私 zk 功能的 L2

作者：Phil Kelly，O(1) Labs

鉴于 zkEVM 最近的新闻，你可能会认为在 Web3，零知识证明 (ZKP) 已接近“任务完成”。对于 O(1) Labs 来说，虽然我们对零知识证明领域的整体发展速度感到振奋，但我们认为这些公告只是实现 ZKP 优势这条道路上的其中一步。以下我将对此进行解释：

今天的市场上基本上有两个 ZKP“运动”，它们使用相同的高级密码学原理，但技术方法和实际目标截然不同：

(1) 可扩展性：zkEVM 以及目前为止宣布的其他 zk rollup 将有助于扩展“常规”的 Web3 活动—— 基本上可以降低以当前形式运行智能合约的成本，无需添加任何新功能，以应对大型 L1 的挑战。（Mina 也与可扩展性相关，与其他方法相比具有潜在优势，稍后会详细介绍。）

(2) 隐私和认证：更宽泛的类别可以称为“可验证的链下计算”，其中隐私和认证是两个关键用例，但为了便于解释，我将其细化。O(1) Labs 和少数其他项目优先专注于向市场提供全新的功能。用户可以在不披露基础信息（隐私、可验证计算）的情况下提供某些证明。

一些示例用例包括：

• 隐私/匿名投票、发推、聊天等，但这些仅限于特定群体（例如，在过去 6 个月内拥有代币 x 的任何人）。

广泛的身份识别程序：

• 在不透露钱包和交易的情况下证明你的 Web3 活动。例如，向 DAO 或潜在项目合作伙伴证明你在 2014 年持有加密货币）。

• 在不透露链下活动的基础上证明来自 Web2 来源的信息。例如，向 defi 协议证明你不是 OFAC (外国资产控制办公室) 制裁国的居民，或者你的信用评分超过 700。

• 在数据接收方未见证数据来源的情况下证明数据来源（zk 预言机和链下计算证明）。

随着时间的推移，这些功能将应用于所有链 —— 通过 EVM 兼容或其他方式，实际上在不久的将来，它们并不是 zk 可扩展性 roll up、EVM 或其他方式中的原生选项 。

举一个例子，说明这两种方式在技术上有何不同： 隐私和认证（可验证的链下计算）用例需要一些非常复杂的链下活动，因为在证明的生命周期中有两个步骤：

a. 处理需要保密的数据，并在客户端生成证明（于我们而言即是通过使用 O(1) Labs 的 SnarkyJS library 开发的产品），以及

b. 在第二步中验证证明的完整性（这个例子我们只考虑在 Mina 链上）。

O(1) Labs 坚信，有效（时间和成本）处理隐私和认证的零知识证明需要一个专用的平台来生成和验证证明，我们在过去 5 年中专注于 Mina 协议，并专注于 SnarkyJS 的开发。

SnarkyJS 与 Mina 结合使用有很多优点。包括：

• 通过 SnarkyJS 可以在客户端，在常规浏览器内部生成证明，从而让只有证明而不是底层数据会离开用户的设备。这样做确保了完全隐私性（其他大多数证明系统需要将数据发送到外部证明生成器，这会影响数据泄露、成本和速度）。

• 证明系统（SnarkyJS + Mina）是专门为使用基于 PLONK 的 zkSNARK 机制而搭建的，该机制不需要 set-up 程序，无限递归，并通过自定义门等技术进行优化。

• Mina 拥有稳定和较低的手续费，没有 gas fee。任何复杂的计算所需费用与最简单的计算相同。

• Mina 的链状态很小（我们常说 22kb，但目前接近 11kb），使用无限递归技术实现。 这对我们有什么帮助？

• 解决了随着状态累积而影响其他链的链膨胀问题。

• 降低运行节点的门槛，更有利于实现去中心化。举一个实际的例子：你可以在几分钟内建立一个 Mina 节点并让它参与区块生产，只需要在加入网络之前验证一个恒定的、设定数量的最近区块/链状态证明。而在其他 L1 上同步新节点可能需要几天时间。易于设置和运行 Mina 节点应可减少对其他 L1 中常见的客户机端入站支持服务需求，并且这种服务需求是相对是中心化的。在 Mina 上，随着时间的推移，个人移动设备将能够运行节点。

• Mina 的完整链状态可以直接记录在其他链上。为实现这一点，以太坊基金会和 Mina 基金会共同赞助了 Nil 团队的以太坊桥接项目 —— 在以太坊主网上建立一个智能合约，维护整个 Mina 链状态的最新记录。这通常被称为“桥”，但我认为这是一种跨链共享数据的新方式（它不依赖于最近在某些桥上被证明很脆弱的方法，如多分片密钥监护人 multiple sharded-key guardians ，或令牌驱动信任 token-driven trust），并且应该被称为 zkBridge，或指出替代/增强其他桥接技术的方法。Mina 可以通过这个桥积累许多 ZK 证明，然后将它们“汇总 (roll up)”到其他 L1，从而为用户提供更高的效率，降低交易成本。

另一种视角是，Mina 正在成为一个向任何 L1 链提供隐私 zk 功能的全球 L2。虽然 Mina 是一个 L1，但由于其隐私和认证的独特作用，我们预计在许多情况下，Mina 上的 ZKP 电路会在另一个 L1 上的 dapp 的客户甚至他们交易生命周期中整体使用。例如，以太坊主网 defi 协议可能会使用 Mina 让用户在入职和账户维护方面以匿名方式证明他们的居住地和信用评分范围。 也就是说，我们预计会有许多原生的 Mina 用例，并将 Mina 视为多链活动中的中介环境。

Mina 是否期望支持高拓展性？

根据 Mina Foundation 首席执行官 Evan 最近的推文，是的。事实上，Mina 基金会资助了上一个 zkApp Builder Program 的一个 roll up 项目，并且一些 dapp 正在探索特定于 dapp 的 roll up，roll up 到 Mina 主网。

随着 zkApp 即将迎来上线，O(1) Labs 将发布一些和 SnarkyJS 以及 Mina 用例特定部署相关的深入观点。同时，欢迎查看以下链接加入我们的零知识证明活动！

• 使用 SnarkyJS Week 中的材料学习基础知识，如果你是开发者，可以在阅读此处尝试开始搭建 zkApp。

• 阅读我们推出合作伙伴计划的相关公告，Brave Browser、SISMO和DIA等Web3隐私和证明创新者使用SnarkyJS构建ZK智能合约代码并提供反馈。

• 申请即将推出的 O(1) Labs  zkApp Builder Program。

更多有关 O(1) Labs：Web｜ Twitter｜Mina

原文地址