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

Web3CLI：利用人工智能革新智能合约开发

Web3CLI是一个AI驱动的工具，旨在通过自然语言生成合约和深入合约分析来改变区块链开发。它通过将纯英文需求转化为Solidity代码，提供合约解释，并内置安全措施来解决智能合约开发中的挑战。它集成了多代理系统和向量数据库，以提高代码质量和安全性，并支持多种AI模型和提供商。
智能合约  Solidity  人工智能  区块链开发  Web3CLI  合约安全 

Aave Gas 优化审计：降低成本的技术

本文主要介绍了Cyfrin团队对Aave V3.3版本进行“公共利益”Gas优化审计的结果，通过一系列Solidity优化策略，在流动性和核心池操作等关键领域减少了59,732单位的gas消耗。文章详细描述了Gas优化的方法论和多种 Gas 优化技巧，包括缓存存储读取、使用命名返回变量、通过引用传递缓存的内存结构、删除不必要的上下文结构等，旨在帮助其他开发者在工作中应用类似的策略。
gas优化  Solidity  Aave  智能合约  EVM  以太坊虚拟机 
  • cyfrin
  • 发布于 2025-05-14
  • 阅读 ( 383 )
  • ( 20 )

在HyperEVM上读取HyperCore预言机价格

本文介绍了如何在Hyperliquid的HyperEVM上，通过预编译合约读取HyperCore的实时价格数据。文章详细说明了如何设置Foundry项目，部署智能合约，并使用Hyperliquid提供的L1Read.sol接口来获取和转换预言机价格，为构建交易机器人、借贷协议和链上分析等高级dApp奠定基础。
Hyperliquid  HyperEVM  HyperCore  预编译合约  价格预言机  Foundry 
  • QuickNode
  • 发布于 2025-05-14
  • 阅读 ( 313 )
  • ( 20 )

生息稳定币：机制、数学和生态系统深度研究

本文分析了yield-bearing stablecoins (YBSs)这一新兴代币类别，它们通过将现金流引擎（如staking、借贷等）与价格稳定机制相结合，将被动的记账单位转变为自主储蓄工具。文章构建了YBS的数学模型，探讨了其稳定性和风险管理，并分析了七种YBS协议（如sDAI、USDe等），比较了它们的风险效率、治理成本和监管风险，为开发者、投资者和监管者提供了有益的参考。
Yield-bearing stablecoins  稳定币  DeFi  风险管理  治理  尾部风险  流动性 
  • thogiti
  • 发布于 2025-05-13
  • 阅读 ( 283 )
  • ( 26 )

Damn Vulnerable DeFi V4 解决方案 - #8. Puppet

本文分析了Damn Vulnerable DeFi V4挑战中的Puppet问题，该问题利用了DeFi借贷协议中价格预言机操纵漏洞。攻击者通过操纵Uniswap V1交易所的DVT/ETH价格，降低抵押品要求，从而借出资金池中的所有DVT代币，并将它们发送到指定的恢复地址。解决方案包括出售大量DVT代币以操纵价格，然后从池中借入DVT代币。
DeFi  价格预言机  Uniswap  漏洞  以太坊  智能合约 

Damn Vulnerable DeFi V4 解决方案 - #9. Puppet V2

本文分析了Damn Vulnerable DeFi V4挑战中的Puppet V2漏洞。该漏洞与之前的版本类似，在于依赖Uniswap V2池的当前储备来计算价格，这使得攻击者可以通过大幅swap代币来操纵价格，从而以极低的抵押借出大量代币，最终将资金转移到指定账户。
DeFi  漏洞分析  价格操纵  Uniswap V2  预言机  智能合约 

桥接USDC支持审计

