全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

DEX攻击的解剖 - Hyperliquid JELLY案例及永续合约的未来保障

本文深入探讨了Hyperliquid平台在2025年3月27日遇到的JELLY代币流动性危机，分析了HLP如何在被迫接管一笔有毒的JELLY空头后遭受1200万美元的纸面损失。文章分两部分，第一部分详述了流动性危机发生的原因与机制，第二部分则提出了一系列协议改进建议，旨在提升平台对于类似金融攻击的抵御能力。
Hyperliquid  JELLY  流动性危机  降杠杆  清算机制  金融攻击 
  • thogiti
  • 发布于 2025-03-29
  • 阅读 ( 1985 )
  • ( 100 )

CoW Swap如何解决MEV问题 - CoW DAO

本文深入探讨了MEV（最大可提取价值）问题，详细解释了MEV的三种主要攻击方式（抢跑交易、尾随交易和夹 sandwich 攻击），并介绍了CoW Swap为解决MEV问题而提供的三种策略：委托交易执行、愿望巧合(CoW)和统一清算价格(UCP)，旨在保护用户免受MEV攻击，确保公平的交易体验。
MEV  CoW Swap  前置交易  后置交易  夹 sandwich 攻击  DeFi 
  • CowSwap
  • 发布于 2025-03-29
  • 阅读 ( 295 )
  • ( 2 )

OpenZeppelin Defender 集成 - OpenZeppelin 文档

本文档介绍了如何将 OpenZeppelin Foundry Upgrades 与 OpenZeppelin Defender 集成，以便通过 Defender 进行合约部署和升级。主要包括安装配置、环境设置、网络选择以及可升级和不可升级合约的部署示例，强调了使用 Defender 部署时的注意事项，如API密钥配置、网络选择、以及如何在Defender界面监控部署状态。
OpenZeppelin Defender  Foundry  合约升级  代理合约  部署  智能合约 

Kinto：模块化DEX引导的安全黄金之路

本文分析了中心化交易所(CEX)和去中心化交易所(DEX)面临的困境，以及Kinto作为安全优先的Layer 2的解决方案。Kinto通过在链级别强制KYC、使用智能钱包，并采用模块化DEX策略，旨在平衡可访问性、安全性和开放性，为机构投资者和普通用户提供新的链上金融系统。
KYC  AML  Layer 2  智能合约  模块化DEX  链抽象 

社区概览

本文档是Developer DAO社区的概览，详细介绍了社区的目标，包括改进外部和内部成员加入流程、更新DAO Wiki，以及社区内的各种项目，并提供了参与方式。文档还列出了社区的贡献者及其技能、在DAO中担任的角色，以及相关的管理信息，例如路线图和财务情况。
DAO  社区治理  Web3  开发者  项目  贡献者 

手把手教你从0到1构建UniswapV2：part3

in  手把手带你实现Uniswap
我们的UniswapV2已经实现了最关键的部分——配对合约。不过我们还没有算上一些协议交易的费用（Uniswap从每笔流动性存款中收取的费用），这篇文章，我们会实现这部分内容，
Uniswap V2 
  • Louis
  • 发布于 2025-03-22
  • 阅读 ( 988 )
  • ( 9 )

DEFI - 标题 - Umaprotocol

该UMIP定义了Across V3的更新协议规范，是对Across V2规范的主要改进。Across V3增加了对新功能的支持，同时简化了现有协议。该协议更新旨在更好地支持跨链桥的意图驱动未来，包括支持用户和中继者之间具有强制执行力的限时协议，使Across可以作为第三方高效、模块化的跨链结算系统使用，并允许存款人在指定时间内未完成中继的情况下直接在原始链上获得退款。
跨链桥  ACROSS V3  协议规范  中继者  意图执行  结算系统 

如何构建符合反洗钱和反恐融资合规要求的安全去中心化应用程序（dApp）

本文介绍了如何构建一个符合反洗钱（AML）和打击恐怖主义融资（CFT）规范的去中心化金融（DeFi）质押去中心化应用（dApp），使用了QuickNode的风险评估API和Chainlink Functions，将外部数据集成到智能合约中。通过此指南，开发者可以理解在去中心化应用中实施合规性检查的重要性、评估钱包风险的方式以及如何在EVM网络上部署相应的dApp。
AML  CFT  风险评估  Chainlink Functions  去中心化应用  智能合约 
  • QuickNode
  • 发布于 2025-03-21
  • 阅读 ( 1287 )
  • ( 54 )

Uniswap V3中的平方根价格

本文详细介绍了 Uniswap V3 如何存储和计算代币价格的平方根，主要通过一种固定点数格式 (Q64.96) 处理，以提高计算的 gas 效率。同时探讨了代币价格的上下限及其处理方式，深入分析了 Solidity 中不支持浮动小数的原因。
Uniswap V3  平方根价格  Q64.96  固定点数  代币价格 

现代稳定币 F(x) 2.0 是如何构建的

