重新介绍 Mina：利用“万物证明”构建（真实）物联网

探索 Mina 的突破性区块链——通过单一、可组合的“一切证明”，实现今天的真理和明天的无限可扩展性。

作者：埃文·夏皮罗和库尔特·赫梅克

Mina 的设计有所不同。 

随着 2021 年首次发布主网，Mina 实现了一项突破 —— 一个仅几千字节就能证明其整个状态的区块链。这使得任何人都可以在几毫秒内下载并验证网络的状态，这与当今日益沉重且越来越难以访问的区块链形成鲜明对比，如果不从根本上改变，注定会屈服于状态膨胀的问题

现在，Mina 的伯克利升级版正在将同样革命性的 ZK 技术带入应用程序。这意味着 Mina 实现的去中心化程度将从现在的简单支付扩展到现实世界的程序和应用程序。

在开发这项技术时，我们意识到，通过使零知识证明（ZKP）可编程，Mina 不仅增强了去中心化，而且还创造了全新的东西。

新的设计范式：通过单一、可重用、可组合的证明来解锁

Mina 是使用递归 ZKP 从头开始​​构建的。 虽然业界经常吹捧这些证明可以增强隐私性、可扩展性和去中心化，但我们认为它们可以实现更多功能。

在可编程区块链上，他们解锁了经过验证的语句、基础设施和应用程序的开放数据库，从而促进了新的交互水平。这种开放数据库本质上是可组合的，因此 Mina 生态系统中的不同应用程序可以无缝交互并相互构建。想象一个网络，其中每条数据和每个操作都经过验证，并且可以被其他应用程序使用，而无需从头开始。

例如，您可以通过结合您之前使用过的身份应用程序和 KYC 应用程序的证明来证明使用许可 DEX 的资格。证明不仅仅是静态的，它们结合起来构建了一个真实陈述的全球数据库 —— “一切的证明”。

您会意识到，这为前所未有的应用程序开辟了全新的设计空间。区块链的核心是旨在消除信任的机器。到目前为止，这样做是可能的，但成本高昂并且会牺牲用户隐私。然而，递归 ZKP 提供了一个更具吸引力的选择：基于事实而非信任的系统。 Mina 的可组合 ZKP 允许开发人员利用和构建其他人的真实陈述，而无需支付通常的高额费用，从而实现利用协作计算的可扩展区块链应用程序。这是未知的领域。

考虑这个矩阵 —— Mina 是唯一无需许可的分布式系统。与 SQL 数据库或以太坊等传统复制系统不同，Mina 在所有服务器上复制数据并面临可扩展性挑战，而 Mina 跨网络分发数据和计算。参与者不必与整个网络共享他们的所有数据或计算 —— 他们只需共享其正确性的证明。这种分布式方法消除了冗余，减少了臃肿，并实现了前所未有的可扩展性和效率，解锁了新型用例并填补了更广泛的技术系统领域中以前未占用的空间。

简而言之，Mina 为互联网带来了诚信。人们可以互相信任，因为他们可以在任何设备上验证彼此的工作。这种信任与 Mina 的去中心化和无需许可的性质相结合，允许任何人访问系统并贡献数据，只要它可以被证明是真实的。经过验证的数据可以被重复使用或更新，从而扰乱被数据孤岛阻碍的业务，并实现更加开放和协作的数字世界。

在基础设施方面，Mina 的递归 ZKP 支持应用链和第 2 层网络，可以相互验证。每个都继承了“一切证明”的属性，在保持去中心化的同时允许前所未有的可扩展性。这一突破已经引发了创新，有两个活跃的项目引领潮流：Protokit，一个 L2 解决方案，旨在提供类似于 Solidity 的 ZK 智能合约开发人员体验；Zeko，与 Mina 同构，使构建者能够创建高效的 ZK rollups。

在用户方面，Mina 允许与链进行交互，验证其数据的真实性，同时保持敏感信息的私密性。用户可以在本地设备上证明一次，Mina 会验证一次，然后企业可以相互验证这些证明。对于企业来说，这些可验证的证据可以组合在一起，构建将用户数据集成到集体验证系统中的应用程序。这种方法确保了效率和隐私。今天，这看起来像 zkKYC、zkIdentity、zkVoting、zkGaming 和 zkDeSci。

然而，展望未来，这仅仅只是开始触及 Mina 开放的已验证语句数据库的表面。如今，数据通常孤立在大公司内部，导致生态系统支离破碎，平台无法通信。这种新范式消除了这些障碍，迎来了一波以前难以想象的应用浪潮。就像早期的技术革命一样，远见者认识到硬件的关键作用，我们正在为明天的创新奠定基础，为即将到来的革命性应用铺平道路。

为什么这很重要？为什么是现在？

在错误信息、人工智能和深度造假的时代，真相（而不是信任）至关重要，我们需要一个面向未来的基础来构建更好的互联网。

想象一下，滚动浏览您的动态并知道哪些照片是真实的，知道您正在社交媒体上与真人而不是机器人互动，启动具有数千 TPS 的应用程序链，创建具有可验证私人投票的政府平台，运行验证真实的数字选举世界结果，建立一个符合 TradFi 流动性监管的 DeFi 平台，或者玩可证明公平的在线扑克。这就是 Mina 协议所实现的未来。

凭借 Mina 的轻量级设计，验证和参与网络的成本保持较低且一致，即使在扩展时也是如此。 数据被汇总成“一切的证明”，任何人都可以在任何地方、任何设备上进行验证。

凭借其单一的全球状态证明，开发人员可以在链外构建并在链上验证，获得可选的隐私性、可定制性、可负担性和可组合性 —— 所有这些都在一个证明中。

现在怎么办？ 

最近的升级巩固了 Mina 作为第一个具有 ZK 可编程性的 ZK L1 平台的地位，这是开发人员利用 Mina 的一切证明构建（真正的）物联网的一大进步。

有远见者、颠覆者和开拓者应该加入我们。 超过 50 个项目已经在 Mina 上构建，包括 zkKYC、私人投票、zkGames 等。 一旦这些项目完成生产就绪的应用程序并经过彻底的测试和审核，它们将率先部署在主网上，标志着 Mina 生态系统的新时代。

在技术方面，确保网络稳定性仍将是首要任务，但重点将越来越多地转向支持 zkApps 在主网上的成功部署。为此，用户需要首先测试所有这些应用程序。这将通过为现有 Mina 开发人员主要使用的当前应用链提供关键技术支持、鼓励对社区应用程序进行严格测试和审核、制定开发标准等来实现。

令人兴奋的 Mina 生态系统项目即将进行 Beta 测试，他们需要像您这样的早期用户。 立即注册即可获得有关独家机会的通知！

如果您想在 Mina 上进行构建，请查看 Navigators 计划 —— 这是获得资助并加速 ZK 项目投入生产的最快方式。

要立即投入使用，请加入我们在 Discord 上由聪明、有才华的人组成的社区，并参加我们每月的照亮市政厅。 这些会议促进公开讨论并提供关键进展的最新信息，确保您始终处于创新的前沿。到时见！

广告分界线

Mina Protocol 与 OpenBuild 携手推出免费的 Web3 开发课程，旨在助力开发者从零开始学习如何在 Mina Protocol 上构建 Web3 应用。即便你之前没有接触过 Web3 技术，只要拥有一定的前端基础，就能顺利掌握开发 Web3 应用的核心技能。该课程不仅能有效提升你的开发能力，还有丰厚的奖学金等你来拿。通过这门课程，你将深入了解 Web3 生态，开启全新的职业发展之路。更多课程信息请点击这里报名学习。