三分钟看懂万龙链的技术亮点之四——zkSNARK

前言：零知识证明，最早可以追溯到1985年的 Zero-Knowledge Proofs 创始论文。随后1992 年提出了精简的 ZK证明。到了2013年，零知识证明已经可以在现实生活中使用，但是速度较慢。2016年的时候，Groth 提出了Groth16算法，证明计算量被大幅度减少，从此，零知识证明开始逐步被真正的商用化落地。随后推出的 Bulletproofs和zk-STARKs，与Groth16被认为是目前主流的三个证明协议。

其实，零知识证明是一种不泄露输入并且能直接证明输出正确的算法。zkSNARK则是目前零知识证明算法中验证效率最高的算法，所以在区块链上有很好的应用场景。万龙链一直积极探索存储证明等技术，zkSNARK零知识证明也是其核心技术之一。

zkSNARK的全称 zero-knowledge succint non-interactive arguments of ?knowledge，中文翻译过来就是简洁非交互的零知识证明，那这个到底是什么意思呢？

zero-knowledge很明显就是指零知识。succint我们通常翻译成简洁的，它的意思就是说这类协议验证过程中传输的数据量较小而且验证方法简单。

non-interactive的意思是非交互，零知识证明协议分为交互式和非交互式，简单来说，交互式的零知识证明需要验证双方完成一次交互，这类的证明有一个特点是不能复用，也就是说证明者每次都要生成一个新的证明给一个验证者做校验，这样做比较麻烦，但只能用一次也有好处，就是这个证明不可能被重复冒用。

那zkSNARK零知识证明能解决在区块链上主要解决什么痛点问题？

1.链上交易的隐私问题，比如比特币的交易双方地址，交易金额等;

2.链上智能合约的隐私问题,比如Alice和Bob之间的秘密合约，合约内容和执行只有双方可验证，对外部来说是加密的。

正是因为zkSNARK 算法安全性极高，所以万龙链提出一种基于zkSNARK 算法的跨链交易隐私保护方法。这种算法的匿名性更好，既不需信任中心节点，也不要网络中其他用户的参与，用户通过与匿名货币交互即可实现匿名交易，从而有效地保护用户隐私。

结语：

如今越来越多项目在波卡上积极构建应用层，也使其成为以太坊和Cosmos的重要竞争对手。未来谁能承载区块链未来发展的想象力?万龙链作为波卡生态的明星项目，能否超越波卡?可能性有多大?万龙链会给区块链行业带来哪些新变化?让我们一起期待！

—-

编译者/作者：sky110

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。