Sumanth
2024-07-02 06:47 · Twitter
【英文长推】探讨 L2 和 Solana 如何利用 ZKP 实现状态压缩
ChainFeeds 导读
P2 Ventures 内容团队 Sumanth 撰文解析 L2 和 Solana 通过 ZKP 实现状态压缩的实现路径异同，以及一些优化解决方案，并提出一些开放性问题。
Solana
ZKP
L2
状态压缩
ZK 压缩
Twitter
复制链接
图片分享
Sumanth
2024-07-02 06:47 · Twitter
【英文长推】探讨 L2 和 Solana 如何利用 ZKP 实现状态压缩
ChainFeeds 导读
P2 Ventures 内容团队 Sumanth 撰文解析 L2 和 Solana 通过 ZKP 实现状态压缩的实现路径异同，以及一些优化解决方案，并提出一些开放性问题。
打开 ChainFeeds 查看完整内容
Solana
ZKP
L2
状态压缩
ZK 压缩
Sumanth
L2 和 Solana 都利用了 ZKP 的「简洁」特性 —— 验证证明比直接检查原始数据更有效。主要区别在于应用程序：L2 使用 ZKP 处理执行，Solana 使用 ZKP 解决状态膨胀问题。 L2/Rollup 在链下执行交易，以扩展以太坊的吞吐量限制。Rollup 散列到 Merkle 树中，根存储在以太坊主合约中，作为对 L2 上账户和余额的加密承诺。排序器收集用户交易，L2 虚拟机执行计算，更新 L2 状态，并将后状态根与 ZKP / 欺诈证明一起发送到以太坊。ETH 上的 Rollup 智能合约将旧状态根与当前根进行比较，与证明匹配则更新到新状态根。L1 只需存储状态根，从而实现状态「压缩」。 Solana 上的状态租用比执行更具挑战。Solana 使用账户系统来保存可执行的程序代码和状态，有两种类型的存储：活动账户需以 SOL 形式缴纳与存储数据成比例的租金押金，账户关闭时全额退还；非活动账户存储在 Solana 账本中，价格较低且程序无法直接访问。账本空间之所以便宜，是因为验证者不需要账本空间的数据来验证新交易，从而可以对其进行修剪，与以太坊 Blob 相似。ZK 压缩涉及将多个账户存储为 Merkle 叶，而 L1 账户空间仅存储最终的根哈希。当交易涉及压缩账户时，由于缺乏叶数据，Solana L1 无法验证实际账户的详细信息。一种解决方法是提供完整的账户详情及 Merkle 叶，L1 可以确认压缩账户信息的哈希到树根，然而计算成本很高。 Light Protocol 和 Helius 提出了一种高效的解决方案，对于涉及压缩账户的交易，同时发送账户详细信息和 ZK 证明，以验证这些详细信息与相应 Merkle 叶是否一致。对于修改账户状态的交易，Light Protocol 会进行检查、验证有效性证明、删除旧账户叶、用新状态更新叶，然后提供新树的状态根。由于执行不在链下环境中进行，因此不需要桥接任何资产，流动性不会分散，也不需要排序器。【原文为英文】
2024-07-02 06:48:57 · 来源于 x.com
L2 和 Solana 都利用了 ZKP 的「简洁」特性 —— 验证证明比直接检查原始数据更有效。主要区别在于应用程序：L2 使用 ZKP 处理执行，Solana 使用 ZKP 解决状态膨胀问题。 L2/Rollup 在链下执行交易，以扩展以太坊的吞吐量限制。Rollup 散列到 Merkle 树中，根存储在以太坊主合约中，作为对 L2 上账户和余额的加密承诺。排序器收集用户交易，L2 虚拟机执行计算，更新 L2 状态，并将后状态根与 ZKP / 欺诈证明一起发送到以太坊。ETH 上的 Rollup 智能合约将旧状态根与当前根进行比较，与证明匹配则更新到新状态根。L1 只需存储状态根，从而实现状态「压缩」。 Solana 上的状态租用比执行更具挑战。Solana 使用账户系统来保存可执行的程序代码和状态，有两种类型的存储：活动账户需以 SOL 形式缴纳与存储数据成比例的租金押金，账户关闭时全额退还；非活动账户存储在 Solana 账本中，价格较低且程序无法直接访问。账本空间之所以便宜，是因为验证者不需要账本空间的数据来验证新交易，从而可以对其进行修剪，与以太坊 Blob 相似。ZK 压缩涉及将多个账户存储为 Merkle 叶，而 L1 账户空间仅存储最终的根哈希。当交易涉及压缩账户时，由于缺乏叶数据，Solana L1 无法验证实际账户的详细信息。一种解决方法是提供完整的账户详情及 Merkle 叶，L1 可以确认压缩账户信息的哈希到树根，然而计算成本很高。 Light Protocol 和 Helius 提出了一种高效的解决方案，对于涉及压缩账户的交易，同时发送账户详细信息和 ZK 证明，以验证这些详细信息与相应 Merkle 叶是否一致。对于修改账户状态的交易，Light Protocol 会进行检查、验证有效性证明、删除旧账户叶、用新状态更新叶，然后提供新树的状态根。由于执行不在链下环境中进行，因此不需要桥接任何资产，流动性不会分散，也不需要排序器。【原文为英文】
取消
下载图片
2024-07-02 06:48:57 · 来源于 x.com
L2 和 Solana 都利用了 ZKP 的「简洁」特性 —— 验证证明比直接检查原始数据更有效。主要区别在于应用程序：L2 使用 ZKP 处理执行，Solana 使用 ZKP 解决状态膨胀问题。 L2/Rollup 在链下执行交易，以扩展以太坊的吞吐量限制。Rollup 散列到 Merkle 树中，根存储在以太坊主合约中，作为对 L2 上账户和余额的加密承诺。排序器收集用户交易，L2 虚拟机执行计算，更新 L2 状态，并将后状态根与 ZKP / 欺诈证明一起发送到以太坊。ETH 上的 Rollup 智能合约将旧状态根与当前根进行比较，与证明匹配则更新到新状态根。L1 只需存储状态根，从而实现状态「压缩」。 Solana 上的状态租用比执行更具挑战。Solana 使用账户系统来保存可执行的程序代码和状态，有两种类型的存储：活动账户需以 SOL 形式缴纳与存储数据成比例的租金押金，账户关闭时全额退还；非活动账户存储在 Solana 账本中，价格较低且程序无法直接访问。账本空间之所以便宜，是因为验证者不需要账本空间的数据来验证新交易，从而可以对其进行修剪，与以太坊 Blob 相似。ZK 压缩涉及将多个账户存储为 Merkle 叶，而 L1 账户空间仅存储最终的根哈希。当交易涉及压缩账户时，由于缺乏叶数据，Solana L1 无法验证实际账户的详细信息。一种解决方法是提供完整的账户详情及 Merkle 叶，L1 可以确认压缩账户信息的哈希到树根，然而计算成本很高。 Light Protocol 和 Helius 提出了一种高效的解决方案，对于涉及压缩账户的交易，同时发送账户详细信息和 ZK 证明，以验证这些详细信息与相应 Merkle 叶是否一致。对于修改账户状态的交易，Light Protocol 会进行检查、验证有效性证明、删除旧账户叶、用新状态更新叶，然后提供新树的状态根。由于执行不在链下环境中进行，因此不需要桥接任何资产，流动性不会分散，也不需要排序器。【原文为英文】