木星链 木星链
Ctrl+D收藏木星链
首页 > BNB价格 > 正文

FOX:如何设计出一种精妙绝伦的证明递归方案?

作者:

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

撰文:FoxTechCTO林彦熹,FoxTech首席科学家孟铉济

前言:

在zkRollup以及zkEVM赛道所遇到的几乎所有难题,其本质都是算法问题。ZKP硬件加速之所以屡屡被提及,主要原因是当下算法普遍较慢。为了避免落入“算法不够,硬件来凑”的尴尬境地,我们应该从本质算法上解决问题。设计出一种精妙绝伦的递证明方案是解决这个问题的关键。

随着智能合约的不断发展,越来越多的web3应用逐步问世,以太坊等传统Layer1交易量迅速攀升并随时可能发生拥堵。如何在保证能获取Layer1提供的安全性的同时获得更高的效率成为了亟需解决的问题。

对于以太坊而言,zkRollup使用零知识证明算法作为底层构件,将原本需要在Layer1上执行的高昂的计算搬到链下,并向链上提供执行正确性的证明。该赛道主要有StarkWare、zkSync、Scroll以及FoxTech等项目。

事实上,在zkRollup的设计中,对于效率有很着高的要求:希望提交的证明值足够的小,这样可以减轻Layer1的计算量。而为了获取足够小的证明长度,各个zkRollup项目都在改进算法以及架构设计,例如Fox就结合了最新的零知识证明算法开发了自己的证明算法FOAKS,来获得最优的证明时间和证明长度。

韩国信用金融协会前官员金柱贤被任命为金融委员会委员长,将研究如何监管加密货币:金色财经报道,韩国信用金融协会前官员金柱贤被任命为尹锡烈政府的首任金融委员会委员长。他是金融服务委员会主席高升范的继任者,担任金融服务委员会主席的候选人金柱贤将承担重大责任,例如新政府下的家庭贷款法规的合理化以及基于金融稳定对小企业的金融支持。他的任务还有如何监管仍处于法律盲区的虚拟资产(加密货币)的。

6月7日,韩国总统尹锡烈提名韩国信用金融协会前官员金柱贤为部长级金融委员会主席人选。[2022/6/7 4:08:00]

此外,在验证证明的阶段,最平凡的手段是线性的生成证明并依次验证。为了提高效率,大家首先想到的是多个证明打包成一个证明,这也就是通常提到的证明聚合。

直观来讲,对于zkEVM生成的证明进行验证是一个线性的过程,验证者需要依次验证每一个生成的证明值。但是这种验证方式的效率比较低,通讯开销也比较大,对于zkRollup的场景,更高的验证者端的开销就意味着更多的Layer1层的计算,也就会导致更高的Gasfee。

乌克兰危机全面爆发会如何:高盛预测纳斯达克大跌近10%:2月21日电,高盛估计,标普500指数在俄乌危机全面爆发中的下行空间为6.2%,若降温则有5.6%的上涨潜力。以Dominic Wilson为首的策略师预计纳斯达克有9.6%的潜在下行空间,反之有8.6%的潜在上行空间。(财联社)[2022/2/22 10:06:59]

我们先看一个例子:Alice想要向全世界证明自己在本月的1号至7号都去了Fox公园。为此,她可以分别在1号至7号的每一天都拿着当天的报纸在公园拍一张照片,这7张照片打包就成为一个证明。

图1:一般意义的证明聚合方案

上面例子里把7张照片直接放入一个信封就是直观意义上的证明聚合,这在实际情况中对应的是将不同证明连接在一起并依次线性验证,即先验证第一个证明,再验证第二个证明以及随后的证明。问题是这种做法既不会改变证明的大小,也不会改变证明的时间,与一个一个去证明并验证的效果一样。如果要实现对数级别的空间压缩,那就要使用下面提到的递归证明。

人民日报整版阐释如何加快数字化发展建设数字中国:加强区块链等关键数字技术研究:金色财经报道,《人民日报》2021年10月29日 09 版整版阐释如何加快数字化发展,建设数字中国,其中提到坚持创新驱动,全面推动区块链等数字技术融入政务服务全流程。夯实技术创新基础,加强区块链等关键数字技术研究,夯实技术创新升级基础。[2021/10/29 6:18:58]

