这是 ZK-Roller-Coaster 的第 11 版，我们在此跟踪和调查前两周最令人兴奋、最有意义、最疯狂的 ZK 内容。 特别感谢第 11 版的贡献者：Alexander B.、Thisu、Hlpr。 免责声明：这是推文、文字、视频和其他材料的集合；这些并不代表我们的意见，也不一定准确。请进行（或继续）您自己的研究。 紧紧抓住！🎢本周的香料🍿ZK-EVM 战争正在进行中！这次Polygon Zero在推特上指责zksync“最近发布的Boojum库的重要部分——由zksync背后的团队Matter Labs开发——是从Polygon Labs开发的Plonky2证明系统复制粘贴的。Plonky2 是开源的，但 Matter Labs 没有给出适当的归属。” zksync联合创始人Alex回复针对 Polygon 的投诉，声称“今天的指控毫无根据、具有误导性，并且来自我高度尊敬的团队，令人极其失望”，并提供了事实“Plonky2 和 Boojum 都是 RedShift 结构 (PLONK + FRI) 的实现”，并且 RedShift 是由Plonky2 之前的 Mat...

这是 ZK-Roller-Coaster 的第 11 版，我们在此跟踪和调查前两周最令人兴奋、最有意义、最疯狂的 ZK 内容。 特别感谢第 11 版的贡献者：Alexander B.、Thisu、Hlpr。 免责声明：这是推文、文字、视频和其他材料的集合；这些并不代表我们的意见，也不一定准确。请进行（或继续）您自己的研究。 紧紧抓住！🎢本周的香料🍿ZK-EVM 战争正在进行中！这次Polygon Zero在推特上指责zksync“最近发布的Boojum库的重要部分——由zksync背后的团队Matter Labs开发——是从Polygon Labs开发的Plonky2证明系统复制粘贴的。Plonky2 是开源的，但 Matter Labs 没有给出适当的归属。” zksync联合创始人Alex回复针对 Polygon 的投诉，声称“今天的指控毫无根据、具有误导性，并且来自我高度尊敬的团队，令人极其失望”，并提供了事实“Plonky2 和 Boojum 都是 RedShift 结构 (PLONK + FRI) 的实现”，并且 RedShift 是由Plonky2 之前的 Mat...

特别感谢 Brecht Devos 和 Ben Wan 的审阅。特别特别感谢丹尼的表情包。长话短说EIP-4844 带来了两个核心变化：一个以太坊区块中可以发布的数据量增加。因此，汇总吞吐量将会增长。引入新的交易类型、blob 交易和单独的费用市场。因此，数据事务不会与常规事务竞争。这两项更改都将降低汇总的数据发布成本。然而，今天，不可能说成本下降有多大，因为这将是一个基于拥堵的开放市场。 在本说明中，我们简要解释了 EIP-4844 是什么，并探讨了它将如何影响汇总。有关 danksharding 的历史、数学细节和机制选择解释，请查看Dom 或Proto-Danksharding FAQ的文章。 内容简介：非常快速的回顾数据可用性 (DA)原始丹麦分片：EIP-4844简介：非常快速的回顾扩展以太坊背后的想法是拥有更多的区块空间，而不增加构成网络的节点的负担。经过多次争论，选择的解决方案是以太坊（第 1 层）将扩展数据，而 Rollups（第 2 层）将这种可扩展数据转换为可扩展执行。 在以 Rollup 为中心的路线图之前，以太坊探索了将分片作为扩展解决方案。分片是一种水平...

