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

使用 Certora Prover 形式验证确保 infiniFi 中公平的赎回

infiniFi 是一个 DeFi 平台，通过管理 Pendle、AAVE 和 Ethena 等协议上的存款来优化收益。
DeFi  iUSD  Certora Prover  FIFO  赎回队列  形式化验证 
  • Certora
  • 发布于 1小时前
  • 阅读 ( 26 )

Uniswap V2 详解：含代码示例的完整指南

本文详细介绍了Uniswap V2的核心机制，包括其核心/外围架构、流动性添加和移除、代币交换以及LP代币经济学。文章提供了实用的代码示例，展示了如何在Solidity中与Uniswap V2交互，并强调了安全最佳实践，如滑点保护、截止时间和安全批准，以构建可靠的去中心化交易应用。
Uniswap V2  自动化做市商  AMM  流动性提供  代币交换  Solidity  智能合约 

DePIN 现状报告 - 2025 年 6 月

该文章是 Syndica 发布的关于 2025 年 6 月 DePIN 状态的报告，强调了 DePIN 市场中供应的重要性，并分析了 Solana 上的 DePIN 项目的增长，包括无线通信、数据抓取和地图绘制等领域。报告还介绍了 DePIN 协议为增加供应而采取的策略，以及 Solana 在吸引开发者和 DePIN 项目方面的成功。
DePIN  Solana  开发者生态  供应侧  市场  区块链 
  • syndica
  • 发布于 3天前
  • 阅读 ( 144 )
  • ( 9 )

2023-04-05 Sentiment事件攻击分析

案例介绍2023年4月4日，Arbitrum上的借贷项目Sentiment遭到攻击，损失100万美元。 项目源码参考：https://github.com/KISSInori/DeFiAttack_Foundry 核心问题这是一次只读重入攻击

在Base上构建DEX聚合器

本文介绍了如何利用 QuickNode 的 Base DeFi Power bundle 在 Base 网络上构建一个 DEX 聚合器 dApp。
DEX聚合器  Base网络  QuickNode  Gas Estimation API  OpenOcean API  Token兑换 

即将到来的DEX CLOB战争：链上CLOB的历史与未来

本文探讨了中心限价订单簿 (CLOB) 在去中心化金融 (DeFi) 中的复兴，分析了早期 CLOB 的困境，并介绍了 Hyperliquid 如何突破瓶颈，以及 GTE、Bullet、Rise 和 Hibachi 等新兴项目如何利用 Rollup 和数据可用性层实现 CEX 级别的性能，从而引发 CLOB 战争并可能颠覆传统金融。
中心限价订单簿  CLOB  去中心化交易所  DEX  Rollup  Celestia  EigenDA 
  • gelato
  • 发布于 3天前
  • 阅读 ( 99 )
  • ( 4 )

Uniswap V2 合约部署全攻略：Web3 实践指南

in  Web3
UniswapV2合约部署全攻略：Web3实践指南去中心化金融（DeFi）浪潮席卷全球，UniswapV2作为顶尖的自动化做市商（AMM）协议，是Web3开发的必学核心。本教程基于Solidity0.8.30，带你一步步在Hoodi测试网部署UniswapV2核心合约（
Web3  Uniswap  DeFi 

预测市场达到独角兽估值，以太坊的“空境” ZK 突破，以及 Jupiter 暂停 DAO 投票

本周要闻包括：美国参议院通过了 GENIUS 法案；摩根大通计划在Coinbase的以太坊 L2 网络 Base 上试点“代币化存款”；中心化交易所继续向链上市场扩张， Kraken 和 Bybit 宣布了其链上计划的重大更新；Polymarket 上关于美国卷入中东冲突的预测市场再次受到关注。
稳定币  GENIUS法案  代币化存款  中心化交易所  预测市场  DeFi 
  • Galaxy
  • 发布于 2025-06-21
  • 阅读 ( 9 )

Spark：DeFi 的主动资本分配器

Spark 协议旨在解决传统银行的低效率和不透明问题，通过 Spark Liquidity Layer (SLL) 自动分配资产，以及 SparkLend 提供低成本、高流动性的借贷市场。Spark 作为 Sky 生态系统中的一员，通过 USDS 稳定币和 RWA 投资，为用户提供有竞争力的收益和稳定的回报，目标是成为 DeFi 领域最先进的收益引擎。
DeFi  收益耕作  稳定币  资产管理  链上资产分配  RWA 
  • 4pillars
  • 发布于 2025-06-19
  • 阅读 ( 149 )
  • ( 15 )

Web3自由职业

作者分享了自己在Web3领域做自由职业的经验，包括如何通过展示开发进度、专注于智能合约和dApp以及优化个人资料来获得工作机会。强调了Web3自由职业与Web2的不同之处，如安全性更重要、代码直接影响价值流动。同时，作者还分享了关于支付、合同、代码质量和沟通等方面的经验教训，并给出了进入Web3自由职业的建议。
Web3  自由职业  智能合约  DApp  Solidity  区块链开发 