本文详细介绍了 f(x) 协议的 2.0 版本，重点在其新的 fxUSD 稳定币及其设计和稳定机制的改进，包括多种池、杠杆仓位、清算和赎回机制等。
f(x) protocol  fxUSD  Stablecoins  Liquidation  Leverage  redemption 
  • mixbytes
  • 发布于 2025-03-18
  • 阅读 ( 1608 )
  • ( 80 )

深入 Uniswap V4 源码 - Hooks Library

in  深入理解 Uniswap V4
该文章深入介绍了 Uniswap v4 中 Hooks 地址的设计与实现，详细阐述了各类权限标志的使用及其对应的 Solidity 函数。它具有清晰的结构，涵盖了权限解析、地址生成及函数调用等多个方面，为区块链开发者提供了实用的参考。
Hooks  Uniswap  权限设计  Solidity  智能合约  uniswap v4 
  • adshao
  • 发布于 2025-03-18
  • 阅读 ( 652 )
  • ( 7 )

链上Futarchy的现状

该文章探讨了链上Futarchy的现状，以及它在DAO治理中的应用。文章分析了Polymarket等预测市场的发展情况，以及MetaDAO在Solana链上实施Futarchy的案例。此外，文章还提到了Futarchy在以太坊上的实验，并介绍了MetaDAO的launchpad如何帮助新的DAO采用Futarchy模型。
Futarchy  DAO治理  预测市场  PolyMarket  MetaDAO  Solana 
  • Galaxy
  • 发布于 2025-03-18
  • 阅读 ( 324 )

csUSDL：利用收益稳定币提升财政管理效率

本文讨论了稳定币的发展及其在加密经济中的重要性，特别是csUSDL这一收益支持的稳定币如何优化链上企业和DAO的财务管理。文章详细分析了csUSDL的工作原理、相较于传统稳定币的优势以及对未来链上金融的影响。
稳定币  csUSDL  收益  链上财务管理  DeFi  RWA 

用于 CoW Swaps 的 Tally 配方 - CoW DAO

Tally Recipe for CoW Swaps 是一个结合了治理和交易的机制，旨在解决 DAO 在交易中面临的MEV风险和需要信任第三方的问题。
DAO  CoW Swap  Tally  MEV  Milkman  治理 
  • CowSwap
  • 发布于 2025-03-17
  • 阅读 ( 286 )

DeFi 3.0

在深入了解Sui的发展前景和挑战时，学到一个新概念：DeFi3.0。新生好奇，这个DeFi3.0是什么？DeFi1.0和DeFi2.0是什么？它们是怎么划分的？借助AI工具，整理了一个学习小文DeFi演进的阶段性特征
DeFi 3.0  Sui  ZKP  HOH 
  • Henry Wei
  • 发布于 2025-03-16
  • 阅读 ( 1059 )
  • ( 14 )

编码一个Solidity Rebase Token

本文详细介绍了rebase 代币的概念及其实现，通过设计一个基于ERC-20标准的重设代币合约，讨论了其逻辑、可能的安全问题及相应的代码实现。文章对交易、铸造、燃烧等过程进行了深入的分析，并提出了防止攻击的措施，适合对DeFi和智能合约开发有一定了解的读者。
rebasing token  ERC-20  智能合约  DeFi  算法设计  安全性 

通过智能合约理解 Chainlink Functions

本文介绍了如何使用 Chainlink Functions 将智能合约连接到外部 API，以获取城市的天气数据。通过 WeatherFunctions.sol 代码库，展示了如何创建 Chainlink Function Subscription，以及如何在智能合约中构建和发送请求，并处理返回的数据。文章详细解释了智能合约的关键步骤，例如参数传递，请求初始化等。
Chainlink Functions  智能合约  API集成  天气数据  预言机  区块链 

在 Uniswap v4 中证明偿付能力：AMM 安全性的形式化验证

本文深入探讨了 Uniswap v4 的流动性机制，并提出了一种形式化的方法来证明其偿付能力。通过将代码转化为数学公式，使用 SMT 求解器验证流动性是否在所有函数调用中得到维持。同时，文章还讨论了在 Uniswap v4 中处理 ERC-20 代币时需要考虑的因素，以及如何通过引入 ghost 变量和 hooks 来精确计算和跟踪资金流动，从而确保 AMM 在任何情况下都能保持偿付能力。
AMM  uniswap v4  偿付能力  SMT 求解器  流动性  形式化验证 
  • Certora
  • 发布于 2025-03-12
  • 阅读 ( 318 )

现代稳定币 - M^0 是如何构建的

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

通过前向兑换 Hook 改进 Uniswap v4 最优路由

本文深入探讨了Uniswap v4的新功能hooks，如何通过扩展常数函数市场制造者（CFMMs）的可交易性来改善交易路由。文章详细介绍了hooks的数学原理与应用场景，证明了其在某些条件下能够显著提升交易效率，并保持最佳路由问题的可解性。
Uniswap  Hooks  CFMM  交易路由  数学证明  去中心化交易 
  • thogiti
  • 发布于 2025-03-08
  • 阅读 ( 480 )
  • ( 11 )