特别感谢 Brecht Devos 和 Ben Wan 的审阅。特别特别感谢丹尼的表情包。长话短说EIP-4844 带来了两个核心变化：一个以太坊区块中可以发布的数据量增加。因此，汇总吞吐量将会增长。引入新的交易类型、blob 交易和单独的费用市场。因此，数据事务不会与常规事务竞争。这两项更改都将降低汇总的数据发布成本。然而，今天，不可能说成本下降有多大，因为这将是一个基于拥堵的开放市场。 在本说明中，我们简要解释了 EIP-4844 是什么，并探讨了它将如何影响汇总。有关 danksharding 的历史、数学细节和机制选择解释，请查看Dom 或Proto-Danksharding FAQ的文章。 内容简介：非常快速的回顾数据可用性 (DA)原始丹麦分片：EIP-4844简介：非常快速的回顾扩展以太坊背后的想法是拥有更多的区块空间，而不增加构成网络的节点的负担。经过多次争论，选择的解决方案是以太坊（第 1 层）将扩展数据，而 Rollups（第 2 层）将这种可扩展数据转换为可扩展执行。 在以 Rollup 为中心的路线图之前，以太坊探索了将分片作为扩展解决方案。分片是一种水平...

Taiko 的第四个测试网已经到来！Eldfell L3 (alpha-4) 是我们对初始层和基于新质押的证明设计的第一个实验。 我们启动这个测试网是为了测试两件事：在 Taiko 上部署 Taiko 作为 L3 初始层（a rollup上的 rollup 😏😏）测试基于新质押的证明者经济学我们的 alpha-N 版本始终是实验，旨在测试我们对协议的假设并构建更强大的系统。那么让我们深入了解吧！初始层初始层是一个巧妙的属性，它来自于以太坊等效的 ZK-Rollup（Type-1 ZK-EVM）。因为 Taiko L2 看起来和以太坊 L1 完全一样，我们为什么不尝试以同样的方式在 Taiko 上部署 Taiko呢？我们很好奇，所以我们就这么做了老实说，完全缩放的汇总空间的设计非常深入，所以我们将把它留到另一篇文章中。初始层的最酷之处在于设计的灵活性。您可以将 Taiko 部署为 L2、L3，甚至更多层，例如 L4…… 我们在这里真正做的是全面测试使用 Taiko 扩展以太坊的所有方法。您可以在我们的官方文档中阅读有关初始层的更多信息：https://taiko.xyz/doc...

Taiko 的第四个测试网已经到来！Eldfell L3 (alpha-4) 是我们对初始层和基于新质押的证明设计的第一个实验。 我们启动这个测试网是为了测试两件事：在 Taiko 上部署 Taiko 作为 L3 初始层（a rollup上的 rollup 😏😏）测试基于新质押的证明者经济学我们的 alpha-N 版本始终是实验，旨在测试我们对协议的假设并构建更强大的系统。那么让我们深入了解吧！初始层初始层是一个巧妙的属性，它来自于以太坊等效的 ZK-Rollup（Type-1 ZK-EVM）。因为 Taiko L2 看起来和以太坊 L1 完全一样，我们为什么不尝试以同样的方式在 Taiko 上部署 Taiko呢？我们很好奇，所以我们就这么做了老实说，完全缩放的汇总空间的设计非常深入，所以我们将把它留到另一篇文章中。初始层的最酷之处在于设计的灵活性。您可以将 Taiko 部署为 L2、L3，甚至更多层，例如 L4…… 我们在这里真正做的是全面测试使用 Taiko 扩展以太坊的所有方法。您可以在我们的官方文档中阅读有关初始层的更多信息：https://taiko.xyz/doc...

我们的第五个测试网来了！Jólnir (Alpha-5)为 Taiko 上的提议和证明工作方式带来了令人兴奋的新调整。 让我们看看这些变化是什么以及您如何参与！受 PBS 启发的新提议和证明设计Jólnir 附带了一种新的、受提议者-构建者分离 (PBS) 启发的提议和证明实现。它的工作原理如下：在 Grímsvötn 中，提议者需要存入一些 TTKO 才能提议一个区块；在 Jólnir 中，提议者需要从证明者那里获得保证金才能提议一个区块。证明者需要 TTKOj 代币（稍后将详细介绍如何获取它们）来存入债券；如果您运行simple-taiko-node作为提议者或证明者，您的提议者将默认选择您自己的本地证明者；然而，提议者也可以从公开市场中选择任何证明者（稍后会详细介绍）。提案者将把 L2 区块交易列表的哈希值发送到证明者的公开市场，证明者提供他们愿意提供债券的价格；提议者在链下向证明者支付费用；如果证明者在指定的证明时间目标内证明了分配给他们的区块，他们将收回保证金，并保留从链下提议者那里获得的预付费用；如果证明者未能在指定的证明时间内证明其分配的区块，则其部分保证金将被削减...

