零知识证明技术保证计算的完整性、正确性和隐私，并可应用于区块链扩容和隐私。zk-SNARK和zk-STARK各有优点，它们的合理结合更有潜力。zkVM能赋予应用零知识证明能力，zkVM分为使用主流、EVM或全新指令集。zkEVM是兼容EVM且零知识证明友好的环境，主要分为原生和编译流派。支持Solidity生态的通用zkVM是Web3的未来。
不严谨但简单易懂地来介绍一下零知识证明：
以小学数学为例，老师是验证者，学生是证明者。如果一个学生掌握了一元二次方程的求解公式，老师可以通过类似数学考试的方式验证他的掌握程度。在整个过程中，学生不需要透露具体的求解公式，这就是零知识证明。
SNARK和STARK：
区块链中常用的“zk”通常指的是ValidityProof。真正的零知识证明技术包括SNARK和STARK，可以实现区块链的扩容和隐私保护。STARK支持可扩展的证明语句，而SNARK支持任意的电路，两者各有优势。目前主流采用SNARK技术实践，STARK在StarkWare已上线的产品中有广泛应用。
从Meme的角度而言，STARK比SNARK优秀。以上是零知识证明技术简介及SNARK和STARK的对比。
