月亮链 月亮链
Ctrl+D收藏月亮链
首页 > 比特币 > 正文

ARK:零知识证明的技术路径之争:zk-SNARK和zk-STARK谁更优?_NFT STARS

作者:

时间:1900/1/1 0:00:00

Crypto行业被广泛关注的零知识证明技术,并非是这几年刚冒出来的新技术,而是在1980年就被数学家S.Goldwasser、S.Micali及C.Rackoff提出。

零知识证明涉及一系列步骤,可以实现密码学中的「可用而不可知」。

而区块链有着公开透明、不可篡改等特征,意味着加密投资者的链上资产及交易记录是没有隐私可言的,于是零知识证明技术被引入了区块链,当中以zk-SNARK和zk-STARK最为关注。

zk-SNARK被项目方采用得最多,zk-STARK则被密码学专家认为优于ZK-SNARK。那么综合技术与实际应用,二者谁更优?

zk-SNARK:简洁+非交互性

AlessandroChiesa等人在2012年开发了zk-SNARK协议,这是一种简洁化、非交互式的零知识证明技术,全称是zero-knowledgesuccinctnon-interactiveargumentsofknowledge,可以拆解成三部分来理解:

Animoca Brands Japan将对SmartRetail进行战略投资:3月16日消息,Animoca Brands Japan宣布承诺对SmartRetail进行战略投资,SmartRetail是一个结合了人脸识别技术的客户分析解决方案,通过部署在便利店、加油站、自动售货机等场景,可以通过有价值的外部广告活动从消费者流量中获利,从而为消费者带来即时的店内激励。通过对SmartRetail的投资,Animoca Brands Japan旨在在日本建立一个户外互动平台,为消费者提供提供Web3激励的选项。[2023/3/16 13:07:29]

zero-knowledge:

零知识证明,在不暴露隐私情况下向对方证明一件事情,让数据「可用而不可知」。

succinct:

Arbitrum 生态链游 Trident 完成 300 万美元代币公募融资:金色财经报道,Arbitrum 生态链游 Trident 完成 300 万美元代币公募融资,公募价格为 1.4305 USDC。本次公募超募了约 4.91%,Trident 表示超募部分将由团队持有的代币进行补充。此外,Trident 目前存在的流动性池均非官方建立的,之后官方将在 OasisSwap 上建立 PSL/USDC 流动性池。[2023/2/6 11:49:04]

简洁性,要证明的东西占用的空间很小,而且可以快速验证。

non-interactive:

非交互性,意味着证明者和验证者之间不需要有交集即可快速地得到验证结果。

zk-SNARK的简洁性和非交互性,是相对于传统的零知识证明方案而言的。

安全团队:黑客地址与多个dApp进行过交互,转移至Avalanche链上资产或已冻结:10月7日消息,慢雾SlowMist在社交媒体上发文表示,已监控到本次BNB Chain被盗案黑客地址与多个dApp进行过交互,包括Multichain、Venus Protocol、Alpaca Finance、Stargate、Curve、Uniswap、Trader Joe、PancakeSwap、SushiSwap等。

此外,黑客转移至Avalanche链上(1,729,320枚USDT)的相关地址或已被列入黑名单,但转移至Arbitrum的地址(2,000,000 USDT)暂时并未被列入。[2022/10/7 18:41:32]

简单来说,传统方案是交互式证明,即示证者和验证者之间反复确认,你可以理解为示证者不断向验证者询问“是或不是?”,然后验证者不断给出回答,直到最后碰出一个正确答案来,所以效率很低。

印度电商巨头Meesho宣布将探索区块链、元宇宙和NFT用例:5月28日消息,印度社交电商独角兽Meesho宣布将探索区块链、元宇宙、Web3 和 NFT用例重新定义线上销售。Meesho联合创始人兼首席技术官Sanjeev Barnwal表示,Meesho希望让买卖双方在元宇宙中互动,推出元宇宙业务只是时间和时机问题,但现在已经开始探索Web3及其扩展用例。

如果元宇宙成为常态,电商公司其实可以做很多事情,比如在线模拟线下购买体验。从根本上说,将会改变用户体验游戏规则。

值得一提的是,雷军旗下的顺为资本是Meesho公司股东,且参与过该公司早期阶段融资。[2022/5/28 3:47:13]

zk-SNARK的解决方案则不需要双方反复确认“是或不是”,而是提前先搞一个「可信初始化」,从而生成公共参考字符串,然后所有的示证者都可以直接访问它。

打一个通俗的比方。交互式证明相当于老师要批改每一个考生的每一道考题,效率很低,但正确答案只掌握在老师这边,基本不存在有人偷答案的情况。

但zk-SNARK直接上传了正确答案,然后让考生自己对答案,非常高效,代价是答案有可能被泄露,虽然这个答案系统是经过加密的。

因此针对zk-SNARK容易被泄露的问题,有很多围绕着提高「答案系统」安全性的解决方案,不同采用zk-SNARK的项目方的方案各有不同。如zCloak钱包是直接把算法以纯文本的形式发给用户,用户下载到本地去做计算。