我们的第五个测试网来了！Jólnir (Alpha-5)为 Taiko 上的提议和证明工作方式带来了令人兴奋的新调整。 让我们看看这些变化是什么以及您如何参与！受 PBS 启发的新提议和证明设计Jólnir 附带了一种新的、受提议者-构建者分离 (PBS) 启发的提议和证明实现。它的工作原理如下：在 Grímsvötn 中，提议者需要存入一些 TTKO 才能提议一个区块；在 Jólnir 中，提议者需要从证明者那里获得保证金才能提议一个区块。证明者需要 TTKOj 代币（稍后将详细介绍如何获取它们）来存入债券；如果您运行simple-taiko-node作为提议者或证明者，您的提议者将默认选择您自己的本地证明者；然而，提议者也可以从公开市场中选择任何证明者（稍后会详细介绍）。提案者将把 L2 区块交易列表的哈希值发送到证明者的公开市场，证明者提供他们愿意提供债券的价格；提议者在链下向证明者支付费用；如果证明者在指定的证明时间目标内证明了分配给他们的区块，他们将收回保证金，并保留从链下提议者那里获得的预付费用；如果证明者未能在指定的证明时间内证明其分配的区块，则其部分保证金将被削减...

TL;DR：在本文中，我们将解析最近在 Taiko 上推出的 L3。我们讨论了 L3 在扩展以太坊中的作用、L3 允许我们拥有的新用例，以及 Taiko 具体方法的一些细节。Meme 的灵感来自ex_scxr。介绍当我们谈论扩展以太坊时，我们通常指的是在链外执行交易并确认（i）交易批量正确执行的证明和（ii）链上“批量交易摘要”（区块哈希）的汇总。 然而，对于以太坊残局来说，一次汇总是不够的。即使几次汇总也是不够的。对于以太坊最终的扩展，我们需要无限的扩展能力：数十个rollups？数百个rollups？几千个rollups？🙀The role of L3s新的灵活性水平L2用于通用缩放，L3用于定制缩放。也就是说，L3上的缩放机制与L2上的缩放机制不同。L2 是“经典”EVM，L3 是非 EVM（例如，将“数据”与“证明”分开，并用每个块的单个 SNARK 完全替换证明）；L2 用于无信任扩展，L3 用于弱信任扩展解决方案（例如 validium）；L2 用于通用扩展，L3 用于兼容性（例如，Kakarot，在 Starkware EVM 上模拟通用 EVM）；L2用于缩放，...

TL;DR：在本文中，我们将解析最近在 Taiko 上推出的 L3。我们讨论了 L3 在扩展以太坊中的作用、L3 允许我们拥有的新用例，以及 Taiko 具体方法的一些细节。Meme 的灵感来自ex_scxr。介绍当我们谈论扩展以太坊时，我们通常指的是在链外执行交易并确认（i）交易批量正确执行的证明和（ii）链上“批量交易摘要”（区块哈希）的汇总。 然而，对于以太坊残局来说，一次汇总是不够的。即使几次汇总也是不够的。对于以太坊最终的扩展，我们需要无限的扩展能力：数十个rollups？数百个rollups？几千个rollups？🙀The role of L3s新的灵活性水平L2用于通用缩放，L3用于定制缩放。也就是说，L3上的缩放机制与L2上的缩放机制不同。L2 是“经典”EVM，L3 是非 EVM（例如，将“数据”与“证明”分开，并用每个块的单个 SNARK 完全替换证明）；L2 用于无信任扩展，L3 用于弱信任扩展解决方案（例如 validium）；L2 用于通用扩展，L3 用于兼容性（例如，Kakarot，在 Starkware EVM 上模拟通用 EVM）；L2用于缩放，...

