木星链 木星链
Ctrl+D收藏木星链

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

作者:

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

原文来源:?Haotian,区块链安全从业者??

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

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

派盾:标记为Vitalik Buterin的地址转移多种代币或是整理钱包:金色财经报道,派盾PeckShield发布推文称,标记为Vitalik Buterin的地址已转移多种代币(一些山寨币)和1,541.59枚USDC,并将13万枚USDC转移到Coinbase,此举或许是在整理钱包。[2022/12/21 21:58:13]

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

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

Gravity DEX开发团队成立新项目Crescent:3月11日消息,开发流动性模块Gravity DEX的B-Harvest团队分拆成立了一个名为Crescent的新项目,正在寻求完全重构和扩展Gravity DEX。Crescent由Ignite Ventures资助,并与Ignite团队合作支持Crescent项目。

Crescent已经公布了治理代币CRE分配模型,总量2亿枚,其中将向ATOM委托者(delegator)空投1亿枚,另外1亿枚作为战略储备。空投方面,5000万枚CRE可在Crescent网络启动后推出Crescent DEX(DEXdrop)时索取,具体空投数量会根据二次空投系统确定,即按UTC时间2022年1月1日00:00快照时委托数量的平方根来决定,如果参与一些治理提案,能获得通过固定乘数获得更多奖励;剩余5000万枚将在一定时期内分配给使用Crescent Boost的ATOM委托人。[2022/3/11 13:50:06]

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

欧洲刑警组织打击比利时庞氏局Vitae,收回150万欧元加密货币:欧盟法律机构欧洲刑警组织打击了比利时庞氏局Vitae。欧洲刑警组织突袭了与该网站相关的17个地点,这些地点被宣传为拥有自己的加密货币的社交媒体网站。该公司以VITAE AG的名义在瑞士运营。在此次行动中,执法人员收回了110万欧元现金和150万欧元的加密货币。(Bitcoin)[2021/6/28 0:11:32]

这里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神大会演讲内容的概括,以及大量精彩的配图。以上技术思考仅抛转引玉开放性思考,欢迎大家拍砖讨论。??

标签:ARKNARCREVITNOAHARK价格LunarCREDSVITY币

比特币交易所热门资讯
ADX:热点不断轮动 3年老项目AdEx再有大动作

有人说“币圈一天,人间一年”,以形容币圈的发展和变化之快。市场的热点就像一年四季的轮回交替,虽然大家可以感知到,但却并不能准确预测到温度的升温和降温,只有当升温到一定程度大家才知道夏天真的来了,

1900/1/1 0:00:00
STA:10.26黄金-原油-铜-行情走势分析-三顾锦囊

      黄金上周五日内给出的1896的多单,最低回调至1895.2支撑,触及之后直接反弹10美金,反弹1907附近了,收盘也在上方,目前触及支撑,短周期又形成小双底趋势,前方是1894.2.

1900/1/1 0:00:00
COIN:VWebcoin的调性很“糙”但很Nicest 文档

据悉,最近来自Ristrcoin的亚太市场端口VWebcoin交易所,将于近日正式开放交易了。新的数据端口将会打开,调试稳定后,再将已经非常成熟稳健的日韩市场数据接入,逐步开放各个亚太市场的端口.

1900/1/1 0:00:00
比特币:迈阿密国际证券交易所已完成对 LedgerX 的收购

据美通社报道,迈阿密国际控股旗下的迈阿密国际证券交易所已完成对LedgerX的收购,该交易所是今年1月法院批准出售的FTX资产之一.

1900/1/1 0:00:00
NET:Way Network:新一代跨链协议 zkOmnichain 支持一键构建全链 DApp

作者:西柚,ChainCatcher链上用户曾无数次设想的场景,如有借贷应用支持在Polygon上的抵押Matic直接在Arbitrum上借出ARB;有衍生品平台支持任一链上持有的代币资产可作为.

1900/1/1 0:00:00
区块链:巴德言币:10.25ETH预计的回落还是来了 你上车了没有?

各位老铁大家好,我是你们的朋友巴德。跟着我的客户都是做了很久的,不是我带他们收获了多少,而是我用心在指导,毫无保留的教技术,经常熬夜盯盘。深夜告知客户出场或进单.

1900/1/1 0:00:00