Plonky2 是一种递归 SNARK,它结合了 PLONK 和 FRI 以获得最好的 STARK,具有快速证明和无可信设置,以及最好的 SNARK,支持递归和以太坊上的低验证成本。
Polygon Zero 的任务很简单:使用零知识证明将以太坊扩展到十亿用户,同时不影响去中心化或安全性。 实现这一点就需要一种快速有效的证明系统。 今天,我们很高兴与大家分享 Plonky2,这是零知识密码学的一个重要里程碑。
(注:Polygon此前宣布以4亿美元收购零知识技术开发商Mir,将其更名为Polygon Zero)
HALO公布空投细节,快照将于3月3日陆续启动:2月26日消息,3D 虚拟形象 NFT 项目 HALO OFFICIAL 发文公布空投细节,空投 Token 总量为 1000 万枚。其中:
HALO NFT 持有者获得 25%;
HALO Avatar NFT 持有者获得 25%;
Life Avatar Poap 持有者获得 10%;
Lifeform Activity Medal 持有者获得 10%;
Lifeform Points 持有者获得 20%;
Lifeform Avatar 持有者获得 5%;
Lifeform Cartoon Avatar 持有者获得 5%。
此外,质押的 NFT 不包含在快照中。因此,用户需确保在拍摄快照之前取消质押。快照时间为:3 月 3 日 8 时(除 Lifeform Points 外的其他地址);3 月 5 日 8 时(Lifeform Points 地址)。[2023/2/26 12:30:27]
Plonky2 是一种递归 SNARK,比现有替代方案快 100 倍,并且与以太坊原生兼容。 它结合了 PLONK 和 FRI 以获得最好的 STARK,具有快速证明和无可信设置,以及最好的 SNARK,支持递归和以太坊上的低验证成本。
广州法院引用“绿色原则”判决涉虚拟货币“挖矿”合同案,认定合同无效:金色财经报道,广州市天河区人民法院23日发布消息,近日,该院审理了一起有关虚拟货币“挖矿”引发的合同纠纷案件。法院一审认定合同无效,判决驳回原告的全部诉讼请求与被告的全部反诉请求。
法院审理后认为,某天公司与某马公司签署《战略合作框架协议书》,属于虚拟货币相关业务活动。且本案涉及的“挖矿”活动能源消耗和碳排放量大,对国民经济贡献度低,不利于中国产业结构优化节能减排,不利于实现碳达峰、碳中和的目标。因此,双方签订的“挖矿”合同因有损社会公共利益、有违公序良俗应属无效,由此产生的相关财产权益亦不应受到法律保护,上述行为造成的后果应当由当事人自行承担。(中国新闻网)[2022/11/24 8:03:54]
Plonky2 代表了 Polygon 持续致力于构建以太坊未来的最新一步,我们很自豪能与以太坊社区分享我们的工作。
SBF:价值约41亿美元FTT转账为钱包整理:9月28日消息,针对约1.74亿枚FTT(价值约41亿美元)在未知钱包间转移,SBF表示,今天正在轮换几个FTX钱包(大部分是非流通的);我们定期这样做。可能还会有一些,不会有任何影响。[2022/9/28 5:58:28]
递归
如果零知识证明有一种超能力,那就是递归。 SNARK 可以验证任意计算,并且由于验证 SNARK 是一种计算,因此 SNARK也可以用于验证其他 SNARK。
要了解它为何有用,假设我们要证明一批 1,000 笔交易是有效的。 一次生成一个证明来逐个验证 1,000 笔交易将是昂贵且耗时的。
相反,我们可以使用 1,000 台机器并行生成 1,000 个证明,每个交易一个。 接下来,我们可以获取这些交易证明,并通过生成一层递归证明来递归聚合它们,每个证明都验证两个交易证明。 我们重复这个过程,直到我们得到一个可以验证 1000 笔交易的证明。
Argo Blockchain第一季度净利润为210万美元,同比下降90%:金色财经报道,Argo Blockchain公布第一季度净利润为160万英镑(210万美元),同比下降90%以上。Argo提到了数字货币公允价值的变化等因素,第一季度比特币的价格在4万美元左右,而去年同期为近6万美元。Argo开采了470个比特币及等值比特币,而去年同期为387个。截至第一季度末,Argo持有2700枚比特币及和比特币等价物。Argo近几周从纽约数字投资集团(NYDIG)子公司借款7060万美元,用于为其位于德克萨斯州的Helios设施购买采矿设备,该设施将以200兆瓦的功率运行,并有可能提高到800兆瓦。(coindesk)[2022/5/18 3:25:11]
递归方法更快,资源密集度更低,并且可以更加去中心化。
效率
递归证明对于区块链的可扩展性至关重要。当我们在 2019 年启动 Mir(现在的 Polygon Zero)时,在一台快速计算机上需要两分钟才能生成一个递归证明。 2020 年为以太坊带来了证明时间为60 秒的递归证明,Halo 的发明提供了更快的递归证明,但它不兼容以太坊。
2021 年,我们有了一个大胆的目标:在以太坊上实现不到 1 秒的递归证明。我们意识到,STARKS 中使用的多项式承诺方案 FRI 可以为递归 SNARK 提供显着的性能改进。在当时,这并不明显。 Fractal 是递归 FRI 的唯一现有实现,大约需要 10 分钟才能生成证明。
然而,FRI 有一些令人兴奋的特性。它允许我们使用 64 位字段,我们的团队发现了 Goldilocks 字段,它的模数可以在现代 CPU 上实现极其高效的字段运算。当与 PLONK 结合使用时,FRI 允许我们编写具有更多线程的自定义门关,因此我们可以编写针对高效递归进行优化的回路。
这种数学洞察力、零知识密码学方面的深厚专业知识和惊人的低级优化相结合,使我们能够取得重大突破。 Plonky2 的递归证明在 Macbook Pro 上仅需 170 毫秒就能完成,比现有替代方案提高了 100 倍。
证明大小
Plonky2 还允许我们加快不涉及递归的证明的证明时间。 使用 FRI,您可以拥有大型的快速证明(在以太坊上验证它们的成本更高),或者您可以拥有小型的慢速证明。 使用 FRI 的构造,例如 Starkware 在其 ZK Rollup中使用的 STARK,必须进行选择; 他们不能拥有足够快的证明时间和足够小的证明大小以在以太坊上进行合理验证。
Plonky2 消除了这种权衡。 在证明时间很重要的情况下,我们可以优化最快的证明。 当这些证明被递归聚合时,我们只剩下一个可以在小回路中验证的证明。 此时,我们可以优化证明大小。 我们可以将证明大小缩小到 45kb,只需 20 秒的证明时间(这没什么大不了的,因为我们只在提交到以太坊时生成),相对于 Starkware,大大降低了成本。
兼容性
令人兴奋的是,Plonky2 原生兼容以太坊。 Plonky2 只需要 keccak-256 来验证证明。我们估计,在以太坊上验证 plonky2 大小优化证明的 gas 成本约为 100 万gas。
然而,这个成本主要是在以太坊上发布证明的 CALLDATA 成本。如果 CALLDATA 在 EIP-4488 中重新定价,plonky2 证明的验证成本将降至 170-200k gas 之间,这可能使其不仅是最快的证明系统,而且是在以太坊上验证的最便宜的系统。
结论
去年,Polygon 承诺支持零知识扩展。这代表了一个重要的转变,因为 Polygon 从提供当前的基本解决方案转向构建以太坊扩展的未来。 Plonky2 是这一旅程的重要一步,也是整个空间的重大突破。
ZK L2 受益于大量炒作,但当前的解决方案依赖于低效且限制可扩展性的密码原语。最终,L2 将在吞吐量和成本上展开竞争,而 Plonky2 为 Polygon 生态系统提供了构建性能最高和可扩展的 L2 的机会。
标签:以太坊PLOLONARK以太坊币最新价格今日行情2022.10.12PloutozELONGD价格arkm币最新消息
撰文:王涌喆 作为信息时代的信任解决方案,区块链技术去中心化的透明性和现实所需要的隐私性之间存在一定的矛盾.
1900/1/1 0:00:00撰写:Frank 此前《三分钟读懂 Chainge:让资金在 DeFi 中自由转移的应用聚合平台》一文中,简单介绍了 Chainge 作为一个 DeFi 应用聚合平台,不同于大多数现有 DeFi 聚合器.
1900/1/1 0:00:00今天被各种关于Loot的信息刷屏,毫无征兆。过去一年以来,所有NFT带来的冲击都没有今天这么大——即使是Beeple的NFT画作被拍卖了6934多万美元。因为Loot只是一个有几行字的TXT文件,且创世仅5天.
1900/1/1 0:00:00笔者好久没有为大家更新文章了,原因在于近期一直在研究一款真正的区块链游戏——Rarity!说其有真,反之也必存其假!Rarity这款游戏可以说是真正区块链的链游,一个探险游戏,在游戏中最值钱的就是时间和经历.
1900/1/1 0:00:00此项研究计划由 DeepDAO、Kolektivo Labs、PrimeDAO 和 Open DeFi DAO 发起。20% 的资金会给 Catarina Horn (视觉艺术家),20% 给 DeepDAO.
1900/1/1 0:00:00在DeFi中,虽然越大越好并不一定是正确的,但高APY永远让人不舍。而且无论与传统金融相比,DeFi收益率高多少,都不乏渴望最大化利润的DeFi用户从平台到平台、从网络到网络追逐更高的收益.
1900/1/1 0:00:00