SevenX Ventures：模块化、互操作性与再质押革新

媒体专栏

2024-04-01热度: 7974

SevenX研究探讨了再质押模块化的趋势和机遇，包括可扩展性、互操作性和新功能。轻客户端和DAS扩展rollups提高了数据可用性，ZK协处理器可以在链下扩展计算。新规范使得OP栈rollups能够读取其他链的事件并执行操作，并引入强制正确性的分叉选择规则。新功能包括预确认Rollup、FHE、流动性服务和zkwasm，提高链上活动的保密性和动力。AVS项目利用共享安全模型构建更健壮和可扩展的系统，Eigenlayer为预确认提供经济价值的抵押。

原文作者：Grace Deng

原文来源：Twitter@yuxiao_deng

编译：火星财经，MK

深入探索最新的SevenX研究日，专注于再质押模块化的深入分析。在这个话题中发现模块化趋势（包括可扩展性、互操作性和新功能）以及再质押的机遇与风险。

可扩展性：数据可用性

DA层通过轻客户端和DAS扩展rollups。
@AvailProject（计划于2024年上半年启动DA主网）轻客户端允许在不完整下载区块的情况下进行验证，或者只下载特定应用/rollup的交易。在KZG时代，我们还可以期待进一步的优化。

执行性能分析

@yilongl_megaeth 对Reth执行客户端进行了详细的性能分析，并讨论了Megaeth如何克服性能瓶颈。
性能实验展示了Reth在不同内存限制和同步模式下的表现。

在512GB的大内存下，Reth能够在历史同步过程中达到近14k TPS，此时限制因素是EVM。
令人惊讶的是，在只有8GB内存的情况下，由于状态访问的强时序局部性，性能只下降了50%。

实时同步的速度是历史同步的14倍慢（大约1k TPS），原因是默克尔化（8.3倍）和频繁的磁盘刷新（1.5倍），即便是使用512GB内存。
更糟糕的是，内存从512GB减少到8GB时，实时同步的性能下降了5.3倍。

为实现最佳性能，MegaETH采取了rollups的异构扩展策略，即强大、优化的排序器和经济高效且去中心化的完整节点组合，以实现100-200k TPS的性能。

执行：ZK协处理器

针对数据密集和计算量大的任务，链上执行可能代价过高，例如计算Uniswap中用户30天的交易量以用于忠诚度计划可能花费高达2万美元。像 @brevis_zk 这样的ZK协处理器能够信任地在链下扩展计算。

@brevis_zk 提供了Go编写的可编程SDK，使开发者能够从多个区块链读取数据，自定义计算逻辑，并获得无需信任的ZK证明，从而增强数据驱动的用户体验。

执行：共享结算

尽管ZK技术为rollups、隐私解决方案和预言机提供了动力，但验证成本仍是一个挑战（Groth16验证大约需要22美元）。
@nebrazkp 作为一个通用证明聚合器，有助于在ZK生态系统和应用案例中分摊验证成本。

Nebra v1采用SOTA递归技术，并实现了一个无需许可、可组合和流水线化的证明者服务架构。V2版本将支持更多证明系统，并提供更优性能。随着更先进的硬件解决方案和ZK技术的发展，这个过程将变得更加可扩展。

互操作性：证明聚合

除了提高可扩展性，证明聚合还增强了L1 rollups与rollup-rollups之间的无需信任和异步互操作性。
Rollups可以选择性地采用Nebra的聚合证明功能，并据此进行交易结算。

Avail Nexus通过证明聚合实现了异步可组合性。
使用Avail的rollups可以通过单一证明验证其他rollups的状态，预计将在2024年下半年实现。

互操作性：再质押Rollups

@alt_layer 提供了一种模块化框架，允许启动与任何rollup堆栈兼容的再质押rollup。得益于Eigenlayer上的三个AVS，这些再质押rollups更加安全、去中心化，并拥有更快的最终确定性。

再质押rollups可以通过MACH实现更快的最终确定性和互操作性，MACH上的操作员负责执行验证并证明rollup状态的有效性。
MACH alpha版支持三种模式：Pessimfatic模式、有效性证明、Optimistic和ZK故障证明。

互操作性：OP栈

@Optimism 正在开发新的规范，用于实现OP栈rollups之间的互操作性。
这项新规范将使OP栈rollups能够读取来自其他链的事件（如从Base获取的预言机数据）并根据这些事件执行操作。

将引入一种强制正确性的分叉选择规则，确保交易的执行结果与初始消息一致。
如区块构建者等MEV参与者可进行跨链交易的静态分析，复杂的区块构建者则能够协调以实现原子级互操作。

新模块化功能：预确认

Rollup预确认旨在是可执行的、提供最终确定性，并满足用户指定的条件，如块位置、包含时间等。
提议者预确认和证明者预确认的设计高度可定制，具有不同的设计权衡和风险。

@EspressoSys 正在研究提议者和证明者的预确认模型
提议者预确认具有较低的延迟但可能面临重组风险（适合低价值交易）。
证明者预确认则提供更高的安全性，协调成本更高，但延迟更长。

新模块化功能：FHE

FHE允许在加密数据上执行计算和比较，为链上活动增加了保密性，并解锁了新的应用场景，例如在线扑克游戏和私密投票。
@inconetwork 的fhevm可以作为Web3的通用保密层。

新模块化功能：作为服务的流动性

随着应用迁移到rollups，Ethereum上的ETH流动性和基础收益依然关键。
@Stake_Stone 旨在将收益化ETH带到不同的链上，成为全链流动性的基准。

新模块化功能：zkwasm

@DelphinusLab 利用zkwasm将Web2/浏览器应用转变为可以在链上部分验证的zk增强应用，为新的模块化生态系统提供动力。

再质押：AVS

诸如 @brevis_zk、@EspressoSys、@inconetwork、@alt_layer 以及 @EthosStake 等不同领域的项目正利用 @eigenlayer 的共享安全模型构建更加健壮和可扩展的系统。
@brevis_zk 通过引入 @eigenlayer 提供了一个具有挑战期的PoS/密码经济框架，旨在提高成本效率并实现非存在性证明，结合了密码经济的及时性和ZKP的完整性。