以太坊

本文介绍了Metis项目的现状、代币经济、技术迭代和团队、融资和代币用等情况。

本文从以太坊过度质押的风险开始介绍EIP-7514如何解决、以太坊的质押问题以及EIP-7514将会对以太坊产生的影响等。

本文将带大家了解聚焦Staking的衍生品项目，看看它们如何构建多链未来下的 Staking 经济设想。

了解乐观虚拟机（Optimistic Virtual Machine）如何成为解决以太坊可扩展性问题的关键。

本文介绍 LRT的基本逻辑和主要参与者。

本文概述了 Cosmos 生態系統中 Neutron 協議未來代幣價格的基本面、市場定位、風險和潛在因素。

本文从运行方式、技术特点、融资背景等方面介绍以太坊质押平台Kiln。

Polymer 是一个以太坊 Rollup，它使用 IBC 技术实现不同以太坊 Rollup 之间的互操作性。它利用 OP Stack 作为结算基础设施，采用 Cosmos SDK 实现原生 IBC 互操作性，并利用 EigenDA 提供可扩展的数据可用性证明。

本文试图从数据出发，厘清 LSDFi 赛道现状，并透过对具体项目的分析来探讨 LSDFi 未来将走向何方。

本文探讨了Solvers的当前功能、随时间的潜在演变、相关风险以及潜在的缓解策略。本文设想了Solvers将在未来以意图为中心发挥的关键作用。

本文以路印协议V3和Arbitrum为例，通过技术分析和案例研究解答Layer2为什么需要安全性设计，也对去信任化的资金进入进出方式做出分析。

zkSharding旨在通过将多个分片整合到统一的执行层（Layer2）中，提供一种替代的扩容解决方案。本文介绍了其特点、架构以及未来计划。

本文探讨了以太坊轻客户端状态中现有的一些挑战（和进展），同时强调在不影响用户体验的情况下实现去信任的重要性。

本文重点关注以太坊生态系统当前的共识，这可能即将塑造新一年的主要投资主题。

本文涵盖了形式化验证的各个方面，包括形式化模型、形式化规范，以及模型检查、定理证明和符号执行等不同技术。