本次OpenZeppelin对Across协议的代码变更进行了差异审计，主要集中在[pull request #941](https://github.com/across-protocol/contracts/pull/941) 和 [pull request #944](https://github.com/across-protocol/contracts/pull/944)。
跨链桥  USDC  ZK-Stack  OpenZeppelin  审计  CCTP 

保护Uniswap v4：形式化验证和恶意Hook保护

本文介绍了Certora如何利用形式化验证来保护Uniswap v4免受恶意hook的攻击。通过Certora Prover工具，可以精确定义和证明正确性规则，从而确保智能合约的强大安全性。文章还展示了如何使用CVL编写规则，并利用Certora Prover进行验证，以检测通用hook的不当行为，从而保证资金处理的正确性。
形式化验证  Certora Prover  uniswap v4  智能合约  CVL  恶意hook 
  • Certora
  • 发布于 2025-05-13
  • 阅读 ( 599 )
  • ( 41 )

多元宇宙金融

本文介绍了 Multiverse Finance，它将金融系统分割成多个平行宇宙，允许用户在特定条件下进行交易，例如，只有当用户支持的候选人在下次选举中失败时，才能做空市场。Multiverse Finance 利用条件代币的概念，在 Aave 协议上实现，允许相同结果的条件代币相互借贷，从而构建一个具有无限组合性的金融生态系统，并产生关于世界的有用信息。
预测市场  平行宇宙  条件代币  预言机  verse  Multiverse Finance 
  • Paradigm
  • 发布于 2025-05-13
  • 阅读 ( 454 )
  • ( 22 )

OpenZeppelin Hardhat Upgrades API - OpenZeppelin 文档

本文档介绍了 OpenZeppelin Hardhat Upgrades 插件提供的 API，用于在Hardhat环境中使用OpenZeppelin Contracts进行智能合约的代理部署和升级。
OpenZeppelin  Hardhat  代理合约  合约升级  智能合约  区块链 

Artemis - 数字金融基础（2025年5月11日）

文章分析了 Fintech（如 Robinhood）和 DeFi（如 Maple、Hyperliquid）的基本面，指出它们在收入、总利润和净利润等关键指标上的趋同性，以及稳定币在推动 Fintech 和 DeFi 增长中的作用，并探讨了稳定币如何影响这些业务的收入、收益、自由现金流和净收入。
DeFi  fintech  稳定币  收益  收入  Hyperliquid 
  • artemis
  • 发布于 2025-05-12
  • 阅读 ( 360 )
  • ( 16 )

Plasma：所有，一切，所有一切，一次性

本文介绍了Plasma Network，一个专为稳定币设计的区块链项目。
稳定币  区块链  Plasma Network  USDT  PlasmaBFT  reth 
  • 4pillars
  • 发布于 2025-05-12
  • 阅读 ( 344 )
  • ( 18 )

理解批量拍卖 - CoW DAO

本文介绍了批量拍卖的概念，这是一种在去中心化交易所中结算订单的强大交易机制。它通过将订单分组到“批次”中，并拍卖给执行方，从而提高价格和提供MEV保护。CoW Protocol 是一个利用批量拍卖作为去中心化交易所聚合器的创新项目, 旨在为用户交易寻找最佳价格。
批量拍卖  MEV  去中心化交易所  CoW 协议  链上流动性  链下流动性 
  • CowSwap
  • 发布于 2025-05-10
  • 阅读 ( 395 )
  • ( 24 )

Damn Vulnerable DeFi V4 解决方案 — #6. 自拍

本文分析了Damn Vulnerable DeFi V4挑战中的Selfie题目的漏洞，该漏洞源于治理机制未能区分代币持有者和临时持有者（如闪电贷期间）。攻击者可以通过闪电贷获得大量代币，利用这些临时代币进行投票，从而控制治理决策，最终清空资金池。文章提供了攻击流程和解决方案，并提出了预防机制。
DeFi  闪电贷  治理机制  漏洞分析  智能合约  Damn Vulnerable DeFi 

$HYPE：超声货币

本文深入探讨了Hyperliquid的治理代币$HYPE的设计理念及其在Hyperliquid生态系统中的作用。$HYPE旨在成为Hyperliquid开放金融未来的货币基础，通过统一网络核心行为（如交易费用、上市、质押等）到单一通证中，实现稀缺性、实用性和收益的结合，并利用包括荷兰拍卖、协议回购和销毁等机制来不断减少供应，同时通过HyperEVM扩大其应用场景，最终成为一个“超声货币”。
Hyperliquid  $HYPE  超声货币  HyperEVM  荷兰拍卖  通证经济模型 
  • 4pillars
  • 发布于 2025-05-09
  • 阅读 ( 286 )
  • ( 12 )

Tether USDT：从 USDT0 开始扩张其稳定币帝国

本文分析了USDT的扩张策略，指出USDT面临着仅原生支持少量链、依赖桥接USDT以及价值向Tron泄漏的问题。为了解决这些问题，Tether采取了横向和纵向两种扩张策略，包括利用LayerZero OFT推出多链USDT0，以及构建Legacy Mesh和Plasma等基础设施。并强调互操作性是稳定币扩张的第一步，LayerZero正成为跨链扩张的入口。
USDT  稳定币  LayerZero  跨链  互操作性  区块链 
  • 4pillars
  • 发布于 2025-05-09
  • 阅读 ( 376 )
  • ( 21 )

区块链盗匪：公共 DA 如何产生新的 MEV 攻击向量

本文讨论了Sei Giga概念验证中Autobahn共识协议的MEV问题，该协议采用并发而非顺序的区块生产方式。由于区块在公共DA层上发布，验证者可以利用这些公开信息进行交易窃取和跨区块MEV攻击，例如抢先交易、尾随交易和三明治攻击。文章还探讨了解决公共DA问题的几种方案，包括提交-揭示方案、门限密码学和时间锁密码学，并提出了未来工作的方向。
MEV  Autobahn共识协议  公共DA层  交易窃取  门限密码学  时间锁密码学 

DEFI - 标题 - Umaprotocol

该UMIP (UMA改进提案) 定义了Across V3的协议规范更新，旨在改进跨链桥接的功能，包括支持用户和中继者之间有时间限制的协议，使第三方能够使用Across作为高效的跨链结算系统，允许在未完成中继的情况下直接在原始链上退款，并降低中继者的风险。此次更新需要更新ACROSS-V2价格标识符的规范，以便UMA DVM验证Across v3提议的结算包是否有效。
跨链桥  中继  结算  UMA DVM  ACROSS V3 

MEV 透明度：确保 DeFi 市场公平 - CoW DAO

本文介绍了MEV（Maximal Extractable Value）的概念，它指的是矿工或区块链网络中的其他参与者通过插入、删除和重新排序交易来提取的利润。文章深入探讨了MEV攻击的类型，如抢跑交易、尾随交易和三明治攻击，并通过实际案例分析了MEV攻击造成的用户损失，最后提出了通过使用专业的RPC端点（如MEV Blocker）和专用DApp（如CoW Swap）来防范MEV攻击的措施。
MEV  前置交易  后置交易  三明治攻击  去中心化金融  以太坊 
  • CowSwap
  • 发布于 2025-05-08
  • 阅读 ( 457 )
  • ( 23 )

如何使用Syve的API追踪DEX钱包交易表现

本文介绍了如何使用Syve的DEX价格数据和钱包追踪API构建以太坊钱包性能分析应用程序。该应用允许用户输入钱包地址，并分析交易性能指标，如每种交易代币的盈亏。文章提供了详细的步骤，包括环境搭建、代码实现和API调用方法，以便开发者能够快速构建和理解该应用。
以太坊  钱包分析  DEX  API  交易性能  Typescript 
  • QuickNode
  • 发布于 2025-05-07
  • 阅读 ( 538 )
  • ( 30 )