Mina Protocol(前称 Coda Protocol)是一个固定大小的 L1 区块链,构建于零知识证明(“ZKP”)之上,智能合约使用 TypeScript 编写。它是一个 22KB 的“简洁区块链”。[1][2][3][4]
Mina Protocol 由 O(1) Labs 于 2017 年成立。最初名为 Coda Protocol,但由于名称与 R3 的 Corda 区块链过于相似,在与 R3 发生商标纠纷后,不得不于 2020 年 9 月更名为 Mina。[17] [16][18]
Mina Protocol 由计算机科学家 Evan Shapiro 和 Izaak Meckler 创建,并在其网站上自称为“世界上最轻的区块链”。[3]
Mina 是世界上最轻的区块链,由参与者驱动。通过使用零知识证明,Mina 正在为我们都应得的安全、民主的未来创建基础设施。
2020 年 10 月,Mina Protocol 在一轮融资中筹集了 1090 万美元,由总部位于香港的 Bixin Ventures 和总部位于新加坡的 Three Arrows Capital 共同领投。Mina 计划于 2020 年第四季度推出 主网,但 O(1) Labs 首席执行官 Evan Shapiro 告诉 CoinDesk,由于“在假期附近启动区块链绝不是一个好主意”,该计划已推迟到 2021 年初。[14]
2021 年 3 月 23 日,Mina 在 主网 上启动,并宣布与 CoinList 合作进行代币销售。[13]
O(1) Labs 和 Mina Foundation 的首席执行官兼联合创始人 Evan Shapiro 分享道:
“Mina 旨在通过其轻量级区块链来增强用户的能力,让用户可以直接、无需许可地访问加密货币,而其 Snapps 或 SNARK 驱动的应用程序为互联网隐私和数据安全带来了新的可能性。凭借其轻量级设计和 Snapps,Mina 提供了一个无缝的网关,可以将现实世界与加密世界私密地连接起来。”[13]
Mina 协议使用零知识简洁非交互式知识论证 (zk-SNARKs),这是一种加密证明,使某人能够在不泄露所述信息的情况下验证信息。[5]
2022 年 3 月 17 日,Mina 生态系统宣布[21]已筹集 9200 万美元,以通过赠款吸引世界一流的开发人员。这 9200 万美元的融资由 FTX Venture 和 Three Arrows Capital 领投,对冲基金 Brevan Howard(及其联合创始人兼亿万富翁 Alan Howard)、Amber Group、Blockchain.com、Circle Ventures、Finality Capital Partners、Pantera 以及五家未具名的 Mina 支持者也提供了帮助。[22]
该公司表示,此次融资的收益将有助于资助赠款,以吸引开发人员并推动 Mina 作为 Web3 中领先的零知识平台的采用。[22]
“我们很高兴与 Mina 生态系统和世界一流的基金合作完成这 9200 万美元的融资。来自加密领域一些最受尊敬的实体的这种验证加强了我们的目标,即确保 Mina 成为 Web3 的首选隐私和端到端安全层,同时仍然由参与者驱动。”
zkApps(“零知识应用程序”)是由零知识证明驱动的 Mina Protocol 的 智能合约,特别是使用 zk-SNARKs。zkApps 提供诸如无限的链下执行、区块链永远看不到的私有数据输入的隐私、使用 TypeScript 编写智能合约的能力等特性。[6]
零知识证明是一个保持 Mina 区块链轻量化和个人数据私密的理念。它允许不向任何观察者泄露信息。[7]
Zk-SNARKs 代表 “零知识简洁非交互式知识论证”,它是一种零知识密码学形式,其中一个人可以证明拥有信息(例如私钥),而无需泄露所述信息,也无需证明者和验证者之间的交互,从而确保用户的隐私。[8]
Mina Protocol 使用一种名为 Ouroboros Samasika 的 权益证明 共识机制。这种共识机制是专门为简洁的去中心化网络设计的,因为它提供了从创世区块的引导。[7][9]
简洁区块链包含两个主要功能:验证 和 更新。验证涉及共识、区块链摘要和区块,而更新功能与共识和链摘要交互。[4]
该项目还使用并行扫描状态来优化交易处理速度,该状态通过对未经验证的区块进行分组并将该过程分配给并行证明者来实现。[4]
Mina 旨在通过使用一种独特的方法来区分自己与现有的区块链平台,在这种方法中,各种参与者负责去中心化网络上的不同功能。这些角色包括 验证者、区块生产者 和 snarker,这与其他依赖验证者(例如矿工/质押者)和轻客户端作为第三方来验证交易的平台不同。[10]
验证者与处理认证共识信息的 zk-SNARKS 交互。每个 Mina 协议用户都被视为验证者,前提是他们的设备可以处理 22 KB 的链并承受几毫秒的处理时间。[10]
Mina 中的区块生产者可以是 质押者 或矿工,并获得区块奖励和交易费用。他们负责将交易捆绑到区块中,并 SNARKing 等量的先前交易以防止不完整的区块。用户可以将他们的代币委托给区块生产者。Snarker 是一组特殊的参与者,他们可以生成 SNARK(零知识简洁非交互式知识论证),区块生产者可以使用这些 SNARK 来履行他们的 SNARKing 义务。[10]
Snarker 或证明者负责生成 zk-SNARK,用于验证 Mina 区块链上的交易。区块生产者使用添加新区块时获得的交易费用来支付 snarker 的费用,但 snarker 必须竞标才能获得费用。一旦 snarker 的 zk-SNARK 在区块中使用,使用它的区块生产者就有责任激励 snarker。这创造了一个竞争性经济,其中多个 snarker 可以竞标同一笔交易。区块生产者通过选择费用最低的竞标来寻求最大化利润,从而激励 snarker 生产具有成本效益的 SNARK。[10]
Mina 交易从验证者执行交易开始,该交易进入内存池。然后,Snarker 为没有 snark 的新交易生成证明。下一步涉及选择一个区块生产者来生产一个区块,并选择最有利可图的交易和等量的未 snarked 交易。[16]
然后,区块生产者必须从与这些交易对应的 SNARK 订单簿中购买 SNARK。完成后,区块生产者将一个新区块添加到 Mina 区块链,并通过添加新交易和删除 snarked 交易来更新队列状态。最后,区块生产者更新区块链的 zk-SNARK,并验证新区块。[16]
MINA 是 Mina 区块链 的原生货币。MINA 代币是 质押 和在 Mina 区块链上生产区块所必需的。它们也是 Snarketplace 的独家货币,区块生产者和 SNARK 生产者使用它来买卖 SNARK 证明。每个 MINA 代币最多可分为 9 个小数位。[1]
Mina Foundation 的代币销售在 2021 年 4 月的四个小时内产生了 1870 万美元,此前大量 CoinList 用户试图购买比 区块链 项目愿意出售的更多的 MINA。根据 CoinDesk 审查的数据,在 375,000 名注册者中,只有 12% 的人能够购买 Mina Foundation 提供的 7.5% 的 MINA 供应量。[15]
2021 年 9 月 9 日,Polygon 宣布与 Mina Protocol 集成。[12]
“@MinaProtocol 和 Polygon 正在努力构建一座桥梁,该桥梁将使在 Polygon PoS 上构建应用程序的 #开发人员能够通过 Mina 基于 zk-SNARK 的协议来利用隐私和可验证性。”
Mina Foundation 首席执行官 Evan Shapiro 说:
“Mina Foundation 与 Polygon 拥有一个共同的梦想,即建立一个完全去中心化的 dapps 生态系统,使用户能够控制自己的数据隐私。我们对将在 Polygon 上使用 Mina Protocol 启动的隐私保护和可验证应用程序感到非常兴奋。”[12]
Mina Protocol 宣布[20]了其公开路线图,这是一个多年愿景,旨在通过零知识可编程性解锁用户拥有的去中心化网络,该路线图于 2023 年 4 月 6 日上线。[19]
该路线图分为 5 个轨道:信任最小化、ZK 可编程性、结算层性能、递归 Rollup 和 DAO 化之路,每个轨道都在使 Mina 成为其应有的一切以及最终的第 1 层 区块链 中发挥作用。[19]