以太坊刚刚度过了 8 岁生日——这是多么美好的一段旅程！该社区已经取得了很多成就——从成为第一个智能合约平台到帮助世界各地数百万人获得开放金融和其他金融服务，但仍有工作要做！ 这项工作主要集中在扩展以及其他技术挑战上。然而，随着可扩展性竞赛的加剧以及团队继续埋头建设，还有另一个需要关注的关键领域——文化和沟通。 这就是为什么我们宣布Taiko 社区倡导计划——这是一个机会，让您展示您的沟通技巧，加入 Taiko 家族，并帮助宣传 Taiko 在构建第一个以太坊等效 ZK-rollup（或类型- 1 用 Vitalik 的话说就是 ZK-EVM ）。 现在让我们来看看该程序的实用性。该计划的用途和不用途通过新的 Taiko 社区倡导者计划，我们希望招募1-3 位活跃的以太坊社区成员并希望为帮助引起人们对 Taiko 的关注做出贡献。 该计划的本质是我们重视质量而不是数量。这意味着我们希望与那些对自己所做的事情充满热情并不断为以太坊社区带来质量的人们合作。 对于这个群体，我们主要寻找属于更广泛的以太坊社区、了解以太坊文化并擅长书面沟通（特别是在 X（Twitter）上）的人。稍后会详...

以太坊刚刚度过了 8 岁生日——这是多么美好的一段旅程！该社区已经取得了很多成就——从成为第一个智能合约平台到帮助世界各地数百万人获得开放金融和其他金融服务，但仍有工作要做！ 这项工作主要集中在扩展以及其他技术挑战上。然而，随着可扩展性竞赛的加剧以及团队继续埋头建设，还有另一个需要关注的关键领域——文化和沟通。 这就是为什么我们宣布Taiko 社区倡导计划——这是一个机会，让您展示您的沟通技巧，加入 Taiko 家族，并帮助宣传 Taiko 在构建第一个以太坊等效 ZK-rollup（或类型- 1 用 Vitalik 的话说就是 ZK-EVM ）。 现在让我们来看看该程序的实用性。该计划的用途和不用途通过新的 Taiko 社区倡导者计划，我们希望招募1-3 位活跃的以太坊社区成员并希望为帮助引起人们对 Taiko 的关注做出贡献。 该计划的本质是我们重视质量而不是数量。这意味着我们希望与那些对自己所做的事情充满热情并不断为以太坊社区带来质量的人们合作。 对于这个群体，我们主要寻找属于更广泛的以太坊社区、了解以太坊文化并擅长书面沟通（特别是在 X（Twitter）上）的人。稍后会详...

这是 ZK-Roller-Coaster 的第 12 版，我们在此跟踪和调查前两周最令人兴奋、最有意义、最疯狂的 ZK 内容。 特别感谢第 12 版的贡献者：José Ve、Alexander B.、Hlpr、tRDM、ex_scxr、alexhuk。 免责声明：这是推文、文字、视频和其他材料的集合；这些并不代表我们的意见，也不一定准确。请进行（或继续）您自己的研究。 紧紧抓住！🎢本周的香料🍿FRI 或非 FRI – 这就是问题！**在 SBC 的演示中，Eli5 STARK将 FRI 与基于 EC 的承诺方案进行了比较，后者测量时钟周期以在 N = 2^20 个字的流中提交字 (w=32b)。扎克·威廉姆森“对此不确定”，声称“幻灯片测量的是错误的东西！” 他还强调“使用 Blake2 在递归设置中并不实用。”Srinath Setty指出，“这种比较很奇怪，因为左侧使用小场元素，而应用于小场元素的 MSM 比应用于随机场元素的 MSM 快得多。”Ariel Gabizon想知道“如果/当定制硬件进入大 p 时，这个比率将如何变化。”ZK 和 Rollups 研究 🧙Ja...

