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

在黑山EDCON大会中 @VitalikButerin V神系统阐述了以太坊网络在扩容、隐私、安全等方面存在的技术挑战，最终得出结论未来10年zk-SNARK将与区块链一样重要。 V神不遗余力推的zk-SNARK到底是什么？zk-SNARK技术到底能解决哪些当下区块链疑难杂症？ 接下来的 Thread，我来抛砖引玉大家一起探讨下。

SNARK全称为( succinct non-interactive argument of knowledge)即简洁非交互式知识论证，其核心是通过数学算法来构建一个证明系统，使得验证者在不了解原始数据的情况下验证数据本身的正确性。 其实现过程涉及可验证电路、椭圆曲线密码学原理、哈希函数、加密算法等复杂技术，在此不赘论过多细节。

由于SNARK可以把原始数据压缩为一个极小的证明来验证其输入数据的正确性，加之zk零知识的技术基础，使得zk-SNARK可以在区块链扩展性、隐私性、安全性等方面大展拳脚。 特别是2018年以太坊启用了马卡洛夫随机演算法(MAST)后，zk-SNARK可以直接融入到以太坊系统中来解决以太坊网络当下的瓶颈问题。

这正是为何，原生于 @Starknet 的zk-STARK 技术虽然可处理更复杂的计算问题（避免量子计算攻击等），但zk-SNARK却被寄予了更大厚望。 尤其是大家困惑的一些区块链悖论在换上zk-SNARK的底层后都可以有效解决，比如：保护隐私潜在的黑客洗钱问题，social recovery逃不开的中心化机构干涉问题等等。

先说扩展性。zk-rollup技术高度领先于op-rollup，是一套以太坊二层的终局解决方案。

op先默认一切交易乐观化，提交上链后再进行7天的fraud欺诈证明挑战期，而zk则可以直接基于数学算法快速、安全地确保每一笔上链的交易都具备合法性。（具体请参考此前的一篇Thread）。

这里zk-SNARK解决了以太坊扩展性的一个悖论问题，扩展性和中心化的矛盾。 虽然op-rollup解决方案实际落地场景更成熟一些，但其在排序器sequencer，optimistic乐观挑战验证的过程中却还是有中心化的潜在风险的。 我们当然可以“乐观”，但最终要实现绝对意义去中心化的rollup，还必须得SNARK不可。