链资讯 链资讯
Ctrl+D收藏链资讯

CEL:关于zkRollup硬件加速与zkPOW的思考_ASI

作者:

时间:

零知识证明能够提供隐私保护、扩容、构建信任等关键作用,与Web3.0的精神相互契合,因此其应用场景如雨后春笋大量涌现。目前,ZK的小型应用开发难度小、成本低,有较多较成熟应用;ZK的中型应用初见雏型,现今的技术也足以满足其性能需求;而对于大型应用而言,目前仍处于较早期的阶段,仍存存在部分技术瓶颈,距离成为成熟的产品还需要一些时间。我们首先简单盘点各类的应用场景:

小型应用场景独立的ZKDAPP是零知识证明最直接的应用场景,这类应用要证明的事项简单、种类少、量不大,因此也较容易开发。例如:单纯的隐私支付协议、ZK桥、身份解决方案等。中型应用场景这类应用较小型应用场景相对复杂一些,需要证明的情况较多,但相对于小型应用而言只是倍数的增加,这类应用如:在数据存储网络中证明正确性、基于ZK的游戏等。大型应用场景zkRollup的Layer2和zkEVM是零知识证明在Web3中的终极应用,用于处理一个VM或EVM中的各种可能性带来的状态变化。相对于小型应用的复杂程度是指数量级的增加,它们对于技术、开发工作量的要求都较高,距离达到理想中的用户体验还差一次技术跳跃。零知识证明无疑是Web3领域中最具创新性的技术之一,零知识证明也提供了构建Trustless产品的绝佳技术手段。然而像人工智能刚从学界走向业界一样,现今的各类应用场景仍有相当多的问题与挑战。庆幸的是,越来越多学界与业界的力量正投入这个领域。下面我们将深入探讨zk科技树的不同枝叶。

历史上的今天 | 2017年9月4日央行等七部门联合发布《关于防范代币发行融资风险的公告》:2017年9月4日,中国人民银行、中央网信办、工信部、工商总局、银监会、证监会、保监会等七个部门联合下发《关于防范代币发行融资风险的公告》,并且要求所有从即日起停止一切的代币发行融资活动。七部门通知指出,任何组织和个人不得非法从事代币发行融资活动,各类代币发行融资活动应当立即停止。当日下午3点公告一出,各个交易所代币价格一路下跌,其中,通过ICO融资发行的代币跌幅最高,数种代币跌破发行价,最高跌幅超过90%。

2021年9月3日,央行发布《中国金融稳定报告(2021)》。报告在展望部分中提到,虚拟货币交易等领域整治工作基本完成,已转入常态化监管。[2021/9/4 22:59:41]

高效算法与成熟的开发栈是核心枝干

一套完整的零知识算法从研究走到应用需要经过理论研究、开发工具构建与具体应用开发等阶段。而其中效率问题是零知识证明应用进入下一个阶段最大的瓶颈之一,这其中包含算法的效率与开发的效率。

重庆两江新区发布关于“区块链”“虚拟货币”投资风险的预警提示:11月17日,重庆两江新区打击非法金融活动领导小组办公室关于防范非法金融活动的风险预警提示。提示指出,随着区块链技术发展受到广泛运用,一些不法分子借机炒作区块链概念,以所谓“虚拟货币”“区块链商城”“区块链博弈”等名义非法吸收公众资金,侵害公众权益。这些所谓高收益投资项目实际上与区块链技术毫无关系。其主要特征和风险表现在:一是网络化特征明显,网上交易,资金交付快捷,风险波及范围广、扩散速度快,资金监管和追赃挽损难度大。二是性、诱惑性、隐蔽性强,不法分子利用热点概念炒作,编造各种虚假项目,以高额回报为诱饵搞“零和博弈”,不法分子幕后操纵虚拟货币价格走势,投资者稳赔不赚。三是存在多种违法风险,不法分子通过举办线下活动或在各论坛、微信群、亲朋好友之间大肆宣传,引诱投资人发展下线,具有非法集资、、等违法行为特征。[2020/11/17 21:03:38]

在算法效率方面,不同零知识证明使用不同的方法表达要证明的电路、且背后基于不同的数学困难问题,这些因素都会影响算法的各项效率。具体而言,一个零知识证明算法重要的效率指标包含证明大小、证明时间、验证时间等等,而在目前,大量的算法都能实现较短的验证时间,各式的聚合技术也可以压缩证明大小,而证明时间则是主要的瓶颈。

声音 | BSV支持者Calvin Ayre:今年会有很多关于“BTC不是比特币”的诉讼:此前消息,推特已为比特币标签添加了Emoji图案。BSV支持者、Coingeek创始人Calvin Ayre就此发推回复称:“Jack(指推特创始人Jack Dorsey),BTC不是比特币,今年会有很多关于这一问题的诉讼。你站错队是不会对推特有好结果的。”[2020/2/6]

