NAR:Vitalik 力推的 zk-SNARK 到底是什么？解决什么问题？

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

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

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

以太坊公益组织 Nomic 基金会获 Vitalik 等捐赠1500万美元:2月12日消息，以太坊公益组织Nomic基金会于2月9日宣布正式成立，专注于改进和扩展以太坊的开发者平台，同时接管 Hardhat 和 Nomic Labs 的其他开放工程项目和相关团队，未来将继续扩展 Hardhat 工具套件。Hardhat是一个编译、部署、测试和调试以太坊应用的开发环境。

据介绍，以太坊基金会、Vitalik Buterin、Coinbase、Consensys、The Graph、Polygon、Chainlink、Gnosis、a16z、a_capital 和 Kaszek Ventures 已经向该组织捐赠 1500 万美元，其中以太坊基金会捐赠 800 万美元。接下来，该组织还将向几个 DAO 提交资金提案，以达到 3000 万美元的总资金。[2022/2/12 9:47:48]

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

慈善组织Future of Life Insitute设立以Vitalik Buterin命名的奖学金:9月24日消息，慈善组织 Future of Life Insitute 设立了以以太坊创始人 Vitalik Buterin 命名的博士和博士后奖学金，将奖励对以人工智能（AI）存在的安全性为主题的研究。其中博士奖学金最高每年 4 万美元，持续五年，以支付学费等并额外提供 1 万美元的研究经费；而博士后奖学金将授予 2022 年秋季后取得博士学位的博士后研究员，每年将提供 8 万美元的奖金，持续三年，并额外提供 1 万美元的研究经费。[2021/9/24 17:03:47]

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

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

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

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

动态 | Vitalik Buterin或将退居幕后:11月2日消息，近日，在以太坊基金会主办的会议Devcon上，Buterin在会议中表示，他应该开始退居幕后了，这是“社区发展的重要一步”。为什么呢？简单来说，在一个真正去中心化的系统中，不应该存在一个足以击垮整个系统的部分。[2018/11/2]

再来看隐私性。基于现有区块链技术语境，我们发展隐私技术会陷入一个逻辑悖论，隐私最终为黑客做嫁衣不成？但若基于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以太坊区块链Mark.SpaceFairLunar以太坊价格今日行情美元区块链域名开发

火币网下载官方app热门资讯