Plonky2是一种递归SNARK，它结合了PLONK和FRI以获得最好的STARK，具有快速证明和无可信设置，以及最好的SNARK，支持递归和以太坊上的低验证成本。
PolygonZero的任务很简单：使用零知识证明将以太坊扩展到十亿用户，同时不影响去中心化或安全性。实现这一点就需要一种快速有效的证明系统。今天，我们很高兴与大家分享Plonky2，这是零知识密码学的一个重要里程碑。
标记为memelandreserve.eth的钱包中持有超1万枚ETH:金色财经报道，据9GAG旗下的NFT项目Memeland在社交媒体分享的钱包地址显示，标记为memelandreserve.eth的钱包中持有超1万枚ETH，截至目前为10,000.320778575148896294 ETH，按照当前价格计算超过1860万美元。[2023/4/8 13:51:07]
Plonky2是一种递归SNARK，比现有替代方案快100倍，并且与以太坊原生兼容。它结合了PLONK和FRI以获得最好的STARK，具有快速证明和无可信设置，以及最好的SNARK，支持递归和以太坊上的低验证成本。
Plonky2代表了Polygon持续致力于构建以太坊未来的最新一步，我们很自豪能与以太坊社区分享我们的工作。
数据：某巨鲸地址从FTX提取3024万枚FTT代币，约合7.76亿美元:金色财经报道，数据显示，北京时间9:59:59，0xf155开头的某巨鲸地址从FTX提取了3024万枚FTT代币，约合7.76亿美元。
此外该地址也曾在1个月前从FTX交易所提取了3024万枚FTT代币。[2022/10/31 12:00:35]
递归
如果零知识证明有一种超能力，那就是递归。SNARK可以验证任意计算，并且由于验证SNARK是一种计算，因此SNARK也可以用于验证其他SNARK。
要了解它为何有用，假设我们要证明一批1,000笔交易是有效的。一次生成一个证明来逐个验证1,000笔交易将是昂贵且耗时的。
Ronin黑客已将6.25亿美元被盗资产从以太坊转移至比特币网络:8月22日消息，根据链上开发人员兼调查员Blite Zero研究发现，Ronin黑客已经将被盗资产从以太坊转移至比特币网络。今年3月，Ronin跨链桥遭攻击后，黑客将价值6.25亿美元的USDC和ETH转移到Tornado Cash，此后，BliteZero跟踪到黑客将资金从Tornado Cash转移至多个跨链桥和加密货币交易平台，通过renBTC形式将其转移到比特币网络，并存入到ChipMixer、Blender等混币器。[2022/8/22 12:39:57]
相反，我们可以使用1,000台机器并行生成1,000个证明，每个交易一个。接下来，我们可以获取这些交易证明，并通过生成一层递归证明来递归聚合它们，每个证明都验证两个交易证明。我们重复这个过程，直到我们得到一个可以验证1000笔交易的证明。
Web3 数据解决方案 KYVE 将把其区块链协议迁移至 Cosmos SDK 的链:5月17日消息，Web3 数据解决方案 KYVE 宣布将把区块链协议从基于 EVM 的链迁移到基于 Cosmos SDK 的链。KYVE 允许项目轻松标准化、验证和永久存储数据，例如原始区块数据、交易、应用数据等。[2022/5/17 3:22:20]
递归方法更快，资源密集度更低，并且可以更加去中心化。
效率
递归证明对于区块链的可扩展性至关重要。当我们在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的机会。
来源：金色财经
概述 新的一周,我们欣喜的看到越来越多的传统机构、组织布局元宇宙领域。?首先是微软最近披露的求职岗位信息显示,该科技巨头将会组一支建结合混合视觉技术应用,并且以“Vortex”(漩涡)为名称的工作团队,以扩大元宇宙应用布局.
1900/1/1 0:00:00NFT作为炙手可热的新事物,已经快速出圈成为越来越多人关注的焦点。NFT不仅可以编码其真实性、稀缺性、可转让性以及所有权属的意义,还可以通过其特性,给予实体资产数字化提供了一个可行途径,现实资产映射虚拟资产的媒介容器,在数字经济的浪潮.
1900/1/1 0:00:00FTX首席执行官SamBankman-Fried表示,机构对加密货币的采用可能会在2022年加速,而具体的速度则取决于美国和全球监管的明确程度。他认为,2021年加密行业的活动为将要到来的、更庞大的东西打好了基础.
1900/1/1 0:00:00整理|Rachel 火星编辑时刻 《万字解读2022年即将爆发的Cosmos生态》本报告将从宏观的跨链技术开始讨论Cosmos生态,并对Cosmos的白皮书和经济模型作出解读.
1900/1/1 0:00:00概述 一直以来,安全始终是所有金融平台的重中之重。在无法保障资金安全的情况下,高收益都是一张张的空头支票。这一点对于去中心化借贷平台来说也是一样的。回顾过去的一年,不少的借贷平台都发生过安全事故,给用户带来了惨重的损失.
1900/1/1 0:00:002021年下半年最火的概念非元宇宙莫属,在元宇宙概念里链游是最快火起来的项目,有些链游项目在国外已经非常火爆,由于疫情的影响很多人无法外出工作,链游坐在家里,就可以边玩边赚的特点,参与链游是最佳的选择.
1900/1/1 0:00:00
宇宙链