因此项目方的设计与选择对算法效率表现显得至关重要。不同零知识证明算法在复杂度方面会形成巨大的差异。复杂度的差异在输入的数量级大的时候会充分反映到具体的性能差异上。

图1:各种零知识证明算法

预期未来将有更多团队在零知识证明的算法上投入更多研究精力以找到最符合项目需求特性的算法。例如FOX这样的Layer2项目坚持设计在证明时间这项关键指标上达到理论下界,线性复杂度O(C),且是对数验证时间、无需可信设制的算法。这种算法非常适合支持一个没有容量上限的扩容网络。

声音 | 伊朗海关总署:目前仍然没有任何关于进口加密货币矿机的许可证颁发:据迈赫尔通讯社消息,伊朗海关总署(IRICA)副署长Jamal Arounaghi周日表示,目前仍然没有任何关于进口加密货币矿机的许可证颁发。IRICA目前只确定和定义了加密货币挖矿设备的关税额度。根据一些组织的要求,IRICA已经通知了用于加密货币的挖矿设备的税率。 Jamal还表示,如果政府同意进口用于生产加密货币的设备,IRICA将执行法律指令。Jamal强调,伊朗工矿贸易部(Ministry of Industry, Mine and Trade)和央行(CBI)应该为向该国进口加密货币设备签发批准函。 IRICA的代表补充表示,加密货币挖矿设备已被列入关税编号No. 84719090,因此这条关税编号与“计算机和中央处理器”有关。[2019/7/21]

在开发方面,开发效率低下的主要原因是相关的开发栈缺失严重,将应用场景转换为电路语言最终付诸算法证明的过程相当复杂:需要将前述漫长过程中的某个(些)部份抽象化、形成模块化的开发工具或语言,并保持彼此之间的兼容性。完整、丰富的ZK开发栈便是破局的关键,这让开发者能只专注于各自关注的环节,一起合作完成一个完整的ZK应用。

公告 | 雄岸基金发布关于李笑来先生辞去雄岸基金管理合伙人职务的声明:雄岸基金发布关于李笑来先生辞去雄岸基金管理合伙人职务的声明,声明中称:雄岸基金自2018年4月9日宣布成立以来一直得到各级政府和各界人士的大力支持,李笑来先生因个人原因于2018年7月9日辞去雄岸基金管理合伙人一职,雄岸基金对李笑来先生在雄岸基金筹建过程中所作的贡献表示由衷感谢!同时雄岸基金将继续致力于用资本推动全球区块链技术及应用发展,重点服务中国实体经济,在新时代引领创新发展。[2018/7/10]

表1:零知识证明硬件加速面临的问题

硬件加速助力开枝散叶

硬件加速是使零知识证明效率进一步提高、让大型应用更接近成熟落地的关键。而这便涉及两个问题:首先是哪些运算可以加速,其次是哪些硬件可以用来加速。

对于第一个问题,不同的零知识证明主要的差异在于多项式承诺的方法,MatterLabs采用的Plonk、Scroll采用的Ultra-Plonk等算法多项式承诺基于KZG,因此其中的Prover涉及大量的FFT计算和ECC点乘MSM的运算用以产生多项式和承诺,这两类计算都会带来大量计算负担。具体而言,MSM有通过在多个线程上运行来加速的可能,但是需要大量内存并且即使在高度并行化时仍然很慢,而FFT严重依赖算法运行时数据的频繁洗牌,这使得它们很难通过跨计算集群分配负载来加速。因此目前对这些运算加速都意味着高昂的成本。

此外,Starkware研发的STARK、FOX研发的FOAKS都在FRI的过程中主要涉及哈希运算。虽然也有FFT,但量不大。因此这两种算法可以使用硬件加速来提升运算的效率。

在硬件层面主要有GPU、FPGA、ASIC三种选择,各有不同的特性:

GPU:GPU能够通过一定的算法,加速并行计算。使用GPU加速的效果取决于具体的算法,例如在FOX的使用的FOAKS算法没有大量的FFT和MSM运算,且其ZKEVM设计中本身就包含大量可以并行计算的部分,便能通过GPU获得较大的效率提升。FPGA:FPGA是可编程的集成电路,因此开发者能够通过针对于ZK算法定制化优化矿机。ASIC:ASIC是为特定用途专门定制的集成电路芯片。但是ASIC由于过于定制化,需要的时间和成本也会更多,也许硬件的迭代伴随着行业规模的增大,逐渐朝着ASIC方向发展,但是不会一步到位。在比特大陆等专业硬件厂商进入这个领域之后,ASIC或成为主流选项。这三种硬件不同的特性也使其有不同的机会。短期看GPU,中期看FPGA,长期看ASIC。以太坊转为PoS后,GPU算力将会流向可以吸纳这些算力的网络,而没有大量FFT和MSM运算且对并行运算友好的网络将会成为他们的首选。FPGA的可编程性在中期具备一定的优势,尤其是在算法更迭快速、技术路线还不稳定的时期。ASIC路线意味着更高昂的成本,但能带来更高的效率提升。从长远看大型硬件厂商势必进入这个赛道并毫无疑问会选择ASIC作为其主打芯片类型。

