区块见闻 区块见闻
Ctrl+D收藏区块见闻

区块链:全面梳理ZK的技术史:或蕴藏下一个千亿应用?_区块链存证说法错误的是

作者:

时间:

原文来源:R3PO

加密世界的焦点经历了比特币、以太坊、DeFi、NFT、元宇宙和Web3的多次变迁,唯独缺少对加密技术本身的关注,除了比特币的椭圆曲线加密算法还算有一点大众认知度,其他加密算法基本停留在研究员和开发者的自嗨中。

R3PO认为这不够去中心化,会严重阻碍Web3的进一步扩展,密码学是区块链的基础件,不应该被少数人掌握,而应走向更广阔的领域。

R3PO希望能用新的书写范式去阐述术语的含义,兼顾专业性和可读性,致力于为机构投资者、项目方发现潜藏在发展中的投资机会、创业方向和切入点,寻找到未被发掘的α收益。

近期大热的零知识证明技术仍是一个不断发展、不断革新的细分领域,但其技术本身又具备足够广阔的应用场景,因此对其进行全景梳理显得十分重要。

零知识证明技术并非新概念,细细梳理可知,迄今已经经过40年的发展,诞生出多种模型和应用。

进入Web3时代,早在2017年,V神便已经注意到ZK技术在以太坊上的使用潜力,而最近Starkware获得1亿美元的融资使其总融资额度达2.25亿,这代表机构是以公链级别的估值和潜力来看待ZK技术。这将是一个长期鏖战的领域,会暴露出更多的投资机会。

向后推演20年,R3PO认为ZK发展至少具备一个甲子的生命长度,因此描绘整个ZK的发展历程需要追本溯源,以更好地厘清其发展逻辑,寻找到下一步的潜在机会。

Gate Kusama平行链首期插槽拍卖Karura胜出:据Gate官方公告, Kusama平行链首期插槽拍卖结果揭晓:Karura领先胜出。Gate将为参与Karura插槽拍卖理财项目的用户自动发放KAR奖励,同时参与用户的KSM将被锁定,直到插槽租赁期结束。插槽拍卖活动还将持续4周,Gate将持续支持拍卖活动。[2021/6/24 0:02:42]

本系列首篇将会从零知识证明起步,超越ZK只能应用于L2领域的固有观念,带给大家全新的系统性认知。

1982:财不外露,便分高低?

对于财富的追求自古有之,项羽就说过:“富贵不还乡,如衣锦夜行”,但太多的财富会引人觊觎,有没有一种办法,在既不暴露财富数量的同时又比较出财富的多寡呢?

1982年,后来的图灵奖得主姚期智便设想过这个问题,这就是著名的百万富翁问题,省略其数学过程,其大致运作模式如下:

Alice和Bob选择代表自己财富数量的数字i和j,取值区间在1-10之间;

Alice对i进行单向加密,并将加密后的结果k发送给Bob,Bob得到一个与i相关的新值;

Bob对k进行运算后会得到一个新值m,并将其传递回Alice此时,Alice可以判断m和i的关系。

Gate.io行情:DOT5L 24H最高涨幅达137.71%:据Gate.io芝麻开门行情显示,波卡系列产品近日涨幅波动较大,整体看涨情绪较高,截至今日16:10,DOT 24H最高涨幅25.40%,24H最高报价39.393美元,24H现货交易量达4192.33万美元。受现货行情影响,杠杆ETF产品DOT5L 24H最高报价27.8364美元,当前报价24.1189美元,24H最高涨幅达137.71%,当前涨幅105.15%。

与永续合约相比,杠杆ETF产品通过资金管理优化,降低用户的实际杠杆开销和杠杆爆仓风险。近期行情波动较大,请注意控制风险。[2021/2/20 17:33:50]

这个过程可以继续推演,双方可在不完成信息暴露的前提下最终完成比较。

当然,以上过程并不全面,但足以说明一个问题,我们确实可以在两方之间,并且在不暴露信息的前提下进行计算,如果将两方扩展至多方,将区间扩展至更大范围,那么这就是典型的多方安全计算MPC(SecureMulti-partyComputation)问题。

