原文来源：?Haotian，区块链安全从业者??
在黑山EDCON大会中@VitalikButerinV神系统阐述了以太坊网络在扩容、隐私、安全等方面存在的技术挑战，最终得出结论未来10年zk-SNARK将与区块链一样重要。V神不遗余力推的zk-SNARK到底是什么？zk-SNARK技术到底能解决哪些当下区块链疑难杂症？接下来的Thread，我来抛砖引玉大家一起探讨下。1/n
SNARK全称为(succinctnon-interactiveargumentofknowledge)即简洁非交互式知识论证，其核心是通过数学算法来构建一个证明系统，使得验证者在不了解原始数据的情况下验证数据本身的正确性。其实现过程涉及可验证电路、椭圆曲线密码学原理、哈希函数、加密算法等复杂技术，在此不赘论过多细节。2/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]
由于SNARK可以把原始数据压缩为一个极小的证明来验证其输入数据的正确性，加之zk零知识的技术基础，使得zk-SNARK可以在区块链扩展性、隐私性、安全性等方面大展拳脚。特别是2018年以太坊启用了马卡洛夫随机演算法(MAST)后，zk-SNARK可以直接融入到以太坊系统中来解决以太坊网络当下的瓶颈问题。3/n??
哥伦比亚政府选择基于Algorand区块链的Vitalpass作为官方数字疫苗接种护照:9月11日消息，由Auna Ideas基金会和Koibanx共同创建并利用Algorand区块链开发的COVID-19数字疫苗接种护照Vitalpass，已被哥伦比亚政府选为其官方免疫接种证书。
据悉，哥伦比亚是拉丁美洲第一个采用这种技术的国家。此前，萨尔瓦多政府与拉丁美洲区块链资产代币化和金融基础设施公司Koibanx签署了一项协议，以在Algorand之上开发其区块链基础设施。（雅虎财经）[2021/9/11 23:17:57]
这正是为何，原生于@Starknet的zk-STARK技术虽然可处理更复杂的计算问题，但zk-SNARK却被寄予了更大厚望。尤其是大家困惑的一些区块链悖论在换上zk-SNARK的底层后都可以有效解决，比如：保护隐私潜在的黑客问题，socialrecovery逃不开的中心化机构干涉问题等等。4/n??
Verofax完成Pre-Seed轮融资，Privity参投:Verofax Limited完成Pre-Seed轮融资，Privity FZ LLE参收购一部分股权。据悉，Verofax Limited是一家应用区块链构建创新溯源服务的初创公司。Privity FZ LLE是阿联酋专注于风险投资的独立咨询公司。（Scoop）[2020/7/6]
先说扩展性。zk-rollup技术高度领先于op-rollup，是一套以太坊二层的终局解决方案。op先默认一切交易乐观化，提交上链后再进行7天的fraud欺诈证明挑战期，而zk则可以直接基于数学算法快速、安全地确保每一笔上链的交易都具备合法性。5/n??
这里zk-SNARK解决了以太坊扩展性的一个悖论问题，扩展性和中心化的矛盾。虽然op-rollup解决方案实际落地场景更成熟一些，但其在排序器sequencer，optimistic乐观挑战验证的过程中却还是有中心化的潜在风险的。我们当然可以「乐观」，但最终要实现绝对意义去中心化的rollup，还必须得SNARK不可。6/n??
声音 | Vitalik：被捕以太坊科学家 Virgil Griffith 未给朝方提供任何实质帮助:以太坊联合创始人 Vitalik Buterin 发表长文，澄清以太坊基金会科学家 Virgil Griffith 访问朝鲜是个人行为，未给朝鲜政府提供任何实质性的帮助，并在准备请愿书要求释放 Virgil Griffith。Buterin 表示，Virgil Griffith 是我的好友，访问朝鲜是他的个人行为，以太坊基金会并未提供任何形式的支持。对地缘的开放态度是一种美德，而 Virgil Griffith 的这个优点在之前就已经体现出来了，比如帮助增进了与以太经典、Hyperledger 之间的关系。我认为 Virgil 并未给朝鲜政府提供任何实质性的帮助，他根据有关开源软件的公开信息发表了演讲，这并不是什么高深的黑客技术辅导。我希望美国能专注到真正有害的事情上，而不是抓捕发表公开信息演讲的程序员。此前，纽约南区检察官办公室和联邦调查局宣布，已逮捕以太坊基金会研究科学家 Virgil Griffith，指控他违反美国制裁法案，前往朝鲜参加区块链大会，发表演讲并提供建议，帮助朝鲜利用加密货币和区块链技术逃避制裁。[2019/12/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神大会演讲内容的概括，以及大量精彩的配图。以上技术思考仅抛转引玉开放性思考，欢迎大家拍砖讨论。??
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。