代码

图 2-3 代码提交情况

代码方面，Mina 在 GitHub 有 32 个代码子库，官方认证提交人有 5 个，主要提交语言为 OCaml、C++、Python C Go 等为主，累计提交了 19,514 次代码，总参与代码提交人数为 242。在今年 3 月份之前，主网还在开发阶段，整体代码更新平稳。在 3 月主网部署完成后，代码更新方面有所下降。

技术

Mina 是一个轻量级的区块链，采用 zk-SNARK 技术，以递归零知识证明，来实现区块的大小恒定。当前零知识证明技术主要应用于隐私交易，Layer 2 等，Mina 创新性的将零知识应用于区块打包和网络状态验证。

为了更好理解 Mina 的递归零知识证明，我们先简要介绍 zk-SNARK 零知识证明技术的基本构造。

zk-SNARK 是一种简洁的非交互式零知识证明，是英文 Zero-Knowledge Succinct Non-Interactive Argument of Knowledge 的缩写，它分为两部分：

• Zero-Knowledge （零知识）：允许一方（证明方）向另一方（验证方）证明某项陈述是真实的，而不会透露任何超出陈述本身有效性的信息。

• SNARK （Succinct Non-Interactive Argument of Knowledge）指具有以下特点的知识论证：

1. 简明（Succinctly）：独立于计算量，证明是恒定的，字节空间占用较小的

2. 非交互性（Non-interactive）：证明只要一经计算就可以在不直接与证明者交互的前提下使任意数量的验证者相信

3. 可论证的知识（with Argument of Knowledge）：对于陈述是正确的这一论点有不可忽略的概率，即无法构造假证据；并且证明者知道正确陈述的对应值（即：证据）

同时，零知识证明的可信度取决于两个因素，一个是证明的难度，一个是交互的程度。证明的难度即直接从数学性质上增加证明的难度，交互的程度是指验证者不断的随机提供参数或者前提条件再由证明者证明，随着交互次数的增多，使证明者要欺骗验证者的难度增加，因为证明者在不知道正确信息下提供正确证明的概率在统计学上是递减的。

简要来说，zk-SNARK 零知识证明是指证明者能够在不向验证者提供任何有用的信息的情况下，使验证者相信某个论断是正确的。

当前以 zk-SNARK 技术为代表的项目有：

• Zcash 是首个使用 zk-SNARK 零知识证明的匿名币，能够隐藏交易者地址和交易金额。

• Tornado 是基于 zk-SNARK 在以太坊上实现的隐私交易中间件，它使用 zk-SNARK 能够以不可追溯的方式将 ETH 以及 ERC-20 代币（目前支持 DAI、cDAI、USDC、USDT、WBTC）发送到任何地址。

(责任编辑：admin)