百万富翁问题是ZK讨论的一个起点:

在不暴露财富信息的前提下,符合零知识的定义;

在不借助第三方进行评估的条件下,考察的是两者或者参与方之间的直接交互。

Gate.io杠杆ETF行情:EGLD3L 24H最高涨幅143.6%:据Gate.io芝麻开门行情显示,截至今日11:15,EGLD 24H最高涨幅54.29%,24H最高报价146.6美元。受现货行情影响,杠杆ETF产品EGLD3L 24H最高报价13.445美元,24H最高涨幅达143.6%,当前涨幅108.55%。近期行情波动较大,请注意控制风险。[2021/2/8 19:11:18]

1985年,Goldwasser、Micali和Rackoff首次提出Zero-KnowledgeProof模型,准确而言是“交互式零知识证明”模型,简单而言就是允许在多次交互的前提下,通过ZK技术来验证真假、大小。

此处的零知识并不完全准确,以Alice和Bob的互动为例,Alice和Bob可以互为验证者和证明者,但是两者间传递的信息不能和财富数量本身有关,这里的零知识是指相关性为零,而并非不传递信息。

而交互式指的是可以多次进行交互,这个过程可以反复进行,直至得出正确结果。

至此,目前所熟知的ZK技术迈出了成型的第一步,接下来的一切发展,都是在其上的删减增改。

当时间来到1991年,ManuelBlum、AlfredoSantis、SilvioMicali和GiuseppePersiano提出非交互式零知识证明,闻名即可知,此次升级重点是进行非交互式的证明过程,也就是在双方之间不进行交互的同时,验证一个定理、假说的真伪性,这看似很反直觉,但是有一个绝妙的例子可以说明:

Gate.io 上线OKB及HT 杠杆ETF 产品:据官方公告,Gate.io已上线OKB和HT三倍做多和做空杠杆ETF产品,涨跌幅约为对应币种市场的三倍。ETF产品在永续合约市场对冲管理,仅收取每日0.1%管理费来弥补合约市场手续费和资金费率等开销成本,但不额外收取合约资金费率。Gate.io提醒:ETF产品涨跌幅度大,风险高,请务必谨慎参与。详情点击原文链接。[2020/10/19]

Alice和Bob财富自由后变身数学家。Alice离开web2去环游web3,期间Alice继续ZK研究。

我们假设Alice能够在发现一个新定理的证明时,给Bob写一张明信片,证明她在研究中取得了新进展。

这是一个非交互式的过程,准确的说,它是一个单方向的互动:只从Alice到Bob。即使Bob想回答,他也不可能。因为Alice没有稳定的地址,在任何邮件能到达她之前就会搬走。

我们约定,只要Bob收到邮件,我们不需要查看邮件内容,就可以确定“Alice取得了研究上的新进展”这个命题为真。

非交互式零知识证明将交互次数减少到最多一次,可实现线下验证和公开验证,前者为Rollups奠定了有效性基础,后者耦合区块链的广播机制,可避免多次计算带来的资源浪费。

至此,我们目前见到的ZK便已经成为成熟理论模型,但此时的ZK更多是数学和密码学领域的研究对象,和区块链并无太多关联,而在比特币出现后,加密技术区块链才成为研究的方向,而ZK无疑是其中的佼佼者。

