SevenX Ventures：模块化、互操作性与再质押革新
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年下半年实现。
关于【SevenX Ventures：模块化、互操作性与再质押革新】的延伸阅读
长推：复盘精彩刺激的 $RCH 大战
昨晚，$RCH与BTW进行了精彩的大战，项目方上线了产品并给LP添加了700ETH，但被聪明钱抢跑。随后，神盘出现，币价从0.2上涨到1u。项目方背景强大，有大机构背书，链上交易活跃。Sofa.org推出了两个产品，Earn和Surge，用户可以利用期权策略进行理财和预测未来走势。产品实力强大，能力超过web3团队。
长推：$RCH 能不能到20亿？无预留、无权限、燃烧通缩、上所才是起点
$RCH是新兴项目，初始加入池子的ETH价值300万，现市值7000万。若跌回1块，市值为2000万，上限无法预测。项目方烧了750ETH，加其他支出，合计400万。预计市值达15M，产品和资方有潜力，交易量高，无VC抛压和项目方币。预计上市后，市值5亿-40亿。
互操作性：再质押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代币的发行率。
免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：MarsBit，如有侵权请联系删除。转载或引用请注明文章出处！