这是 ZK-Roller-Coaster 的第 12 版，我们在此跟踪和调查前两周最令人兴奋、最有意义、最疯狂的 ZK 内容。 特别感谢第 12 版的贡献者：José Ve、Alexander B.、Hlpr、tRDM、ex_scxr、alexhuk。 免责声明：这是推文、文字、视频和其他材料的集合；这些并不代表我们的意见，也不一定准确。请进行（或继续）您自己的研究。 紧紧抓住！🎢本周的香料🍿FRI 或非 FRI – 这就是问题！**在 SBC 的演示中，Eli5 STARK将 FRI 与基于 EC 的承诺方案进行了比较，后者测量时钟周期以在 N = 2^20 个字的流中提交字 (w=32b)。扎克·威廉姆森“对此不确定”，声称“幻灯片测量的是错误的东西！” 他还强调“使用 Blake2 在递归设置中并不实用。”Srinath Setty指出，“这种比较很奇怪，因为左侧使用小场元素，而应用于小场元素的 MSM 比应用于随机场元素的 MSM 快得多。”Ariel Gabizon想知道“如果/当定制硬件进入大 p 时，这个比率将如何变化。”ZK 和 Rollups 研究 🧙Ja...

长话短说虽然 ZK-Rollups、电路和 SNARK 非常复杂且不够成熟，但使用多证明者方法可以对冲证明系统、架构和实现中的错误和漏洞的风险。多证明者可以使用不同类型的证明（例如，有效性证明和欺诈证明）、不同的证明系统（例如，SNARK和STARK）以及不同团队的不同实现来实现。 在本文的第一部分中，我们介绍了多证明者方法的重要性，简要解释了除了证明系统之外还有什么可以多样化。在第二部分中，我们将阐明什么是 SGX（有效性证明之一）、它是如何工作的，并解释为什么它是现有加密和经济系统的可靠补充选项。在第三部分中，我们简要描述了多重证明者如何适用于节点和智能合约。 https://twitter.com/gakonst/status/1698068083716608449?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1698068083716608449%7Ctwgr%5Eabd23fb46aa4dd1325438df4cdecbdcaf0faa579%7Ctwcon%5Es1_&ref_url=https%3A%2F...

长话短说虽然 ZK-Rollups、电路和 SNARK 非常复杂且不够成熟，但使用多证明者方法可以对冲证明系统、架构和实现中的错误和漏洞的风险。多证明者可以使用不同类型的证明（例如，有效性证明和欺诈证明）、不同的证明系统（例如，SNARK和STARK）以及不同团队的不同实现来实现。 在本文的第一部分中，我们介绍了多证明者方法的重要性，简要解释了除了证明系统之外还有什么可以多样化。在第二部分中，我们将阐明什么是 SGX（有效性证明之一）、它是如何工作的，并解释为什么它是现有加密和经济系统的可靠补充选项。在第三部分中，我们简要描述了多重证明者如何适用于节点和智能合约。 https://twitter.com/gakonst/status/1698068083716608449?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1698068083716608449%7Ctwgr%5Eabd23fb46aa4dd1325438df4cdecbdcaf0faa579%7Ctwcon%5Es1_&ref_url=https%3A%2F...

这是 ZK-Roller-Coaster 的第 9 版，我们将跟踪和调查前两周最令人兴奋、最有意义、最疯狂的 ZK 内容。 这是 Taiko 社区制作的第四版 ZK-Roller-Coaster！ 特别感谢第 9 版的贡献者：Alex_ADEdge、kshyun28、BluePillow alexanderblv、yona 免责声明：这是推文、文字、视频和其他材料的集合；这些并不代表我们的意见，也不一定准确。请进行（或继续）您自己的研究。 紧紧抓住！🎢本周的香料🍿Celo提议从独立的 EVM 兼容 L1 过渡到以太坊 L2。这种转变应该使用EigenLayer 来支持验证并通过 CELO 和 ETH 的双重质押以及 EigenDA 的数据承诺来促进快速最终确定。社区认为，一方面，L1→以太坊L2过渡在可预见的未来可能成为一种趋势。另一方面，拥有许多 L2 是否有意义并不明显。ZK 和 Rollups 研究 🧙Justin Thaler的文章“关于 SNARK 的 17 个误解（以及它们为何阻碍我们）” 。Twitter帖子：Spearbit在 Polygon zkEVM 协...

