ZK 原生第一层网络
无需信任验证实现
零知识可编程性
Mina 是一个 L1 区块链,与零知识证明紧密集成。这使得它既可以非常轻量级地进行无信任验证(只有几 KB,因此手机和浏览器可以访问),又可以让用户和开发人员开发 zkApp:功能强大且易于编程的 ZKP。
Mina 的开发始于 2017 年,其愿景是构建一种普遍可访问的由参与者提供支持的加密货币。此时成立了孵化和开发协议的 O(1) Labs,协议于 2021 年启动主网。同时 Mina Foundation 成立,通过分配资源和维护网络健康来为协议和生态提供支持。
随着 Mina 的推出,一个完全简洁、高效可验证的区块链得以实现。实现这一目标,需要将一些最先进的密码学和递归 ZKP 翻译成生产代码库和软件。
ZK 可编程性的时代已经开启,具有潜力推出对标用户的应用:由 Mina 和 zkApp 带来隐私、扩展和可验证性的优势。
Mina 长年路线图
2021 年主网启动以来,Mina 生态一直致力于通过 zkApp 发挥 ZKP 的潜力。今年,Mina 将在主网上启用升级后的 zkApp 可编程性,将为开发者和用户解锁真正的 ZK 可编程性。
2023 年将是 ZK 和 Mina 的关键一年,本路线图旨在分享 Mina 下一步的愿景。Mina 已经是全球最轻量化同时是最先进的 ZK layer 1 区块链之一,但我们还有很多待完成的任务。这些任务的完成将使 Mina 对于开发者来说更加强大,既在 Web3 的当前范围内,也扩展到加密货币作为每个开发者堆栈的世界。
本路线图分为 5 个路线:信任最小化、ZK 可编程性、结算层性能、递归 Rollup 和 DAO 组织化之路。每条路线都在打造 Mina 和成为最终的第 1 层区块链方面发挥着重要作用。这个路线图是一个起点,还有多东西需要等着我们探索,我们希望在未来的几个月和几年里通过 Mina 生态对其进行迭代。
完整的 Mina Protocol 长年路线图,作为一种交互式体验,包括高级路线到每个路线的详细组件。
> 探索 Mina 路线图 <
路线图:5 个路线
了解每个路线图的意图、重要性和最终目标,以及它们如何支持 Mina 成为最终的第一层区块链。
信任最小化
确保 Mina 区块链可持续
且可扩展地实现去中心化。
信任最小化,或通常称为去中心化,可以说是加密货币存在的原因。对于任何希望为用户提供保障的重要数字系统来说,提供强有力的保障系统将按预期运行,并且不会被潜在的所有者或其他定位为利用系统的参与者所利用,是一个有益的属性。
Mina 被设计成将区块链的解决方案用于信任最小化,并将其扩展为可持续的和可扩展的。通过递归地将所有区块和交易汇总到一个证明中,Mina 的状态随着时间的推移保持可访问和即时验证,独立于它及其 zkApp 正在处理的吞吐量。
就目前而言,Mina 实现了 L1,在浏览器和节点上提供全节点验证,并与无上限参与的共识算法相结合,为去中心化提供了强大的解决方案。这条路线的存在是为了更进一步:使协议更加免受来自中心化的攻击和偏见的压制,并在 Mina 的功能设置中加入去中心化的数据存储。
我们期待这样一个世界:每个人都通过他们的手机和其他数字设备,在民主地保护 Mina 。这样,我们每个人都可以确保我们所依赖和使用的 Mina 一直保持着安全和去中心化。
归根结底,Mina 的信任最小化只有在其他路线启用功能时才会发挥作用,并且只有在治理能够与用户保持一致时才有影响力。但是,它仍然是 Mina 其他功能赖以生存的支柱。
ZK 可编程性
通过可扩展验证和零知识隐私
在 Mina 上构建尽可能最好的
ZK 可编程层。
比特币发行的时候,可编程性有限。以太坊通过 EVM 和智能合约将其提升到一个新的水平,完全支持脚本和可编程性。这些系统是通过最新的密码学实现的。然而,自新密码学的发展以来,实用的零知识证明 (ZKP) 为加密货币带来了新功能,这对于加密货币的可用性、可扩展验证和零知识隐私至关重要。
ZKP 的可扩展验证消除了各方运行所有交易的需要,同时消除了可变的 gas 费用。零知识隐私还支持隐私应用,敏感数据可以作为链上程序的一部分安全地被纳入。我们相信这两个新功能对加密货币可编程性的改进与以太坊的智能合约对比特币脚本的改进可以相比拟。
当其他 L1 通过整合 L2 系统来解决这个问题时,Mina 已经将 ZKP 整合到其核心操作中。Mina 的 ZKP 被开发成既可以通过高级工具进行日常开发,又可以为扩展密码学提供强大的低门槛访问。对于日常使用,Mina 的 ZK 智能合约层 zkApp 可以从 SnarkyJS 中使用,SnarkyJS 是一个 typescript 库,为 ZK 可编程性提供了常用的编程语言,同时具有隐私、可扩展验证、递归、可组合性和其他 ZK 特性的本地功能。
在底层,Mina 的证明系统 Kimchi 已被开发为可由开发者扩展和增强,而无需硬分叉。这使得 Mina 的 ZKP 类似于 zkCPU,具有实时选项,根据需要添加新的、低门槛的、高性能的组件。这个路线图轨道的愿景是希望充分利用这个机会,并在 Mina 上构建尽可能最好的 ZK 可编程层。
结算层性能
优化 Mina 的延迟、终结
和吞吐量的性能层。
区块链是处理信息的数字系统。信息处理方式的不同衡量标准:延迟、终结和吞吐量,成为了解这些系统如何执行的主要方式。
这个路线与优化上述层相关。实现最小延迟。快速完成交易(即时)。每秒最高交易数。在这条路线完成时,我们的目标是让每一项都实现最佳性能。
实现此目标的一种简单方法是扩展 Mina 节点的计算要求。然而,这从长远来看是行不通的:它既弱化了去中心化,又只提供了一个恒定的改进因素。在某些时候,限制会再次受到冲击。
为了提供一个完全可扩展的解决方案,我们设想由 Mina 充当 zkRollups 和 zkAppChains 的结算、安全和互操作层。在这种情况下,延迟、终结和吞吐量仍然很重要,延迟和终结可能更重要,但可以在不完全依赖将所有交易放上主链的情况下进行扩展。
Mina 已经朝着这个方向迈出了必要的第一步:递归 ZKP。在 Mina,交易不仅仅是交易,它们是证明验证 (proof verifications)。Mina 中的每个交易实际上都是一个递归证明,它可以是数千、数百万或任何数量的递归捆绑交易的 zkRollup。
在 Mina,我们关注的是扩大每秒可结算到链上的 ZK 证明的数量,并尽量减少这些证明的时间。本路线围绕这一目标进行了优化:首先优化延迟和终局性,以改善高吞吐量 zkRollups 和 zkAppChains 的结算体验,然后优化吞吐量,以提高可发生的交易结算率。
理想情况下,我们希望达到低秒级或毫秒级延迟、即时的终结,以及每秒结算数百或数千个证明。这样一来,Mina 可以成为协调全球计算的安全层,同时通过其作为结算层的地位,保持可访问的共识参与和去中心化。
Minaverse
推进平台之间可组合性的界限,
使应用和平台能够在 Mina 上
相互连接和构建。
加密货币最令人振奋的特点之一是它的互操作性。不同的应用和不同的平台可以相互连接、沟通和分享结果。
像 EVM 这样的环境在其内部具有很强的互操作性。但他们在桥接或连接到现有系统(如 Web2)方面仍然面临挑战。递归 ZKP 通过实现系统之间高效的可组合可验证性来改变这一点。
Minaverse 旨在实现平台之间的可组合性,并尽可能容易地推出新的可互操作平台。通过递归 ZKP,我们可以实现链之间的无信任桥接。我们希望将其推广到所有平台,并在 Mina 和其他链之间提供无信任桥梁。
通过将 Mina 桥接到其他链,Mina 可以为整个加密货币带来 ZK 可编程性,通过跨生态加密货币的零知识证明实现可扩展的验证和隐私。我们还可以实现加密货币以外的无信任桥接:连接到 Web2。通过 zk 预言机 (zkOracle),Mina 可以为现有的现实世界的数据提供隐私验证,并且通过 Mina 的高效验证性,Mina 还可以将加密货币带回现实世界。
Minaverse 还致力于为可组合平台构建 SDK,从而轻松构建递归相互验证的 zkRollups 和 zkAppChains,同时能够依赖 Mina 作为结算层提供的安全性。我们希望开发者能够尽可能轻松地启动一条新链,并且链能够与 Mina 和其他加密货币互操作,同时继承 Mina 的安全性。
最终,我们希望 Mina 既能与所有数字系统完全互操作,又能轻松地在其上构建新系统。这样,我们就可以为开发者提供尽可能多的灵活性和连接性。
DAO 组织化之路
为 Mina 建立一个决策系统,使其
有效运作并为世界带来积极影响。
作为一层网络,Mina 需要能够在分配资源和设置协议规则方面做出决策。如果不能就资源分配做出决定,那么协议将无法产生其竞争力和影响所必需的基本公共产品。如果协议不能就其方向和如何更新其规则做出审慎的决定,它也将无法保持竞争力。
以信任最小化的方式实现这一切也意味着这些决定不应该由个人或公司决定。最终,我们希望加密货币不仅能为自身做出决定,还能对世界及其运作方式产生积极影响。加密世界有机会来做出这种改变。如果加密货币要成为世界计算和数字价值的支柱,它将有一个不可思议的机会来塑造这个世界。理想情况下会更好。
为了让加密货币能够做到这些,我们希望加密治理与我们所有人的利益保持一致,并有效地实现这一目标。
今天,Mina 已经通过 Mina 改进提案(MIP)、链上投票和通过 zklgnite 的基本生态资金对核心协议决策进行了去中心化治理。该路线的目的是通过其他 MIP、资助计划和项目来增强现有的治理举措,从而使 Mina 的去中心化治理转向一个系统,即协议可以由一个去中心化的自治组织(DAO)来运行,并完全覆盖协议可能的运作范围。
这些组件的一些工作模式和反模式是已知的。但其中许多组件都处于假设阶段,关于成功操作的真实数据很少,需要进一步的实验和工作。这就是为什么这条路线的很大一部分是“治理沙盒”阶段,在这个阶段,整个 Mina 生态都有机会了解和尝试新的机制和流程。
最终,这项工作的结果将决定 Mina 作为全球计算层的规则,以及协议如何管理其预算,根据协议的价值和公共产品的可用机会,可能达到数千万甚至数亿。这种责任水平要求 Mina 和整个生态中的组织尝试并学习更多关于如何追求最佳治理的知识。
Mina 基金会与 Mina 的生态合作伙伴合作,对可行的方法进行了假设,这将作为社区投入的起点。技术系统有巨大的机会来连接并实现比简单的二元投票更强大的新协调系统。公民大会、二次投票和大型语言模型的情感提炼等概念,都是可以探索的,以实现决策和资源分配的统一和有效协调。
利用这些技术为有意识地迭代和改进去中心化的自治组织(即协议本身)提供了机会,在这样做的过程中,有机会优化其效率和一致性。充分发挥潜力将是一段旅程,但这就是这条路线道的意义:对 Mina 的治理进行集体、有意识的迭代,实现这些新工具和挑战所带来的机遇。
About Mina Protocol
#PoweredByParticipants
Mina 是全球最轻量区块链,由参与者参与治理。
凭借其优雅的设计,Mina 是首个实现简易编程性零知识智能合约(zkApp)的一层网络。Mina 独特的隐私和安全功能及其通过 zkApp 与任何网站链接的能力,使得 Web3 更具安全性和私密性,极大地推动着所有人都应享有的安全民主未来的构建。Mina 由总部位于美国的非营利组织 Mina 基金会管理。
全球最轻量区块链 人人皆可参与
公众号|Mina Protocol Official
微 博|Mina_Protocol
往期回顾
立即注册,加入 zkIgnite Cohort 2!
zkIgnite Cohort 1 资助项目一览|Cohort 2 & 3 即将启动!
【免责声明】市场有风险,投资需谨慎。本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资,责任自负。