Halo2以及STARK所用证明递归方案

为了更好的说明什么是递归证明,我们回到上面的例子。

Alice的7张照片实际上是7个证明。现在考虑将它们合并起来,于是Alice可以在1号拍好照片,在2号拿着这张照片和2号的报纸拍照片,在3号再拿着2号拍的照片和3号的报纸拍照片。以此类推,Alice在7号拿着6号的照片和7号的报纸拍下最后一张照片,而其他小伙伴在看到7号的这最后一张照片,就可以验证在1~7号Alice都去了公园。可以看到,之前的七张证明照片,被压缩成了一张。而在这个过程中的一个关键技巧,即是“包含照片的照片”,相当于将之前的照片以递归的形式嵌套进了之后的照片当中。这跟把很多照片放一起再拍个照片是不同的。

复旦大学教授许多奇:当今国际社会首当其冲的问题是如何判定数字货币法律性质:日前在金融法治菁英论坛上,复旦大学法学院教授许多奇表示,如何监管加密数字货币是当今国际社会普遍关注的问题,而首当其冲的问题是加密数字货币的法律性质判定问题,司法机关有关加密数字货币属性的判定能否成为实现有效监管的基础?在众多司法辖区的多种监管思路中我们应作何种选择?对于这些问题的思考和深入研究对于实现对加密数字货币的有效监管大有裨益。(中国贸易报)[2020/4/29]

zkRollup的递归证明技巧可以大幅压缩证明大小。具体来讲,每一笔交易都会生成一个证明,我们设原始的交易计算电路为C0,P0为C0的正确性证明,V0为验证P0的计算过程,证明者将V0也转化为对应的电路,记作C0’。此时,对于另一笔交易的证明计算过程C1,就可以将C0’和C1的电路合并,这样一来,一旦验证了合并后的电路的正确性证明P1,就相当于同时验证了以上两笔交易的正确性,也就是实现了压缩。

声音 | 陈建奇:区块链应用还在于如何构建让区块链技术有效运行的机制:据人民日报无线新媒体报道,中共中央党校国际战略研究所世界经济室副主任陈建奇指出,区块链最核心的创新在于解决信任问题,非对称加密是区块链技术基础。区块链应用不仅在于技术,还在于如何构建让区块链技术有效运行的机制。他强调,区块链技术进步面临的挑战也不容低估:一是量子计算的发展对加密技术的冲击;二是区块链技术在货币金融领域的应用与有效监管的问题;三是用户规模的问题,不同应用的用户不足以认证;四是不同应用区块链平台之间的对接问题。[2019/12/29]

而回顾上述过程可以发现,其实压缩的原理在于将验证证明的过程又转化为了电路,然后生成“对于证明的证明”,所以从这个角度来说,是一种可以不断向下递归的操作,因此也被成为递归证明。

图2:Halo2与Stark所使用的递归证明方案

Halo2与STARK所采用的ProofRecursion方案能够并行生成证明,并将多个证明进行合并,使得验证一个证明值的同时可以验证多个交易执行的正确性,那就能够压缩计算的开销,从而极大的提高系统的效率。

然而,这样的优化仍然停留在具体的零知识证明算法之上的层次,为了进一步提高效率,我们需要更底层的优化和创新,Fox设计的FOAKS算法通过将递归的思想应用在一个证明的内部做到了这点。

FOAKS所使用的证明递归方案

FoxTech是一个zkEVM-based的zkRollup项目。在它的证明系统中,同样使用递归证明的技巧,但是内涵与上述递归方式有不同之处,主要的区别是Fox是在一个证明的内部使用了递归(Recursion)的思想。为了表达出Fox所使用的递归证明的那种不断将要证明的问题约化,直到约化后的问题足够简单的核心思想,我们需要再举一个例子。

在上面的例子,Alice通过拍照证明自己在某天去了Fox公园,于是Bob提出了不同的建议,他认为证明Alice去过公园的问题可以被约化为证明Alice的手机去过了这个公园,而证明这件事又可以被约化为证明Alice手机的定位在公园的范围里。因此,为了证明Alice去过这个公园,她只要在公园的时候用她的手机发送一个定位就行了。

