Switch the website to: 繁體中文 English (Powered By : ChatGPT)

为何Vitalik力推zk-SNARK,解决区块链疑难杂症的重要利器

05-22 16:07
以太坊
阅读本文需 5 分钟
Translate this text into 繁體中文 English (Powered By : ChatGPT)
摘要由 ChatGPT 生成
V神不遗余力推的zk-SNARK到底是什么?zk-SNARK技术到底能解决哪些当下区块链疑难杂症?
原文来源:  Haotian(Twitter:@tmel0211),区块链安全从业者  


在黑山 EDCON 大会中@VitalikButerinV 神系统阐述了以太坊网络在扩容、隐私、安全等方面存在的技术挑战,最终得出结论未来 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 不可。


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


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


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



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


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



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



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


原文链接



Vitalik
V神
区块链
区块链技术
隐私
扩容
零知识证明
zk-SNARKs
以太坊2.0
zk-SNARK
TornadoCash
zkRollup
EDCON
以太坊
认识以太坊、了解以太坊、学习以太坊
相关文章
11-28
以太坊
浅析以太坊L2生态现状与技术发展趋势
L2网络正在部署资本来吸引新用户,并将新业务吸引到DeFi中。
11-23
以太坊
土耳其Devconnect见闻录:以太坊新叙事后继无力,混乱是加密阶梯
在土耳其,几乎遇到的每个Crypto从业者都对ETF的通过抱有强烈信念。
11-22
以太坊
热门文章
ORDI链上数据深度分析:主战场已转移,最大赢家收益高达4亿人民币
ORDI链上数据深度分析:主战场已转移,最大赢家收益高达4亿人民币
铭文风波继续,社区呼吁理性讨论解决方案
铭文风波继续,社区呼吁理性讨论解决方案
Solana生态LSD协议Jito空投,一览代币模型和分配信息
Solana生态LSD协议Jito空投,一览代币模型和分配信息
可以0.6美元埋伏JTO的交易平台,是时候认识一下Aevo了
可以0.6美元埋伏JTO的交易平台,是时候认识一下Aevo了
Binance Research:行业活力继续迸发,回顾2023年11月份加密市场
Binance Research:行业活力继续迸发,回顾2023年11月份加密市场
下载 BlockBeats App
商务联系
商务联系
我要投稿爆料
投稿