金色财经独家分析 全球多地对加密货币征税,2018成加密货币征税全面落地元年:澳洲《星岛日报》近日刊文称,澳洲税务局(ATO)将进行逾36万宗个人税务审查,在新的报税规例下,超过1万澳元“比特币”(Bitcoin)或其他虚拟货币交易,亦可能被税务局审查。报税时,比特币被列作资产,投资者须缴资本增值税。金色财经独家分析,比特币等加密货币在2017年底出现了爆发式增长,从无人问津变得炙手可热,全球相关的加密货币交易所也如雨后春笋般出现在大众视野,加入到加密货币领域的投资者也日益增加,不论从市值还是从交易量上,加密货币都逐渐从世界经济的边缘向中心逐步靠拢,拥有了一定的比重和地位。至此,原本野蛮生长的模式不能够再继续下去,高速增长的产业同时也引起了监管者的注意。全球多个国家和地区开始宣布对加密货币征税,美国国税局就在今年宣布加密货币交易与其他形式的财产一样需要纳税;日本国税厅也宣称虚拟货币需要“报税”;南非国家税务局(SARS)发布的一份声明显示,虽然加密货币在该国不被认定为法定货币,但交易、投资加密货币,以及矿工仍需为此缴税;以色列税务部门将以20%到25%的税率征收资本利得税,而个人挖矿或商业交易加密货币必须增缴17%的增值税;泰国对加密交易将征收7%的增值税(VAT),以及15%的资本利得税。这样开来,全球范围针对加密货币的税收行动全面展开,2018将成加密货币征税全面落地元年。[2018/4/9]

值得注意的是,中本聪本人并不排斥ZK技术在比特币网络的使用,更多的是当时的ZK技术不成熟,因此最终选择了较为安全的ECC算法,而ZK本身可以直接应用到Layer1区块链上,Zcash、Mina,以及以太坊的伊斯坦布尔升级都涉及到了零知识证明的相关领域。

SNARGs:?SuccinctNon-InteractiveArguments

SNARKs:?SuccinctNon-InteractiveArgumentsofKnowledge

从应用角度来说,此次改进在于“简洁”Succinct功能上,具体而言,SNARK致力于压缩信息本身的大小,在ZCash中,程序电路是固定的,因此多项式验证也是固定的,这使得设置只需执行一次,交易后续只需改变输入便可复用。

在2013年,Pinocchio协议提升效率至分钟级别证明,以及毫秒级别的验证时间,开销控制在300字节以内,这也是ZK-SNARKs技术真正首次落地到区块链领域。

这证明了ZK技术可以在隐私场景上发挥作用,R3PO判断后续的隐私路线会具备脱离L2单独存在的潜力,Aztec证明了隐私DeFi路线的可行性,而在tornado被制裁后,链上金融隐私仍旧是强烈的刚需,这个方向的投资机会仍未被广泛发掘,值得后续期待。

此外,隐私币项目Zerocash进一步改进了相关算法,使用的是SCIPRLab优化后的zk-SNARKs算法,在理论条件下,可以做到既隐藏付款来源、接受者和金额,并且交易可以控制在1KB以内,验证时间在6ms之内。

Step1:zk-SNARKs证明节点有效性,只需要保存其证明结果;

Step2:通过递归调用,确保节点有效性的正确传递和检索,不需要保留所有历史数据,实现极致压缩数据的效果;

传递结果的有效性,而非保存全节点数据,这是Mina证明行之有效的手段,而在以太坊L2,ZK-Rollup可以通过打包多次交易数据,结算一次的方式完成有效性证明,而进一步推演,L2之上可以迭加L3,或者Dapp应用,这些都是ZK可以发展的细分赛道,比如dYdX目前运行在Starkex之上,以及架构在Starkware之上的L2ImmutableX,都证明ZK的使用潜力,这个赛道的价值目前仍未被全部挖掘,仍留有长期的投资价值。

至此,ZK-Rollup涉及所有的技术要件就已经基本齐备了,我们已经装备好足够的ZK基础知识,并且可以总结ZK的以下特点:

非交互式:不需要多次验证,只需一次验证就可以广播至全网;

零知识:不需要透露信息本身的特征,可在全网进行公开传播;

知识:知识不是公开、易得的信息,必须具备独特的价值,比如经济价值、隐私价值等;

证明:证明由数学手段确认,安全性经过多年研究和实践检验;

如果将这些技术特点组合起来,我们可以发现,ZK天然适合L2扩容,并且又不局限于L2,ZK技术的其他应用会在后文中持续发表,欢迎大家继续关注。

StarkWare之外,其他的L2项目,包括zkSync、Aztec、Loopring、Scroll等都采用的是SNARKs技术路线。

