摘要：原文作者：o1labs Phil Kelly原文翻译：YBB Capital Erin前言Mina 的重大升级带来了创新的零知识用例，引入了在客户端环境（如浏览器或服务器）中离线执行智能合约的能力。本文探讨了 zkApps（启用...
原文作者：o1labs Phil Kelly
原文翻译：YBB Capital Erin
前言
Mina 重大升级带来了创新的零知识用例，并引入了在客户端环境（如浏览器或服务器）中离线执行智能合同的能力。本文讨论了 zkApps（启用 zk 它们对应用程序的重要性 Web3 潜在的影响，以及 Mina 即将来临 Berkeley 升级的关键作用。
高速发展 Web3 在该领域，零知识的最新突破开启了一个新时代。从更快的速度出发。 rollups 轻客户端到桥接技术，zk 基础设施的进步一直吸引着人们的注意。但我们认为，一种真正改变游戏规则的能力已经出现了——在浏览器或服务器等客户端环境中完全离线执行智能合同。
转移到链下
这是如何实现的？这一创新的关键在于使用它。 zk 应用程序（zkApp）代码制作智能合同。这种代码可以保证防篡改执行，并可以向第三方确认操作的准确性，而无需引入新的信任假设，这本质上反映了链上智能合同的功能。
这些支持 zk 应用程序具有深远的意义。通过将智能合同的执行转移到链外，我们可以克服与链上执行相关的诸多挑战，如 Gas 成本、数据限制、规模限制和时间滞后。此外，zkApps 还可以加强隐私保护，允许验证年龄等敏感信息，而不泄露出生日期等准确的个人详细信息。
zkApps 推出将掀起创新浪潮，为创新浪潮， Web3 赛弗朋克精神注入了新的活力，重振了过去 5-10 年中曾被认为无法实现的想法。
在链上进行导向
虽然 zkApps 它具有链外功能，但导向链仍然特别重要。经过两年多的发展，Mina 的 Berkeley 升级版已进入最终准备阶段。为什么？ zkApps 需要链条吗？因为链外 zkApp 确认需要验证，而使用链可以带来几个值得信赖的验证优势:
链条本身由专业中立验证人自动验证
根据验证结果自动触发后续行动(例如，当你证明自己年满时， 18 岁时，你的 DeFi 账户将开通，交易将结束)
验证信息永久存储，用于未来数据参考
可以连接到其他链的验证
实际情况是，链下智能合约与链上验证之间的验证过程听起来并不那么性感。如果错过了，链外方法的优势很快就会减弱。要是没有像 Mina 这样专门搭建的链条，智能合约验证可能会变得庞大、复杂、昂贵，因此 Mina 从一开始就是处理零知识证明（ZKPs）而搭建的。Berkeley 升级后，Mina 区块链将成为验证链外应用证书的最佳场所。为何 Mina 将成为验证 zkApps 最好的地方？
没有 Gas 成本，无论链下智能合约规模大小，验证链上证明的成本总是很低；
Mina 细微的状态代表了在不久的将来，一个完整的节点应该可以在客户的浏览器中运行，允许提交确认，而不使用第三方的远程过程呼叫（RPC）协议-特别适合保护隐私；
Mina 细微的状态也意味着它可以通过基于状态证明的桥接在其他链上表达(不需要) Token 黑客入侵)，因此， Mina 可以作为整个 Web3 模块化确认层。除了许多其他功能，这可以让你只写一次 zk 应用程序，一次在 Mina 验证导出，然后将验证桥收到多个其他链。这是一个实时的，多链 DApp 时代。
验证可以直接进行 EVM 但在软件应用领域，我们都知道 "能够 "并不等于 “应该”。所以理论上讲，所以。 EVM 也可用作其他链的数据可用性（DA）层和分散排序器，但是 Web3 世界验证模块化是实现这些专业功能的一种方式，验证是一种高度专业化的功能。
链下革命
让我们回到应用程序编程代码，展望 2024 剩下的时间，我们在这里 o1Labs 期盼着由 zk 链下计算驱动的应用程序和用例创新激增，这种链下革命带来了几个令人兴奋的概率:
无燃料成本计算：zk 链下计算允许无燃料费地随意计算，无需信任；
可验证隐私：客户端 zk 确保可验证隐私的普遍可用性；
Web2数据的使用：采用多方计算（MPC）和 ZK “公证”，使Web2数据的日常使用成为可能；
zkApps 简单构建:新领域特定语言（DSL），如 o 1 js，使用 TypeScript，使开发人员能够快速快速地构建起来 zk 应用程序。
o1js： 让链下也可以浏览 zk 代码
虽然过去可以在链下构建 zk 代码，但实际上一直存在困难，o1js 让这一切变得简单。使用它。 TypeScript，o1js 它提供了一种高级、直观的语言，让您更容易部署和维护。因为。 o1js 支持 WebAssembly (WASM) 功能，你的 zkApp 它也可以在用户的浏览器中无缝运行。此外，还可以使用。 o1js 递归能力将从链下计算的多个确认中汇总并压缩成一个小的确认。
o1js 自 2022 2008年至今已可用，不仅完善了，而且获得了新的能力。最近对 o1js 一轮激动人心的基本功能增强，使得基本功能的增强令人兴奋 zk 应用程序可以处理更广泛的输入。示例包括：
发布 ECDSA 和 Keccak 对基元进行处理，使您可以使用经过的基元 MetaMask 签名的以太坊数据库数据；
支持 SHA-256 这是加密算法 Web2 世界上许多数据库（如护照数据）的基础；
公证和见证基元，使 Web2 对话中的信息变成证明数据（例如，您的银行账户余额）。更多信息，请注意！
加入 zkApp 革命
zkApps 在 Mina 上面的出现意味着 Web3 在发展的关键时刻，解锁曾经被认为不切实际的概率领域。我们期待着看到它。 Berkeley 升级后生
将构建什么样的态系统。通过它在那里。 Twitter/X 关注我们，加入我们 Mina Discord，来及时掌握 Berkeley 最新动态。