这是 ZK-Roller-Coaster 的第 9 版，我们将跟踪和调查前两周最令人兴奋、最有意义、最疯狂的 ZK 内容。 这是 Taiko 社区制作的第四版 ZK-Roller-Coaster！ 特别感谢第 9 版的贡献者：Alex_ADEdge、kshyun28、BluePillow alexanderblv、yona 免责声明：这是推文、文字、视频和其他材料的集合；这些并不代表我们的意见，也不一定准确。请进行（或继续）您自己的研究。 紧紧抓住！🎢本周的香料🍿Celo提议从独立的 EVM 兼容 L1 过渡到以太坊 L2。这种转变应该使用EigenLayer 来支持验证并通过 CELO 和 ETH 的双重质押以及 EigenDA 的数据承诺来促进快速最终确定。社区认为，一方面，L1→以太坊L2过渡在可预见的未来可能成为一种趋势。另一方面，拥有许多 L2 是否有意义并不明显。ZK 和 Rollups 研究 🧙Justin Thaler的文章“关于 SNARK 的 17 个误解（以及它们为何阻碍我们）” 。Twitter帖子：Spearbit在 Polygon zkEVM 协...

这是 ZK-Roller-Coaster 的第 15 版，我们在此跟踪和调查前两周最令人兴奋、最有意义、最疯狂的 ZK 内容。 特别感谢第 15 版的贡献者：Hlpr、Alexander B 。 免责声明：这是推文、文字、视频和其他材料的集合；这些并不代表我们的意见，也不一定准确。请进行（或继续）您自己的研究。 紧紧抓住！🎢本周的香料🍿Scroll 推出了他们的主网。如果网络真的准备好启动，社区会感到愤怒：“主网”启动过去意味着一些特定的东西：用户可以无需经过由某个人运行的服务器而无需许可地与网络进行交互。特权党。”ZK 和 Rollups 研究 🧙Plonky3越来越快了！在 M1 Macbook Air 上，它每秒可以证明大约 750 个 Keccak-f 排列，比 Starky 多约 5 倍。Omer Shlomovits 和 Lucy Williams 的文章“ZK Score - ZK硬件排名标准”​​。JENS ERNSTBERGER、STEFANOS CHALIASOS、GEORGE KADIANAKIS、SEBASTIAN STEINHORST、PHILIP...

这是 ZK-Roller-Coaster 的第 15 版，我们在此跟踪和调查前两周最令人兴奋、最有意义、最疯狂的 ZK 内容。 特别感谢第 15 版的贡献者：Hlpr、Alexander B 。 免责声明：这是推文、文字、视频和其他材料的集合；这些并不代表我们的意见，也不一定准确。请进行（或继续）您自己的研究。 紧紧抓住！🎢本周的香料🍿Scroll 推出了他们的主网。如果网络真的准备好启动，社区会感到愤怒：“主网”启动过去意味着一些特定的东西：用户可以无需经过由某个人运行的服务器而无需许可地与网络进行交互。特权党。”ZK 和 Rollups 研究 🧙Plonky3越来越快了！在 M1 Macbook Air 上，它每秒可以证明大约 750 个 Keccak-f 排列，比 Starky 多约 5 倍。Omer Shlomovits 和 Lucy Williams 的文章“ZK Score - ZK硬件排名标准”​​。JENS ERNSTBERGER、STEFANOS CHALIASOS、GEORGE KADIANAKIS、SEBASTIAN STEINHORST、PHILIP...

特别感谢arnaucube **、* Brecht Devos、Barak、Benedikt Bünz、Binyi Chen和Ben Wan的审阅。*长话短说整个 zk 行业正在努力的目标是 (i) 尽可能降低证明生成成本，同时 (ii) 保留尽可能小的证明，以及 (iii) 尽可能高效地进行验证。这可以通过证明者优化来实现，或者作为替代方案，可以压缩证明者证明的数据。在过去的几年里，zk 科学界在折叠方案技术方面做了大量工作。在本文中，我们探讨了折叠方案技术，该技术可用于在验证单个证明验证整个计算链时实现更有效的 IVC（增量可验证计算）方法。我们还简要解释了折叠方案的用途，并介绍了当前技术水平的演变。内容递归 SNARK：特征和约束Folding – 递归的另一种方法，以及 Nova –R1CS 的折叠应用程序桑格利亚汽酒——PLONKish 赛道的 NovaSuperNova——广义新星HyperNova – 使用总和检查和可定制约束系统 (CCS) 进行折叠ProtoStar – Nova（和 Sangria）效率保持泛化让我们从简单的电路构建方法开始在一种简单的方法中，...

