什么是zk-snark

[爱的天地]

  zk-SNARK 是 Zero-knowledge succinct non-interactive arguments of knowledge 的缩写，翻译为中文则表示零知识，即在证明的过程中不透露任何隐私数据： succinct：简洁的，主要是指验证过程不涉及大量数据传输以及验证算 法简单； non-interactive：无交互。证明者与验证者之间不需要交互即可实现证 明，交互的零知识证明要求每个验证者都要向证明者发送数据来完成证明， 而无交互的零知识证明，证明者只需要计算一次产生一个 proof，所有的验 证者都可以验证这个 proof。 zk-SNARK 是证明某个声明是真却不泄露关于该声明的隐私信息的一 个很有创新性的算法，他可以证明某人知道某个秘密却不会泄露关于这个 秘密的任何信息。
  Zcash是zk-SNARKs的第一个广泛应用，zk-SNARKs是一种新颖的零知识密码学形式。Zcash的强大隐私保证源于Zcash中的屏蔽事务可以在区块链上完全加密，但仍然可以通过使用zk-SNARK证明在网络共识规则下验证为有效。

  它是对所有零知识证明问题的通用解决方法，由加密数字货币zcash首次使用并开源。zk-SNARK的优点：拥有通用库，可以解很多零知识证明问题；验证证明性能较高。

  但是zk-SNARK也有不足之处，比如.底层模型不容易理解，用户需要根据具体的零知识证明问题，在上层构建自己的业务模型，这块开发的工作量较大。生成每笔交易时延较长。

  应用场景ZKP的应用场景包括匿名可验证投票、数字资产安全交换、安全远程生物识别认证和安全拍卖等各个场景。

  零知识证明是指一方（证明者）向另 一方（验证者）证明一个陈述是正确的， 而无需透露除该陈述正确以外的任何信 息，适用于解决 任 何NP问题。而区块 链 恰好可以抽象成多方验证交易是否有效 （NP问题）的平台，因此，两者是天然相 适 应的。将零知识证明应用到区块 链中 需要考虑的技术挑战分为两大类：一类是适用于隐私保护的区块链架构设计方 案，包括隐秘交易所花资产存在性证明、匿名资产双花问题、匿名资产花费与转移、隐秘交易不可区分等技术挑战；另一类是零知识证明技术本身带来的挑战，包括参数初始化阶段、算法性能以及安全问题等技术挑战。