究其原因,在于STARK的开发难度过大,目前只有StarkWare有能力进行自研,但其好处也十分明显,相较于SNARK,其可承载的运算量也会更大,在运行大型数据时,其安全性会更高,比如游戏、社交、NFT等方向。

其次,STARK路线具备抗量子攻击的特性,这在未来十年具备颠覆行业格局能力的可能,比特币采用的ECC算法并不能完全具备抗量子破解的可能,如果加入zk-STARKs技术,其安全性会显著提高。

可以总结以太坊L2的格局,短期OptimisticRollup,5年后zk-SNARKs路线,10年后zk-STARK路线终将会胜出。

总结

我们从百万富翁问题出发,由MPC问题过渡到零知识证明领域,出于经济原因,交互式的零知识证明不完全适用于链上活动,而非交互零知识证明逐渐成为主流。

随着Zcash的发展,SNARKs技术日渐应用到其中,使ZK技术从单纯的密码学研究对象变身为区块链领域中使用的工程手段,在隐私、安全、效率方面发挥自己的作用。

以太坊扩容场景,则使ZK成就了L2,Rollup技术路线战胜其他竞争对手,zk-STARKs也逐渐发展起来,有望激活挖矿、GameFi、NFT等更为普遍的使用场景。

在以太坊之外,越来越多的新模式已经逐步涌现,比如可定制模块化Rollup路线,又如刚完成1500万美元融资的Eclipse,其路线图会支持Move语言和Solona网络,以及完成3000万美元融资的Scroll,其希望建立EVM等效的ZK-Rollup。

新故事背后的驱动力是对ZK技术的认可,广泛来说,ZK是一个“大而全,长而远”的领域,大额融资消息的不断传出也说明市场对其接受度在逐步走高,但总体而言,这还是一个新领域,即使仅论其技术路线,也有“内卷”的流派,而其中的投资机会则长期存在,无论是内嵌入底层基础设施,还是落地于具体应用场景,需要我们不断去发掘。

原文链接

标签:以太坊ARKSFIL区块链以太坊硬币ETHDMARKSFIL36区块链存证说法错误的是

币安交易所app下载热门资讯
THE:比特币现金分析:多头的目标是向上突破 120 美元_ING

比特币现金正试图从110美元区域兑美元重新上涨。价格现在高于115美元区域和55个简单移动平均线。在BCH/USD货币对的4小时图上,有一条主要的看跌趋势线形成,阻力位在118美元附近.

ARKS:FIL提案未通过,以太坊创始人担忧中心化,比特币卖出动力减弱_ARKS币

以太坊联合创始人对以太坊合并后的中心化情况表示担忧以太坊联合创始人AnthonyDiIorio在接受采访时指出,目前以太坊PoS似乎并不是完美的系统.

ARK:ETHF/USDT交易对已上线, 参与活动即可瓜分10,000 ETHF_autopark

亲爱的Dcoin用户: ETHF/USDT交易对已上线Dcoin,参与交易即有机会瓜分10,000ETHF,总价值160100元(当前1ETHF市值约¥16.01).

SDT:10/4跟单交易好礼奖不停【手机红包随机礼】_BHTT

尊敬的唯客用户您好! 跟单交易好礼奖不停 活动时间:2022/09/21?12:00至2022/10/04?11:59- 福利五:手机红包随机礼 活动方式: 代币销售平台 Tokensoft 将.

APP:TokenPocket闪兑服务商被盗,快检查你开通了多少“无限授权”_TRA

今日,跨链DEX聚合器TransitSwap遭受攻击,导致大量用户的资金从钱包中被取出。截至目前,预计损失超2100万美元.

SDT:V神新书《Proof of Stake》精读解析(一)_CKUSD币

货币—一种社会激励的新方法,发表自比特币杂志,2014年1月10日。在激励生产活动方面,除市场激励、机构激励之外,加密货币激励是一种具有重要补充价值的新兴方法,具有互联网支持和去中心化两方面优势.