原标题|Plonky2入门指南———关于全世界最快的ZK技术
PolygonZero的宗旨很简单:在不影响去中心化或安全性的前提下,使用零知识证明将以太坊扩展到十亿用户。实现这一点需要快速有效的验证系统。今天,我们很高兴与大家分享Plonky2——零知识密码学的一个重要里程碑。
Plonky2是一种递归zk-SNARK(Zero-KnowledgeSuccinctNon-InteractiveArgumentofKnowledge,?零知识简洁的非交互式知识论证),比现有其他方案快100倍,并且与以太坊原生兼容。它结合了PLONK和FRI以获得最好的STARK(Zero-KnowledgeScalableTransparentArgumentofKnowledge,零知识可扩展的透明知识论证),具有快速证明和无可信设置,以及最好的SNARK,支持递归和以太坊上的低验证成本。
比特币投资公司NYDIG上月裁员约110人,占员工总数三分之一:10月14日消息,据华尔街日报援引消息人士报道,比特币投资公司NYDIG于9月22日通知受裁员影响的员工,裁员人数约为110人,大概占公司员工总数的三分之一。知情人士表示,员工被告知公司正在寻求削减开支,并将其重点缩小到更有前途的业务。
此前报道,10月3日,NYDIG发布公告表示,其首席执行官Robert Gutmann和总裁Yan Zhao将离职,但会留在NYDIG母公司Stone Ridge Holdings。Tejas Shah和Nate Conrad将分别担任新任首席执行官和总裁,二人此前分别担任该机构全球金融主管和全球支付主管。[2022/10/14 14:27:28]
Plonky2代表了Polygon持续致力于构建以太坊未来的最新一步,我们很自豪能与以太坊社区分享我们的工作。
Plan B:MicroStrategy现在拥有三分之一BTC市值 你真以为比特币会被禁?:根据加密货币市场分析师Plan B在推特发起一项针对“什么会是比特币最大风险”的调研结果显示:1、50%的受访者认为政府禁令是比特币最大风险;2、19%认为是山寨币和DeFi;3、17%认为是衍生品和期货。Plan B对此结果评论说:MicroStrategy现在拥有三分之一BTC市值,你真认为美国政府会破坏加密货币市场吗?随着更多上市公司入场,禁令风险将变得越来越小,想象一下谷歌、苹果或微软也加入比特币趋势,禁令将离市场越来越远。MicroStrategy是全球最大独立BI公司,目前总计已花费4.25亿美元购入38250 BTC。[2020/9/16]
递归
外媒:减半前三个月里,灰度购买了近三分之一新比特币:传闻称,在5月12日比特币减半前的三个月里,Barry Silbert数字货币集团的子公司、加密货币基金投资管理公司灰度(Grayscale Investments)购买了近三分之一的新比特币。一位名为“parakite”的研究人员在Reddit上发帖称,在2月7日至5月17日之间,Greyscale向其比特币信托基金增加了60762个比特币信托基金,并补充说,“这些比特币被锁定了6个月”,这意味着它们至少在半年之内不会被出售。Twitter用户Kevin Rooke对parakite的调查结果进行了扩展,他解释说这表示机构资金已经到位。(FinanceMagnates)[2020/5/25]
如果零知识证明有超能力,那就是递归。SNARK可以验证任意计算,并且由于验证SNARK是一种计算,因此SNARK可以验证其他SNARK。
动态 | 一月份顶级加密交易所交易量回升至总市场份额的三分之一:金色财经报道,CryptoCompare数据显示,一月份,顶级加密货币交易所(AA-B级)的总交易量增加了61.2%,占该领域总交易量的29.3%,而较低级别的交易所的交易量增加了46.4%。顶级加密货币交易所的交易量与去年12月份相比增长明显。[2020/2/27]
要了解它为何有用,我们可以来做一个假设。假设:我们要证明一批总计1,000笔的交易是有效的,而且一次生成一个证明来依次验证1,000笔交易将是昂贵且耗时的。
相反,我们可以使用1,000台机器并行生成1,000个证明,每笔交易对应一个证明。接下来,我们可以获取这些交易证明,并通过生成一层递归证明来递归聚合它们,每个证明都验证两个交易证明。我们重复这个过程,直到我们得到一个可以验证1000笔交易的证明。
递归方法更快,资源密集度更低,并且可以更加分散。
效率
递归证明对于区块链的可扩展性至关重要。当我们在2019年启动Mir时,在一台高速计算机上需要两分钟才能生成一个递归证明。2020年以太坊新增了60秒证明时间的递归证明,并且Halo的发明提供了更快的递归证明,但不兼容以太坊。
2021年,我们有了一个大胆的目标:在以太坊上进行不到1秒的递归证明。我们意识到,STARKS中使用的多项式承诺方案FRI可以为递归SNARK提供显着的性能改进。在当时,这并不明显。Fractal是递归FRI的唯一现有实现,大约需要10分钟才能生成证明。
然而,FRI有一些令人兴奋的特性。它允许我们使用64位字段,我们的团队发现了Goldilocks字段,它的模数可以在现代CPU上实现极其高效的字段运算。当与PLONK结合使用时,FRI允许我们编写具有更多电线的自定义逻辑门,因此我们可以编写针对高效递归进行优化的电路。
这种数学洞察力、零知识密码学方面的深厚专业知识和惊人的低级优化相结合,使我们能够取得重大突破。Plonky2的递归证明在MacbookPro上仅需170毫秒,比现有替代方案提高了100倍。
证明的大小
Plonky2还允许我们为不涉及递归的证明的证明时间提速。使用FRI,您可以拥有大型的快速证明,或者您可以选择小型的慢速证明。正如Starkware在其ZK-rollups中使用的STARK,使用FRI的构造必须进行选择。他们不能拥有足够快的证明时间和足够小的证明大小以在以太坊上进行合理验证。
Plonky2消除了这种权衡。在证明时间很重要的情况下,我们可以优化最快的证明。当这些证明被递归聚合时,我们只剩下一个可以在小电路中验证的证明。此时,我们可以优化证明大小。我们可以将证明大小缩小到45kb,只需20秒的证明时间,相对于Starkware,大大降低了成本。
兼容性
令人兴奋的是,Plonky2原生兼容以太坊。Plonky2只需要keccak-256来验证证明。我们估计,在以太坊上验证plonky2大小优化证明的燃料费成本约为100万Wei。
然而,这个成本主要是在以太坊上发布证明的CALLDATA成本。如果CALLDATA在EIP-4488中重新定价,plonky2证明的验证成本将下降到170-200kgas之间,这可能使其不仅是最快的证明系统,也是在以太坊上验证的最便宜的系统。
结论
去年,Polygon承诺支持零知识证明扩容。这代表了一个重要的转变,因为Polygon从提供当前的基本解决方案转向构建以太坊扩展的未来。Plonky2是这一旅程的重要一步,也是整个空间的重大突破。
ZKL2受益于大量炒作,但当前的解决方案依赖于低效且限制可扩展性的密码原语。最终,L2将在吞吐量和成本上展开竞争,而Plonky2为Polygon生态系统提供了构建性能最高和可扩展的L2的机会。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。