作者:浩天
在黑山EDCON大会上,V神系统阐述了以太坊网络在扩容、隐私、安全等方面的技术挑战,最终得出结论:未来10年,zk-SNARK将和区块链一样重要。神V不遗余力推的zk-SNARK是什么?zk-SNARK技术能解决当前哪些区块链疑难杂症?下一个帖子,我会和你展开讨论。
SNARK称为(知识的成功非交互论证),即简明非交互知识论证。其核心是通过数学算法构建一个证明系统,使验证者在不知道原始数据的情况下,验证数据本身的正确性。其实现过程涉及到可验证电路、椭圆曲线密码原理、哈希函数、加密算法等复杂技术,这里就不赘述了。
因为SNARK可以将原始数据压缩成一个非常小的证明来验证其输入数据的正确性,而zk-Snark可以在区块链可扩展性、隐私性和安全性方面下大功夫。尤其是2018年在以太坊推出makarov随机算法(MAST)后,zk-SNARK可以直接集成到以太坊系统中,解决以太坊网络的瓶颈问题。
这也正是StarkNet原生的zk-STARK技术能够处理更复杂的计算问题(避免量子计算攻击等)的原因。),但zk-SNARK被寄予了更大的希望。特别是一些大家都很困惑的区块链悖论,被替换成zk-SNARK的底层后可以得到有效解决,比如保护隐私的潜在黑客洗钱问题,社会恢复无法逃脱的集权机构的干扰等等。
先说可扩展性。Zk-rollup技术高度领先于op-rollup,是以太坊二层的最终解决方案。Op默认所有交易的乐观,然后在提交缠绕后进行7天的防欺诈挑战期,而zk则可以直接基于数学算法快速安全地保证每一笔缠绕交易的合法性。(详情请参考之前的帖子。)
这里zk-SNARK解决了以太坊扩展性的一个悖论,扩展性和中心化的矛盾。虽然op-rollup解决方案的实际落地场景更加成熟,但在定序器和优化乐观挑战验证过程中,仍然存在中心化的潜在风险。当然,我们可以“乐观”,但最终必须让SNARK实现绝对的去中心化上卷。
再来看隐私。基于现有的区块链技术背景,我们的隐私技术发展将陷入逻辑悖论。隐私最终会成为黑客的嫁衣吗?但如果是基于zk-SNARK,我们可以做一套证明清白(POI)方案,既能保证用户通过隐私存取款,又能避免犯罪分子利用其作恶。具体来说,POI技术可以应用于Tornado中的类似协议;
POI技术为每个用户提供了一个基于区块链历史和私钥生成的数字指纹。当黑客试图通过Tornado的混币交易池洗钱时,如果他提供的取款地址与存款地址不一致(私钥不同),就会被拦截并返回到原来的混币地址。等于黑客的未知资产无法通过混币系统逃脱追踪;
当然也可以直接构造排除列表默克尔树,就像神五的演讲中指出的那样,相当于在Tornado协议中加入了黑名单机制。正常用户如果自己的投资不在列表中,可以生成无罪证明,然后正常使用Tornado,反之亦然。黑名单虽然有效,但是有中心化的风险。个人认为,阻止存取款私钥不一致的交易更有意义。
最后说一下第三方党反审查(安全)的悖论。毫无疑问,社会恢复功能是区块链大规模应用(大规模采用)的方式,但从莱杰这两天遭受的社区不满不难看出,恢复不能建立在第三方中心化的前提下。而zk-SNARK技术正好可以解决这个问题。
简单来说,当用户生成多个私钥片段时,可以对片段进行加密并使用zk-SNARK证明系统生成证明,然后将证明分发给可信机构或朋友。如果用户私钥丢失,可以要求第三方提供碎片数据证明,然后使用zk-SNARK验证这些证明的准确性,从而实现不泄露私钥碎片的社会找回功能。
充分了解以上内容后,不难看出zk-SNARK技术对于区块链系统的重要性,可以解决以太坊网络当前发展中的各种悖论问题,如扩展性与中心化、隐私与邪恶、安全与反审查等。所以神V说10年后zk-SNARK会和区块链一样重要,说不定以后以太坊就是ZK-Snark了。嗯,ZK-斯纳克统治着我周围的一切。
感谢@TommyDeng_DAO第一时间总结黑山V神发布会演讲内容和大量精彩图片。以上技术思路只是一个开放的思路,欢迎大家讨论。
本网站声明:网站内容来源于网络。如有侵权,请联系我们,我们会及时处理。
温馨提示:注:内容来源均采集于互联网,不要轻信任何,后果自负,本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权,请给我们来信(j7hr0a@163.com),我们会及时处理和回复。
原文地址"为何Vitalik会认为未来10年zk-SNARK技术跟区块链一样重要?":http://www.guoyinggangguan.com/qkl/147444.html。

微信扫描二维码关注官方微信
▲长按图片识别二维码