本文详细介绍了 f(x) 协议的 2.0 版本，重点在其新的 fxUSD 稳定币及其设计和稳定机制的改进，包括多种池、杠杆仓位、清算和赎回机制等。

M^0 Protocol 是一种稳定币设计，采用简化的治理控制机制，通过验证者和铸造者的活动来维持与法币的锚定，从而更好地结合传统金融与去中心化金融。本文详细探讨了 M^0 协议的工作原理，包括参与者的角色、铸币和抵押机制、以及如何通过简单的经济激励维持价格稳定，确保系统的安全性和透明度。

本文深入探讨了以太坊虚拟机（EVM）的 CREATE 和 CREATE2 操作码，分析了它们在智能合约创建中的不同特性和潜在安全隐患。作者通过具体示例展示了这些操作码在实际应用中的攻击场景，并提出了相应的安全建议，使读者对智能合约开发及安全性有了更深刻的理解。

本文深入探讨了Uniswap V3中集中流动性概念的技术设计，阐明了如何通过数学模型简化复杂算法的实现，从而降低交易和流动性供应的燃气费用。文章涵盖了Uniswap V3的核心原理、实现细节，以及流动性提供的机制，强调了该设计中的优化思路和技巧，为开发者和审计人员提供了有价值的见解。

Liquity V2是一个基于算法的稳定币协议，提供利息为零的借贷和低抵押率，允许用户用ETH作为抵押铸造LUSD。同时，Liquity V2引入了新稳定币BOLD，支持液态质押代币等多种抵押类型。本文详细探讨了Liquity V2的工作原理、核心机制和项目结构，适合DeFi开发者深入了解该协议的创新之处和技术细节。

深入解读 Prague 升级带来的变化

本文探讨了在 DeFi 生态系统中为了提高安全性的重要性，分析了 Compound 和 AAVE 协议的共享代币（interest-bearing tokens）在被分叉时可能面临的安全风险和漏洞，特别是空池攻击及其详细的攻击步骤。文章还提出了针对这些攻击的防范措施，包括确保池子流动性和ROUNDING优先处理机制。

深入探讨以太坊验证者生命周期

本文通过对基于零知识证明的项目 Tornado Cash 的分析，探讨了 ZK 审计的思维方式和关键点。作者详细说明了 Tornado 的智能合约逻辑，尤其是与 ZK 证明相关的关键部分，包括存款和取款的流程，以及潜在的攻击向量和安全措施。此外，文章还涉及到 Merkle 树和 Pedersen 哈希的实现及其在安全性中的重要性，强调了对 ZK 项目分析的复杂性及其快速发展的领域特性。