注：原文来自@ArrowCrypto_eth发布长推。

最近在看一些海外加密基金对Crypto生态的拓展和创新。今天就来看看本月A16Z Crypto新推出的两个SNARK工具。尽量只聊什么东西可以解决什么问题。

谈到SNARK那就先聊一聊zkSNARKs吧，实际上今天聊的话题中这是两个不同的方面。

既然从zkSNARKs开始聊起，零知识的基本原理证明就不再赘述，这项技术具有完备性，正确性和零知识性三个特点，可以实现即证明了结论又不需要透露任何细节。同时，在同态加密的背景下，验证难度要远远低于生成证明难度。

我们之前在聊Layer2的时候其实提到过ZK，比如Zk-Rollup，作为一种有效证明机制为以太坊的扩容提出了新的方案。之前大家忙着撸空投做交互的zkSync，其核心即使用ZK将多个操作包到一个证明里，在链下完成大多数计算工作。

zkSNARKs——零知识证明应用最广泛的技术

zk-SNARK，即“Zero-Knowledge Succinct Non-Interactive Argument of Knowledge”，即零知识简明非交互式知识证明。 特性是①证明某个陈述为真但不揭露任何其他信息；②证明大小很小且易于验证；③无交互。

实际上，这两种ZKP的主要类型：交互式ZKP和非交互式ZKP都是证明者（prover）和验证者（verifier）之间进行的过程，只是证明的交互流程不同。

以Schnorr协议为例，交互式需要verifier生成一个随机数，而非交互式中则不需要这样的角色，prover可以自行生成证明给所有人验证。

zkSNARKs的大概原理是：

zkSNARKs是基于NP问题的，而NP问题属于在多项式时间内不可解，但给定一个解，可以在多项式时间内进行验证是否正确。zkSNARKs就依托于某种NP问题，难以求解但可以快速验证。

把这个问题换个形式，进行QAP二次算术程序转化，同时会构建一个对应于代码输入的解“QAP的Witness”，再基于此解构建一个实际的零知识证明系统。