zk-STARK:概率证明+缓冲时间

zk-STARK是成立于2017年12月的StarkWare团队开发的,它是针对zk-SNARK的替代解决方案。研发历时一年多,经过无数次迭代才彻底搞定,已经到2019年了。

zk-SNARK是提前生成公共参考字符串,用非交互式证明的方式提高了证明效率,但也留下了隐患。zk-STARK虽然是交互式证明,但它是一种巧妙的交互式证明——通过哈希函数碰撞来保证安全性,因此也实现了高效证明。

这个思路直接借鉴自2015年推出的交互式预言机证明技术,简单来说是先把问题用密码学的方式打碎,然后验证者随机向示证者提出几个的问题,如果几轮下来,示证者都给出准确的回答,那么验证就通过了。

所以zk-STARK同样也只需要极少的计算资源就可以完成证明,但是它更安全,不存在答案泄露的风险。并且为了进一步确保安全性,还设置了争议时间延迟来作为缓冲。

zk-SNARK和zk-STARK的区别

1.透明度

zk-SNARK的公共参考字符串通常由一个小团体来保管,因此有泄露的可能性,从而被恶意利用,如创建虚假证明。

zk-STARK则直接利用生成随机性的参数来验证,不需要任何第三方的「答案系统」,因此透明度大幅提高。

2.抗量子计算机攻击

zk-SNARK未来会轻易被量子计算机暴力破解。当然,量子计算何时到来还是个问题。

zk-STARK采用的是哈希函数碰撞的方法来证明,理论上量子计算机的暴力破解是无效的。

3.可扩展性

zk-SNARK的证明在链上更具可扩展性,zk-STARK在纯链上似乎没有优势。

StarkWare官网宣称是最快的,可能是因为zk-STARK允许链下进行大规模计算和存储,然后在链上完成验证,因此可扩展性显著提升,而成本显著降低。

总结

zk-SNARK技术被采用得最多,尤其是在以太坊扩容场景中。zk-SNARK主要是围绕「隐私保护」去做身份、支付、DeFi、资产证明等各种应用。

zk-STARK虽然也在发展之中,但技术尚不成熟,至少在通用性上受限,所以我们看到大多是围绕着「可扩展性」去做各种应用。

不过据StarkWare团队在2022年的说法,已经解决了可扩展性,该把目标瞄准「隐私保护」了,而方式是通过StarkNet的Layer3以及Layer4中以分形分层的方式解决,这似乎与zk-STARK证明系统本身没有直接关系。

至少就目前而言,大多数以太坊Layer2项目(zkSync、Aztec、Loopring、Scroll等)都采用的是zk-SNARK技术路线,除了通用性上受限,还有一个原因是普遍反馈说zk-STARK的开发难度过大……

当然长远来看,zk-STARK可承载的运算量更大,可能更有前景。

总的来说,zk-SNARK和zk-STARK的关系,有些像Optimisticrollups和ZKrollups的关系,前者短期利好,后者长期利好。

标签:ARKSTASTARNARBarkisstarlink币为什么不涨NFT STARSNARUTO

比特币热门资讯
NFT:MarsBit日报 | Galaxy Digital将收购Argo旗下矿场;Defrost Finance否认“退出局”传闻_比特币糖果吧

MarsBitCryptoDaily2022年12月28日一、?今日要闻GalaxyDigital将以6500万美元收购Argo的矿场并向其提供3500万美元贷款据CoinDesk报道.

1900/1/1 0:00:00
以太坊:Cabin VC:2022 年 27 个新公链项目盘点_什么是以太坊币制式

2022年年末以“加密市场进入寒冬”的共识收尾。这一年的一级市场资金流向中,投资机构更专注于基建Infra及应用类,新公链是重点关注方向.

1900/1/1 0:00:00
GMX:盘点衍生品 DEX 龙头项目:dYdX 和 GMX 哪个更具潜力?_VICEX

1、衍生品Dex市场增量空间巨大衍生品Dex赛道目前仅占Cex的2%,用户由于FTX暴雷对中心化交易所缺乏信任,而且目前最值得关注的两个项目dYdX和GMX的市值都没能稳定跻身进前100.

1900/1/1 0:00:00
USHI:Sushi新经济模型解读_LUSHI币

注:本文来自@victalk_eth推特,MarsBit整理如下:1/nSushi新经济模型解读Sushi的CEO“日马哥”在30号公布了Sushi最新经济模型的设计框架.

1900/1/1 0:00:00
NFT:「POWER峰会速递」G-Rocket加速器行政总裁:香港优势,落地HK Web3 Hub_web3币价格

1月10日,由MarsBit主办,香港创新产业园区数码港、G-Rocket高诺国际加速器、element协办的「POW’ER香港Web3创新者峰会」在港举办.

1900/1/1 0:00:00
EFI:DeFi是前进的方向,但它需要进化_Scarcity DeFi

DeFi的技术基础已被证明对过去几个月的灾难性市场事件具有令人难以置信的弹性。在DeFi轨道上构建新一代金融服务的机会从未如此之大,但这个行业需要解决一些显著的挑战.

1900/1/1 0:00:00