Tether (USDT) 的全球结算

本文探讨了Tether（USDT）作为全球结算工具的角色，USDT通过多链发行模式，在以太坊、Tron、Solana等多个区块链上运行，促进了不同区块链之间的互操作性和价值转移。Tether通过透明的储备金机制和合规措施，增强了其作为稳定币的可靠性，并在全球范围内被广泛应用于跨境支付和价值存储。
Tether  稳定币  USDT  多链  区块链  全球结算 

UniswapV2重要内容分析

UniswapV2版本重要点的简要概述
DeFi 
  • whalehat
  • 发布于 2025-06-16
  • 阅读 ( 559 )
  • ( 17 )

工程师指南: 量化交易策略构建与验证

本文介绍了一个量化交易策略开发的完整框架，包括数据收集、策略实施、统计验证、模拟和最终评估。文章使用Donchian Channel Breakout策略作为示例，详细讲解了如何通过数据清洗和准备、策略实现、参数优化、蒙特卡洛置换检验和步进分析等步骤，来构建、测试和验证交易策略，以避免过拟合，并最终做出是否部署策略的决策。
量化交易  Donchian Channel  突破策略  统计验证  蒙特卡洛模拟  步进分析  过拟合 

Camelot DEX ：Arbitrum 生态的去中心化交易新星

CamelotDEX是Arbitrum生态的领先去中心化交易所，以创新的双重流动性模型（波动性资产和稳定币优化）、动态方向性费用机制和spNFT（可交易质押头寸NFT）为核心优势。其NitroPools定制化激励、双代币系统（GRAIL/xGRAIL）及深度整合Arbitrum生态
DEX  Arbitrum 

为什么在TTSWAP交易像天平一样公平？揭秘TTSWAP背后的数学魔法

🤔你有没有想过这个问题？当你在去中心化交易所（TTSWAP）上用USDC换ETH时，系统是怎么知道给你多少ETH的？为什么不同的代币可以随意互换，而且看起来总是"公平"的？今天，我们来揭开这个数学魔法的神秘面纱。📚先从一个简单的故事开始小明的水果摊困境小明在学校门口开了个水果摊，卖
AMM  DeFi  staking奖励 

TTSWAP恒定价值 vs Uniswap恒定乘积：流动性池设计的智慧之争

大家好！今天我们要深入探讨DeFi领域两种不同的流动性设计思路：TTSWAP恒定价值公式的"多池合一"方案和Uniswap的"虚拟流动性"方案。通过对比，你将理解它们如何以不同方式提升用户的交易体验。核心创新点对比特点TTSWAP恒定价
流动性  AMM 

LP 的阴暗面

Beraborrow 协议在定价 LP 代币时，尽管采用了当时认为最安全的公式，但仍然受到了与赎回相关的定价问题的影响。
LP代币  定价机制  价值泄漏  Fair Price Ratio  Berachain  BEX 
  • Recon
  • 发布于 2025-06-14
  • 阅读 ( 502 )
  • ( 16 )

Gelato 智能钱包 SDK 简介

Gelato 推出了智能钱包 SDK，这是一个模块化工具包，用于构建具有智能 EOA (EIP-7702)、无 Gas UX 和嵌入式钱包的下一代链上钱包。它通过使用 Gelato 经过生产测试的基础设施，帮助钱包团队提供无 Gas UX、可编程智能账户和无缝 onboarding，同时最大限度地减少集成开销。
智能钱包  EIP-7702  ERC-4337  无 Gas 交易  Gas 抽象  嵌入式钱包 
  • gelato
  • 发布于 2025-06-13
  • 阅读 ( 463 )
  • ( 11 )

Huff 解放：高级优化和 DeFi 用例 — 第 3 部分

本文是 Huff 系列教程的第三部分，主要探讨了使用 Huff 语言进行高级 Gas 优化的技术，并通过构建一个简化的 Uniswap 风格的 AMM 案例，展示了 Huff 在 DeFi 领域的应用。同时，文章还强调了在编写底层合约时需要考虑的安全因素，如溢出/下溢检查、calldata 边界检查和重入保护，并介绍了使用 Foundry 进行 Fuzz 测试等高级工作流程。
Huff语言  gas优化  Uniswap  AMM  智能合约安全  EVM bytecode 

🧠 DAO深度解析：人类协作的下一次进化

本文介绍了DAO（Decentralized Autonomous Organizations，去中心化自治组织）的概念、运作方式、实际应用案例、技术栈以及面临的挑战。
DAO  去中心化自治组织  智能合约  治理代币  区块链  以太坊