特别感谢arnaucube **、* Brecht Devos、Barak、Benedikt Bünz、Binyi Chen和Ben Wan的审阅。*长话短说整个 zk 行业正在努力的目标是 (i) 尽可能降低证明生成成本，同时 (ii) 保留尽可能小的证明，以及 (iii) 尽可能高效地进行验证。这可以通过证明者优化来实现，或者作为替代方案，可以压缩证明者证明的数据。在过去的几年里，zk 科学界在折叠方案技术方面做了大量工作。在本文中，我们探讨了折叠方案技术，该技术可用于在验证单个证明验证整个计算链时实现更有效的 IVC（增量可验证计算）方法。我们还简要解释了折叠方案的用途，并介绍了当前技术水平的演变。内容递归 SNARK：特征和约束Folding – 递归的另一种方法，以及 Nova –R1CS 的折叠应用程序桑格利亚汽酒——PLONKish 赛道的 NovaSuperNova——广义新星HyperNova – 使用总和检查和可定制约束系统 (CCS) 进行折叠ProtoStar – Nova（和 Sangria）效率保持泛化让我们从简单的电路构建方法开始在一种简单的方法中，...

特别感谢Brecht、Archie和Dave的评论和审查。 长话短说 在本文中，我们简要介绍了通用汇总架构以及长期稳健性和安全性所需的汇总属性。然后，我们提到了基础汇总的起源历史并解析了它的架构。在常见问题解答部分，我们回答有关基于汇总的问题。 免责声明：汇总定义有时会因缺乏一致性而陷入困境。在本文中，我们参考了Celestia 提供的汇总层分类法。请检查一下以确保我们在同一页面上。 内容介绍汇总如何工作Rollup 最多包含四层汇总所需的“功能”基于 Rollup 的历史基于rollup的架构沉降层数据可用性共识执行层基于汇总的常见问题解答MEV 在基于汇总中如何处理？“L1 测序”是什么意思？基于汇总是否会增加 L1 验证器的负载，因为它们进行排序？基于汇总对于用户来说会更便宜吗？based rollup 是主权 rollup 吗？可以建立乐观汇总吗？为什么基于rollups有更强的经济保障？基于的汇总是否仅限于 L1 区块时间？基于测序仪和共享测序仪有什么区别？基于 Rollup 对 Rollup 的设计有何影响？基于 Rollup 的去中心化程度如何？基于汇总如何影响 L...

特别感谢Brecht、Archie和Dave的评论和审查。 长话短说 在本文中，我们简要介绍了通用汇总架构以及长期稳健性和安全性所需的汇总属性。然后，我们提到了基础汇总的起源历史并解析了它的架构。在常见问题解答部分，我们回答有关基于汇总的问题。 免责声明：汇总定义有时会因缺乏一致性而陷入困境。在本文中，我们参考了Celestia 提供的汇总层分类法。请检查一下以确保我们在同一页面上。 内容介绍汇总如何工作Rollup 最多包含四层汇总所需的“功能”基于 Rollup 的历史基于rollup的架构沉降层数据可用性共识执行层基于汇总的常见问题解答MEV 在基于汇总中如何处理？“L1 测序”是什么意思？基于汇总是否会增加 L1 验证器的负载，因为它们进行排序？基于汇总对于用户来说会更便宜吗？based rollup 是主权 rollup 吗？可以建立乐观汇总吗？为什么基于rollups有更强的经济保障？基于的汇总是否仅限于 L1 区块时间？基于测序仪和共享测序仪有什么区别？基于 Rollup 对 Rollup 的设计有何影响？基于 Rollup 的去中心化程度如何？基于汇总如何影响 L...