zkPOW机制设计锦上添花

最后,有了完整的软硬件,机制设计便是使其稳定运行与进步的最后一步。各个zkRollup项目在初期的Prover通常都会更接近传统的中心化服务:部署在云上,并由项目方独享这部分的收益。但是在Web3的叙事下,未来Prover的工作势必往去中心化的方向发展,而这样的发展也有以下的优点:

将有更多人可以分享证明生成算力,分享收益与项目利益绑定。这种激励机制将出现更加本地化的算力,从而与项目方和基金会共同建造并壮大生态系统。一个好的去中心化的机制会带动更大的力量推动技术进步,让更多各方的专家投入精力研究让系统效率不断进步,让用户获得更好的体验。去中心化的机制将能更好的适应需求的动态变化。但是证明过程的去中心化有相当多的挑战,例如去中心化后各方该通过甚么样的共识合作、应该在证明过程中的哪个层面分配去中心化的任务、如何保持通信的效率与避免可能的攻击行为等等。

尽管如此,一些理想的可能解决方案已经被刻画在部分项目的愿景中,例如在FOX的设计中便包含了一个zkPOW的方案,这个方案能够达成以下目标:

通过引入随机性实现算力提升:生成零知识证明的计算和传统POW的计算不一样,在没有引入随机性的场景下,具有最高算力的一方将永远都能获得生成证明的奖励,从而导致其他各方退出,而获得垄断后这个算力提供者也不再有动机提升算力,失去去中心化的初衷。通过引入算力收益算法实现分配公平:一个公平分配的方案将使得长期而言,各个算力提供者的期望收益与其算力成正比,这意味着这个方案将让zkMiner如PoW机制下一样,可以通过投入算力以获取收益,并难以通过非法手段获取超额激励收益。长期而言,公平的算力收益算法也能保证系统中算力提供者数量的稳定性,同时也意味着更高的抗攻击能力。FOX的zkPOW设计中,在第一个证明被提交随后的一个时间窗口内提交证明的参与者都可以获得不同比例的激励,同时,通过引入随机性使得每次证明的提交内容都不相同,这意味着每次证明的提交背后都必须经过完整的证明计算。而通过仔细设计的比例分配,将使得各个参与者的期望收益与其算力成比例,对各个参与者提高计算效率产生正向激励,最终使得项目的用户都将因此受惠,享受更安全、更快、成本更加低廉的zkRollup服务。

标签:CEL以太坊ASIRANaccelchain以太坊币最新价格走势图Basis Gold ShareTransferChain

以太坊最新价格热门资讯
COI:FTX风暴后SEC出新规,投资机构的不当投资将被起诉_web3.0币种怎么提现

风投机构或将为自己的不当投资行为付出代价了。近期,美SEC正制定新规拟使投资者更容易就VC未尽职调查、不良投资等行为进行起诉,该提案最早可能于本季度完成.

COI:传统审计方退场,CEX储备证明将何去何从?_COI价格

随着?FTX?的崩溃,中心化平台特别是CEX的资产储备问题备受关注。多个交易平台也陆续公布了交易所账户地址,展示各家储备金状况,Odaily星球日报此前曾撰文分析.

ROLL:一文了解Celestia和Fuel,2023 应该关注的模块化区块链_STICK币

可扩展性一直是行业关注的重点,恰好目前区块链面临着「可扩展性三重困境」的问题,而始于Celestia的模块化区块链正在围绕其可扩展性、高水平安全性和去中心化提出了解决方案.

ARTY:「POWER峰会速递」Alchemy Pay社区负责人Vincent Cheng:Web3必经之路——法币支付赛道_PUNK

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

区块链:公链生态系统增长深度剖析_eCeltron

2008年金融危机爆发后,似乎所有希望都破灭了,一位化名中本聪(SatoshiNakamoto)的匿名密码学家引发了一场前所未有的革命,一场数字革命.

POL:NFT 市场简史:从单一专有到百花齐放,跨越 10 年的 NFT 交易演变_cryptozoic

“古老NFT”是一种描述“过时”或NFT生态系统演变的较早时期的NFT项目的术语。“互联网考古”是对互联网及其各种平台和技术的历史和演变的研究.