如此一来证明的大小就从原本的一张相片(一个很高维的数据)变为一个3维的数据(经纬度和时间),有效的节约了成本。这个例子并不完全恰当,因为也许有人会质疑Alice的手机到过Fox公园不代表Alice本人到过,但是在实际的情况中,这个约化过程是数学形式上严格的。

具体而言,Fox的递归证明的用法是在电路层面的递归。在进行零知识证明的时候,我们会将要证明的问题编写成电路,接着通过电路计算出一些需要满足的等式。而与其展示这些等式是满足的,我们再次将这些等式编写成电路,如此往复,直到最后要证明满足的等式变得足够简单,我们便能轻松的直接证明了。

从这个过程当中我们可以看出,这么做更贴近“递归”的含义。值得一提的是不是所有算法都可以使用这个递归技术,假设每一次递归会将复杂度为O(n)的证明变为一个O(f(n))的证明,而这个递归过程本身的计算复杂度是O(g(n)),则递归一次后总计算复杂度就变为O1(n)=O(f(n))+O(g(n)),两次后就是O2(n)=O(f(f(n)))+O(g(n))+O(g(f(n))),三次后就是O3(n)=O(f(f(f(n))))+O(g(n))+O(g(f(n)))+O(g(f(f(n)))),...,以此类推。因此,只有在f和g两个对应算法特性的函数满足对某个k有Ok(n)<O(n)时,这样的递归技术才能有效发挥作用。在Fox当中便有效的使用了这个递归技术压缩证明复杂度。

图3:ZK-FOAKS所使用的递归证明方案

结语

证明的复杂度一向是零知识证明应用中最重要的关键之一,证明复杂度这个性质随待证明的事情越来越复杂会变得越来越重要,特别是在像zkEVM这样的巨型ZK应用场景中,证明的复杂度会对产品的性能与用户的体验造成决定性的影响。而在众多降低最终证明的复杂度的方法中,对核心算法的优化最为重要,Fox在最前沿算法的基础上设计出了精妙绝伦的递证明方案,并利用这项技术打造出最适合于zkEVM的ZK-FOAKS算法,有望成为zkRollup界的性能担当。

参考文献

https://blog.csdn.net/weixin_44383880/article/details/126338813

https://blog.csdn.net/freedomhero/article/details/126727033

标签:FOXALICEALI区块链ONEFOXalice币未来的价格预测ALICE价格哪个是区块链最核心的内容

BNB价格热门资讯
DAI:AI 搜索引擎 Kaito 完成 530 万美元种子轮融资,Dragonfly 领投

基于人工智能的加密搜索引擎Kaito完成530万美元种子轮融资,DragonflyCapital领投.

1900/1/1 0:00:00
ASH:HashKey Group 获香港证监会批准,可开展虚拟资产场外交易业务 (OTC)

数字资产金融服务提供商?HashKeyGroup宣布,其已获得香港证券及期货事务监察委员会的批准.

1900/1/1 0:00:00
NFT:品牌及广告专属 NFT 交易平台喜鹊(PicaPica)出席 Big Demo Day

作者:BigDemoDay3月4日,在香港数码港举办的BigDemoDay活动,喜鹊发起人Rebecca演讲介绍:喜鹊发起于日本东京,核心股东包含本土持牌数字货币交易所.

1900/1/1 0:00:00
COI:晚报| Signature Q1 加密货币存款减少约 8.26 亿美元;美参议员要求币安提供资产负债表

整理:flowie,ChainCatcher“过去24小时都发生了哪些重要事件”?1、SignatureBank第一季度持续限制加密货币存款敞口.

1900/1/1 0:00:00
EFI:DeFi 研究员:简析 4 个值得关注的链上指数协议

撰文:Ignas编译:深潮TechFlow上周,Alongside指数协议宣布由A16z牵头、Coinbase加入的1100万美元种子融资.

1900/1/1 0:00:00
ZEB:Zebec Protocol 与 CVL Network 达成战略合作,并为其提供支付服务

近日,流支付协议ZebecProtocol与DeFi协议CVLNetwork达成战略合作,后者将使用Zebec来满足他们快速、安全和轻松的支付需求.

1900/1/1 0:00:00