零知识密码学是过去50年计算机科学中最显着的创新之一。零知识证明(ZKP)提供了独特的属性,使其成为各种区块链扩展和隐私解决方案的重要组成部分,包括像StarkNet这样的ZKrollup、像Aztec这样的私有ZKrollup以及像Mina、Filecoin和Aleo这样的第1层链。
由于大量昂贵的数学运算,ZKP的生产速度慢且成本高。但是,通过使用现场可编程门阵列(FPGA)和专用集成电路(ASIC)等专用硬件,它们可以加速10-1000倍。
随着用户寻求更具表现力、性能和私密性的计算,使用ZKP证明的语句的复杂性将会增加。这将导致证明生成速度变慢,需要使用专门的硬件才能及时生成证明。
与比特币矿工类似,硬件运营商的工作需要得到补偿。最终,一个完整的零知识挖掘和证明行业将会显现,首先是爱好者在他们的CPU中生成证明,然后是GPU,然后是FPGA。与比特币相比,我们预计ASIC可能需要很长时间才能被采用。
为什么零知识证明很重要?
金色晚报 | 7月22日晚间重要动态一览:12:00-21:00关键词:四川省、NatWest、以太坊
1.四川省已将全部5131座小水电站纳入清理整改范围,其中退出1360座;
2.英国银行业巨头NatWest禁止向Binance付款;
3.Coinbase Commerce新增支持DOGE支付;
4.以太坊开发者修复测试网上的EIP-1559相关漏洞;
5.韩国FSC通知27家境外虚拟资产运营商在9月24日前申报;
6.特斯拉CEO马斯克:支持利用核能发电开采比特币;
7.俄罗斯央行要求该国证券交易所不允许加密相关公司上市;
8.资管规模达300亿美元的Global X向美国SEC提交比特币ETF申请;
9.上海银行APP已可申请数字人民币。[2021/7/22 1:10:06]
可验证外包计算
假设由于使用的平台存在的限制,计算变得非常昂贵或无法运行。
那么用户必须在第三方服务上运行计算,而不是通过自己的平台,这种第三方服务可以快速、廉价地返回计算输出。
金色财经挖矿数据播报 | BTC今日全网算力下降2.91%:金色财经报道,据蜘蛛矿池数据显示:
BTC全网算力121.788EH/s,挖矿难度16.95T,目前区块高度643145,理论收益0.00000857/T/天。
ETH全网算力202.338TH/s,挖矿难度2505.20T,目前区块高度10635679,理论收益0.01099384/100MH/天。
BSV全网算力2.212EH/s,挖矿难度0.29T,目前区块高度647617,理论收益0.00040694/T/天。
BCH全网算力2.786EH/s,挖矿难度0.39T,目前区块高度647809,理论收益0.00032300/T/天。[2020/8/11]
通常情况下,用户需要信任计算已正确执行,而允许提供者输出无效结果,可能会带来灾难性的后果。
ZKP允许第三方提供商也输出计算完整性的证明,以保证用户收到的输出是正确的。
隐私计算
如果有一种在本地运行成本不高的计算,但想隐藏其中的一部分,那该怎么办?比方说,如果我想告诉你我知道第1000个斐波那契数,而不告诉你这个数,或者要说服你,我在没有透露金额或身份的情况下支付了款项,那该怎么办?
金色财经3月2日挖矿收益数据播报:金色财经报道,据印比特数据显示,按照BTC参考价格60500元、电价0.38元/kWh计算,当前在售主流BTC矿机的市场价格及回本周期为:神马M20S-68T(全新现货11950元,319天回本)、芯动T3+-57T(全新现货9500元,390天回本)、阿瓦隆1066-50T(全新现货5750元,283天回本)、蚂蚁S17+-67T(3月份期货12480元,299天回本)。[2020/3/2]
ZKP允许用户有选择地隐藏计算语句周围的部分或全部输入。
上述两种用例都以多种形式在加密行业中得到了体现:
Layer2扩容:ZKP的可验证计算,允许L1将交易处理外包给链外高性能系统。这使得区块链可以在不损害安全性的情况下进行扩容。例如,StarkWare正在使用运行ZK友好代码的专用虚拟机构建一个可扩展的智能合约平台StarkNet。Aztec还允许他们的Layer2程序私下运行,而不会泄露有关用户交易的任何信息。
隐私L1:Aleo、Mina和Zcash等L1公链允许交易者使用ZKP隐藏发送者、接收者或金额。
金色晨讯 | 巴菲特:区块链技术有一定的前景 或会间接参与投资:1.Apple智能手表新应用程序可支持比特币闪电支付。
2.Facebook已完成对加密货币项目“Libra”商标的收购。
3.蚂蚁金服:正在探索联盟链上的各种凭证流转,并非“发行数字资产”。
4.Bitfinex官方“白皮书”与中文版区别:并非永续回购,LEO预期回报或将大幅降低。
5.巴菲特:区块链技术有一定的前景 可能会间接参与投资。
6.BM透露将会创建竞拍 token 名称的功能,项目方发币不再需要部署代码。
7.BCH硬分叉预计在5月15日21时进行。
8.GitHub遭黑客攻击:窃取数百源码并勒索比特币。
9.日本经济产业省批准利用区块链技术构建临床数据监测系统。[2019/5/6]
去中心化存储:Filecoin使用ZKP来证明网络中的节点正确存储数据。
区块链压缩:Mina和Celo使用ZKP将同步到链上最新状态所需的区块链数据压缩成一个小证明。
鉴于上述情况,可以肯定地说,随着加密资产采用率的增加,我们将需要ZKP,以适应用户对性能和隐私以及新型应用程序和协议日益增长的需求。
金色相对论 | 江卓尔:CSW造势 迫使交易所免费上线BSV:在本期金色相对论之“矿业危·机”中,针对金色财经内容合伙人佟扬“BCH分叉事件会如何发展?涉及分叉的双方如何获得矿工的支持以赢得最终的胜利?”的提问,莱比特矿池BTC.TOP创始人,比特币布道者江卓尔表示:“目前来看,CSW的本意只分叉出BSV,之前声称要攻击杀死ABC链,原因是
1.大部分信徒反对分裂BCH,因此CSW一直谎称 “只有分叉(fork),没有分裂(split)”;
2.如果直接宣布分叉BSV,影响小,会被大部分人认为是糖果,各交易所还不一定上线。现在搞出这么大阵仗,通过攻击BCH,声称要杀死ABC链的方式,把自己打造成一个 “争议分裂币” 而不是 “糖果分叉币”,这将迫使上了BCH的交易所必须免费上BSV币,这不知道节省了多少的上币费。
CSW一直都被认为可能是中本聪团队的一员,并可能有100万中本聪币。但从目前来看,CSW拥有中本聪币,和创世区块的可能性已经非常小。即使最后CSW真的有100万中本聪币,他的影响也将非常有限,因为此人在社区的信誉已经破产。所以在分叉中,我还是支持“BCH”。[2018/11/19]
ZKP从根本上允许可扩展的私人支付和智能合约平台蓬勃发展,但也带来了巨大的开销,这在历史上阻碍了它们的采用。
为什么ZKP很慢,我们如何让它们变快?
证明计算需要首先将其从经典程序转换为ZK友好格式。这可以通过手动重写代码以使用Arkworks之类的低级库来实现,也可以通过使用Cairo或Circom之类的域特定语言来编译成必要的原语来生成证明。
而更昂贵和更复杂的操作会导致更长的证明生成时间。一些操作对ZK不友好也很常见,这导致在经典计算机上可能是廉价操作的证明生成时间很长。
一旦您的计算采用ZK友好的形式,你就可以选择一些输入并将其发送到证明系统。目前已经有很多证明系统,一些以论文作者的名字命名,另一些则以更具创造性的名字命名。它们的共同点是,它们接受一个以ZK友好格式表示的计算,以及一些输入,并输出一个证明。
根据证明系统的不同,证明生成过程可能会有所不同,但瓶颈始终是:
对大型数字向量的乘法,特别是可变基数和固定基数多标量乘法;或
快速傅里叶变换和逆快速傅里叶变换;
在同时存在FFT和MSM的系统中,大约70%的生成证明时间都花在MSM上,而其余时间则由FFT主导。
MSM和FFT都很慢,但也都有提高性能的方法:
MSM可以通过在多个线程上运行它们来进行加速。然而,即使在数百个内核上,如果每个元素向量的长度为2^25,那么乘法最终仍然会花费大量时间。这意味着经常重复相同的操作,并且会耗尽设备上的大部分可用内存。简而言之,MSM需要大量内存,并且即使在高度并行化时仍然会很慢。
FFT严重依赖算法运行时数据的频繁洗牌。这使得它们很难通过在计算集群中分配负载来实现加速,正如?DIZK??所示。此外,它们在硬件上运行时需要大量带宽。重组意味着你需要“随机”加载和卸载元素,例如,在内存等于或少于16GB的硬件芯片上,从大于100GB的数据集中加载和卸载元素。虽然硬件上的操作非常快,但通过网络加载和卸载数据的时间最终会显着减慢操作速度。
简言之:
MSM具有可预测的内存访问,并允许大量并行化,但由于所需的原始计算量和内存量,它们的成本仍然很高。
FFT有随机的内存访问,这使得它们对硬件不友好,而且很难在分布式基础设施上运行。
在解决大型MSM和FFT的缓慢问题方面,我们看到的最有希望的工作是?PipeZK?。在他们的论文中,作者们描述了一种使用?Pippenger算法?跳过重复计算的方法以降低MSM的成本。他们还描述了一种“展开”FFT的方法,这样它们就可以在不进行重大改组的情况下执行,而由于可预测的内存访问模式,这可以提高硬件的速度。
假设上述方法解决了每种算法的基本瓶颈,那么问题就变成了:使用高度优化的MSM和FFT算法来加速ZKP生成的最佳硬件是什么?
硬件很重要
上述加速技术可以在多种硬件技术上实现:GPU、FPGA或ASIC。但哪一种是最好的选择呢?
要回答这个问题,我们首先必须承认ZKP仍处于早期发展阶段。系统参数或证明系统的选择仍然缺乏标准化。
由于这些因素,FPGA有两个核心特性使其在ZK环境中优于ASIC:
“多次写入”与“一次写入”:ASIC上的业务逻辑是一次写入。如果任何ZKP逻辑发生变化,你需要从头开始。FPGA可以在1秒内重新刷新任意次数,这意味着它们可以在具有不兼容证明系统的多个链上重复使用相同的硬件,并灵活地适应ZK“meta”的变化。
更健康的供应链:ASIC从设计、制造到部署,通常需要12到18个月或更长的时间。相比之下,FPGA供应链是健康的,像Xilinx等领先供应商允许在16周内从网站获得大量零售订单。这允许以FPGA为中心的运营商在其产品上有一个更紧密的反馈循环,并通过购买和部署更多FPGA来扩大运营规模。
我们还预计FPGA的性能将优于GPU,原因与它们在机器学习和计算机视觉领域蓬勃发展的原因类似:
1、硬件成本:一流的FPGA比一流的GPU便宜约3倍。此外,全球对GPU的需求进一步加剧了这一问题。
2、能效:FPGA的能效比GPU高10倍以上,其中一个重要原因是需要将GPU连接到主机设备,这通常会消耗大量电力。
鉴于上述情况,我们预计市场上的赢家将是专注于FPGA而非ASIC或GPU的公司。然而,如果只有一个或几个ZKL1或L2项目最终主导了市场,并且ZK证明系统稳定在单一实现上,那么ASIC胜过FPGA的可能性可能会更高。但这种情况要真的发生,我们可能还需要等待几年的时间。
结论
2021年,比特币矿工的净收入超过150亿美元,以太坊矿工则刚刚超过170亿美元。零知识证明最终成为网络计算完整性和隐私的事实媒介,这似乎是合理的。在这种情况下,零知识矿工/证明人的机会可能与工作量证明挖矿市场的规模相似。
ZKP很慢,其需要硬件加速才能在复杂的计算中变得可行。我们认为,对ZK硬件加速最重要的技术是FPGA,而不是GPU或ASIC。
文章源自:ParadigmCTO兼研究合伙人?GeorgiosKonstantopoulos
伴随着全球用户数及代币价格的持续暴涨,主打“MovetoEarn”模式的STEPN成为GameFi赛道中的一匹黑马,并成为圈内外玩家的“网红打卡地”.
1900/1/1 0:00:00专业技能能够变现,吃喝玩乐也可以赚钱。 过去一个多月,随着Stepn的大涨,MoveToEarn的模式开始破圈,引起越来越多非加密人士的关注.
1900/1/1 0:00:00everFinance旨在为所有人提供没有时空界限的去中心化金融服务。其目标是提升用户体验,降低开发门槛,为所有人提供去中心化可信的金融应用.
1900/1/1 0:00:00你是否曾因害怕错过一个币而买在最高点?你是否曾卖掉蓝筹而上车了一个垃圾币?你是否曾在亏了50%的时候不肯割肉导致继续亏损45%?以上都是认知偏差在作祟,是错误的投资思维导致这些结果.
1900/1/1 0:00:004月4日,特斯拉创始人埃隆·马斯克收购推特9.2%的股份后,一跃成为推特的最大股东。随后,推特CEO帕拉格·阿格拉瓦尔表示,将任命马斯克为公司董事会成员,这意味着马斯克一举成为社交媒体巨头推特的.
1900/1/1 0:00:0012:00-21:00关键词:Meta计划、Nexo、索尼网络、Binance、LINE1.Meta计划对其VR社交游戏中数字资产销售抽取高达47.5%的分成;2.
1900/1/1 0:00:00