Plonky2是一种递归SNARK,它结合了PLONK和FRI以获得最好的STARK,具有快速证明和无可信设置,以及最好的SNARK,支持递归和以太坊上的低验证成本。
PolygonZero的任务很简单:使用零知识证明将以太坊扩展到十亿用户,同时不影响去中心化或安全性。实现这一点就需要一种快速有效的证明系统。今天,我们很高兴与大家分享Plonky2,这是零知识密码学的一个重要里程碑。
Plonky2是一种递归SNARK,比现有替代方案快100倍,并且与以太坊原生兼容。它结合了PLONK和FRI以获得最好的STARK,具有快速证明和无可信设置,以及最好的SNARK,支持递归和以太坊上的低验证成本。
BTC今日价格距2022年最低点价格已经翻倍:金色财经报道,Coingecko数据显示,BTC于今日突破31000美元,当前价格距2022年11月21日比特币最低点15476美元已经翻倍。[2023/4/14 14:03:56]
Plonky2代表了Polygon持续致力于构建以太坊未来的最新一步,我们很自豪能与以太坊社区分享我们的工作。
递归
如果零知识证明有一种超能力,那就是递归。SNARK可以验证任意计算,并且由于验证SNARK是一种计算,因此SNARK也可以用于验证其他SNARK。
要了解它为何有用,假设我们要证明一批1,000笔交易是有效的。一次生成一个证明来逐个验证1,000笔交易将是昂贵且耗时的。
zkSync与加密基础设施公司Espresso Systems合作,将集成CAPE技术以实现隐私交易:1月19日消息,基于ZK Rollup的以太坊二层网络 zkSync 正与加密基础设施公司 Espresso Systems 合作,将集成“可配置资产隐私”CAPE(Configurable Asset Privacy)的新技术,以实现隐私交易。任何用户都可以在不暴露区块链的私人数据的情况下进行交易,从而为不希望余额、链上活动和其他可公开访问的私人数据暴露的机构消除障碍。
据悉,该合作仍在计划中,尚未部署在 zkSync 的测试网上,预计今年晚些时候将更新现实世界资产、供应链、身份、支付和贸易融资的代币化。[2023/1/19 11:20:18]
相反,我们可以使用1,000台机器并行生成1,000个证明,每个交易一个。接下来,我们可以获取这些交易证明,并通过生成一层递归证明来递归聚合它们,每个证明都验证两个交易证明。我们重复这个过程,直到我们得到一个可以验证1000笔交易的证明。
币印IOU模式遭新加坡仲裁员否决:金色财经报道,一名新加坡仲裁员宣布币印(Poolin)的 IOU 模式无效,并命令其向客户返还 88 枚 BTC(约合 150 万美元)。本周二,Poolin 首席执行官 Kevin Pan 表示,因公司现金流仍不充足,IOU 付款仍未发放。Kevin Pan 预计币印将于今年上半年向新加坡案原告 Li Bei 进行偿付,但仍将取决于币印的现金流和市场情况。
此前消息,去年 9 月,币印钱包表示平台出现流动性紧缩,正极尽全力出具流动性纾解方案,随后发行六种债务 Token IOU-Tokens 以代表用户持有的 BTC 等资产,并可以每季度将其转换为原始资产。[2023/1/7 10:59:06]
递归方法更快,资源密集度更低,并且可以更加去中心化。
元宇宙UGC平台YAHAHA完成4000万美元A+轮融资,淡马锡和阿里巴巴联合领投:11月15日消息,元宇宙UGC平台YAHAHA完成4000万美元A+轮融资,本轮融资由淡马锡和阿里巴巴联合领投,三七互娱跟投,泰合资本担任独家财务顾问。融资款项将用于团队吸纳游戏行业头部人才,并进一步扩张北美和亚太地区业务版图。YAHAHA会通过工作室合作、加速器、全球活动、GameJams等多元化方式继续支持其超过10万的创作者群体。
据报道,公司于2022年4月发布了其产品的Alpha测试版本,海外地区用户已经能够在PC/Mac/移动端进行下载,且用户能够跨端同服进行互动。截止10月,YAHAHA的产品已吸引超10万用户注册与体验。在产品进一步推向市场的同时,YAHAHA团队也已经扩张至近200人规模,在上海、芬兰、首尔等地均设有办公室,据悉公司将进一步在其他地区设立办公室并招募当地团队。[2022/11/15 13:07:08]
效率
递归证明对于区块链的可扩展性至关重要。当我们在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,您可以拥有大型的快速证明,或者您可以拥有小型的慢速证明。使用FRI的构造,例如Starkware在其ZKRollup中使用的STARK,必须进行选择;他们不能拥有足够快的证明时间和足够小的证明大小以在以太坊上进行合理验证。
Plonky2消除了这种权衡。在证明时间很重要的情况下,我们可以优化最快的证明。当这些证明被递归聚合时,我们只剩下一个可以在小回路中验证的证明。此时,我们可以优化证明大小。我们可以将证明大小缩小到45kb,只需20秒的证明时间,相对于Starkware,大大降低了成本。
兼容性
令人兴奋的是,Plonky2原生兼容以太坊。Plonky2只需要keccak-256来验证证明。我们估计,在以太坊上验证plonky2大小优化证明的gas成本约为100万gas。
然而,这个成本主要是在以太坊上发布证明的CALLDATA成本。如果CALLDATA在EIP-4488中重新定价,plonky2证明的验证成本将降至170-200kgas之间,这可能使其不仅是最快的证明系统,而且是在以太坊上验证的最便宜的系统。
结论
去年,Polygon承诺支持零知识扩展。这代表了一个重要的转变,因为Polygon从提供当前的基本解决方案转向构建以太坊扩展的未来。Plonky2是这一旅程的重要一步,也是整个空间的重大突破。
ZKL2受益于大量炒作,但当前的解决方案依赖于低效且限制可扩展性的密码原语。最终,L2将在吞吐量和成本上展开竞争,而Plonky2为Polygon生态系统提供了构建性能最高和可扩展的L2的机会。
来源:金色财经
交易步入正轨,昨天说的震荡没有这么快结束,刚看了下快到4.7w了,也不用高兴,有上有下,还是按照之前的方法来操作,上涨五个点走掉,下跌五个点进场,短线玩法很有必要.
1900/1/1 0:00:00从Movetoearn游戏到区块链上的碳抵消,STEPN正在努力实现许多不同的目标。事实上,作为Solana上的第一个MovetoearnNFT游戏,STEPN及其首席执行官YawnRong,正.
1900/1/1 0:00:00GameFi无疑是区块链行业2021年的年度关键词之一,尤其是下半年来势头迅猛,日交易额从50万美元猛增到5.44亿美元,玩家从8万迅速增长到了133万.
1900/1/1 0:00:002021年,绿洲基金会宣布与NFTb建立合作伙伴关系,NFTb是首批为其生态系统添加跨链兼容性的NFT平台之一.
1900/1/1 0:00:001月11日,据区块链浏览器TRONSCAN最新数据,波场TRON账户总数达到71,003,486,正式突破7100万.
1900/1/1 0:00:002021年,随着去中心化金融(DeFi)的飙升,不可替代的代币(NFT)应运而生。2022年1月,势头正在增强,例如创下有史以来最高销售额.
1900/1/1 0:00:00