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

深入探索最新的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的完整性。

• @EspressoSys 利用Eigenlayer为预确认提供经济价值的抵押，有助于增加攻击成本。
• @inconetwork 作为一个Cosmos链，利用Eigenlayer解决安全引导问题并减少INCO代币的发行率。