ARK:Vitalik 力推的 zk-SNARK 到底是什么？解决什么问题？_lunar币蒸发了多少

原文来源：?Haotian，区块链安全从业者??

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

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

Reflexivity创始人：多个DCG相关币种正被大幅抛售:12月17日消息，加密货币分析机构Reflexivity Research的创始人Will Clemente发推称，多个与DCG相关的加密货币（FIL、ZEN、ETC、NEAR等等）昨晚均遭到大幅抛售，怀疑抛压来自于DCG本身。CHEV合伙人Adam Cochran也表示，从具体某些山寨币的跌幅以及成交量来看，DCG似乎正在清算。

行情数据显示，FIL暂报3.11美元，24 小时内跌幅18.97%，凌晨最低一度触及2.419美元，最大跌幅超40%。[2022/12/17 21:50:00]

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

动态 | EOS的Activity指数为 3848 万 排名第1:据IMEOS报道，根据blocktivity.info的数据显示，截止北京时间18年12月25日11点00分 ，区块链活跃度指数排名前五名分别为：EOS，WAX，BitShares，Steem，Bitcoin。其中EOS的Activity指数为38,489,477，排名第1。Activity指数为最近24小时内在区块链上执行的操作数量。[2018/12/25]

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

动态 | EOS今日Activity指数为4380万 排名第一:据IMEOS报道，根据blocktivity.info的数据显示，截止北京时间18年12月03日11点00分 ，区块链活跃度指数排名前五名分别为：EOS，WAX，BitShares，Steem，Kin。其中EOS的Activity指数为43,808,494，排名第1。Activity指数为最近24小时内在区块链上执行的操作数量。[2018/12/3]

先说扩展性。zk-rollup技术高度领先于op-rollup，是一套以太坊二层的终局解决方案。op先默认一切交易乐观化，提交上链后再进行7天的fraud欺诈证明挑战期，而zk则可以直接基于数学算法快速、安全地确保每一笔上链的交易都具备合法性。5/n??

动态 | 以太坊创始人Vitalik Buterin被巴塞尔大学授予荣誉博士学位:据coindesk报道，以太坊创始人Vitalik Buterin刚被巴塞尔大学授予荣誉博士学位。[2018/11/30]

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

再来看隐私性。基于现有区块链技术语境，我们发展隐私技术会陷入一个逻辑悖论，隐私最终为黑客做嫁衣不成？但若基于zk-SNARK，就可以做一套Proofofinnocence方案，在保障用户通过隐私出入金的同时，又规避不法分子用来作恶。具体而言，可以将POI技术应用到Tornado类似的协议当中；7/n

POI技术给每个用户提供了基于区块链状态历史记录和私钥生成的数字指纹，当黑客试图通过Tornado的混币交易池时，若他提供的出金请求地址和入金地址相矛盾，就会被拦截并退回到原始的混币地址中。等于黑客的不明资产无法通过混币系统逃避追踪了；8/n??

当然，还可以像V神演讲中所指的那样，直接构建exclusionlist默克尔树，相当于给Tornado协议加入了一个黑名单机制。正常用户的入金不在list之内就可以生成无辜证明进而正常使用Tornado，反之则恰恰相反。加黑名单虽然有效，但有中心化风险，个人认为阻挠出入金私钥不一致的交易更有意义一些；9/n??

最后再说说第三方party抗审查悖论问题。SocialRecovery功能毫无疑问是区块链大规模应用(MassAdoption必定要走的路，但从前两天@Ledger开放此功能遭受的社区抗议就不难看出，Recovery不可能建立在Thirdparty是中心化的前提下。而zk-SNARK技术恰好可以解决这个问题。10/n??

简单来说，当用户生成多个私钥分片时，可以将碎片加密并使用zk-SNARK证明系统来生成证明，然后将证明分配给可信的机构或朋友。若用户私钥遗失，可请求第三方提供碎片数据证明，然后使用zk-SNARK来验证这些证明的准确性，进而实现了不透露私钥分片就可socialrecovery的功能。11/n??

以上内容被充分理解后，就不难看出zk-SNARK技术对于区块链系统的重要性了，它可以解决扩展性和中心化、隐私性和作恶，安全性和抗审查等种种以太坊网络当下发展悖论问题。所以V神说zk-SNARK10年后会和区块链一样重要，没准以太坊未来也会zk-SNARK化，嗯，zk-SNARKSRuleEverthingArroundMe。12/12??

感谢@TommyDeng_DAO第一时间对黑山V神大会演讲内容的概括，以及大量精彩的配图。以上技术思考仅抛转引玉开放性思考，欢迎大家拍砖讨论。??

标签：ARKNAR区块链VITDARKlunar币蒸发了多少区块链币排名Data Vital

币赢热门资讯