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

案例分析：UMA 如何保障 Across 协议安全

本文分析了 Across Protocol 如何使用 UMA 的 Optimistic Oracle 来结算基于意图（Intents-based）的跨链交易，偿还中继者（relayers），并解决争议。Across 通过 UMA 的 optimistic oracle 实现了无需信任的跨链桥，验证跨链消息和结果，而无需依赖特权验证者或多重签名，为其他互操作协议提供了一个参考模型。
UMA  Optimistic Oracle  Across Protocol  跨链桥  意图(Intents)  数据验证机制（DVM） 
  • uma_xyz
  • 发布于 2025-05-30
  • 阅读 ( 385 )
  • ( 30 )

使用Solidity和Hardhat构建的时间锁定收益金库

本文介绍了如何使用Solidity和Hardhat构建一个时间锁定的收益金库。它包含两个智能合约： MockERC20代币（用于测试）和TimeLockedYieldVault。该金库合约接受存款，锁定7天，并在提款时支付5%的固定利息。文章涵盖了使用OpenZeppelin库、管理具有锁定期存款、编写测试以及使用Ignition在本地Hardhat网络上部署合约的步骤。
Solidity  Hardhat  智能合约  DeFi  ERC20  时间锁定 

Stargate Finance：在Gelato RaaS上实现无缝互操作的统一流动性池

Stargate Finance通过统一的流动性池和LayerZero的跨链消息传递协议，实现了多个区块链之间的无缝互操作。它采用双层架构，包括代币消息层和信用消息层，保证交易的最终性。Stargate还通过创新的AI规划模块和交易批处理技术，优化了流动性分配和降低了交易成本，同时提供Hydra服务，为新链提供流动性即服务。
跨链桥  流动性池  LayerZero  互操作性  Stargate  Hydra 
  • gelato
  • 发布于 2025-05-28
  • 阅读 ( 291 )
  • ( 16 )

在Uniswap V4中建立Hook数据标准

本文档旨在为Uniswap V4的Hook开发者、数据索引者、分析师建立Hook数据标准，以便所有用户在处理Hook数据时能够使用相同的共享框架, 详细介绍了 Hook 的标准事件、数据索引方式以及 TVL 和 Volume 等关键指标的计算方法。
uniswap v4  Hook  数据标准  Volume  Uniswap  DeFi 

Uniswap V3 流动性机制与限价订单解析：资金效率提升之道

in  Web3
UniswapV3流动性机制与限价订单解析：资金效率提升之道UniswapV3引入了集中流动性和价格区间的创新机制，相较于V2显著提升了资金使用效率。本文通过数学推导、案例分析和限价订单实现，深入剖析UniswapV3的流动性计算原理及其实际应用，适合对去中心化金融（DeFi）和
Web3  DeFi  Uniswap 

DeFi 中的 ERC-4626 代币：汇率操纵风险

本文深入探讨了在DeFi协议中集成ERC-4626代币时存在的风险，特别是通过捐赠方式操纵汇率导致的通货膨胀攻击。文章分析了包括Venus协议事件在内的真实案例，阐述了这些风险。并通过介绍相关资产价格预言机（CAPO）和快速响应终止开关等防御措施，为协议提供安全集成策略，以降低操纵风险并提高DeFi生态系统的安全性和稳定性。
ERC-4626  DeFi  价格操纵  捐赠攻击  预言机  风险缓解 

Solidity 平方乘算法

本文介绍了平方乘算法，它是一种在O(log n)时间内计算整数幂的算法，相比于朴素算法的O(n)时间复杂度更高效。文章解释了该算法的原理，包括平方指数序列和如何利用指数的二进制表示来选择正确的平方指数序列元素。此外，还探讨了如何将该算法应用于具有分数指数和固定点数的场景，并提供了Python和Solidity的实现示例，最后提到了Uniswap V3中使用平方乘算法的例子。
平方乘算法  指数  固定点数  Uniswap V3  Solidity  智能合约 

NFT 的叙事正在改变：看懂 NFT 的进化路径

NFT 的叙事正在悄然发生改变 — 它正从单一的数字藏品转向具备实际功能与广泛应用场景的核心资产。
Mint Blockchain  NFT  NFT市场 

DeFi 衍生品深度解析

本文深入探讨了DeFi衍生品的发展，从早期的链上项目到利用Layer-2 Roll-up的新平台，解决了速度和成本问题。文章分析了专业交易者的需求，比较了当前领先的平台，并强调了实际风险案例，如Hyperliquid的损失，展示了去中心化交易所超越中心化交易所的潜力，同时也指出了价格馈送和风险计算方面仍需改进的地方。
DeFi衍生品  Layer-2 Roll-up  去中心化交易所(DEX)  期权交易  风险引擎  永续合约 
  • mixbytes
  • 发布于 2025-05-20
  • 阅读 ( 753 )
  • ( 47 )

dYdX v4 白皮书——终极技术深度解析

dYdX v4 通过 Cosmos SDK 构建独立的 L1 区块链，采用 CometBFT 共识，由验证者运行链下订单簿，旨在实现完全去中心化的永续合约交易。文章详细介绍了 v4 版本的架构、验证者机制、治理设计、代币经济模型以及风险披露，强调了其在性能、去中心化和激励机制方面的创新。
Cosmos SDK  CometBFT  dydx  去中心化交易所  永续合约  链下订单簿 

金融科技公司和机构稳定币支付指南

本文为金融科技公司和金融机构提供了一份关于稳定币支付的战略蓝图。文章阐述了稳定币如何重塑支付方式，以及金融科技公司和金融机构如何利用稳定币提高效率、降低成本、加速结算速度、增加可访问性和提高互操作性。此外，文章还介绍了不同类型的稳定币发行方、最佳区块链以及稳定币的应用案例，展望了稳定币在支付领域的未来发展。
稳定币  支付  区块链  金融科技  跨境支付  Solana 
  • Helius
  • 发布于 2025-05-16
  • 阅读 ( 1226 )
  • ( 91 )

钱包描述符的一种简单备份方案

对任何非单签名的钱包账户来说，备份描述符都是极为关键的，因为弄丢描述符可能会有灾难性的后果（损失资金） —— 即使理论上来说足以复原钱包的种子词没有丢失。哪怕对简单的多签名钱包来说也是如此，因为仅仅弄丢一个 xpub 中的信息就有可能使钱包无法复原。
种子  钱包 

Solodit清单详解：价格操纵攻击

本文深入探讨了DeFi领域中价格操纵攻击的威胁，详细解释了如何利用闪电贷和脆弱的预言机操纵价格，并分析了两种常见的价格操纵方式：直接使用合约内部token余额比例计算价格和使用DEX流动性池的现货价格。此外，文章还介绍了使用Chainlink预言机和TWAP（时间加权平均价格）等防御措施，帮助开发者构建更强大的防御体系，以应对日益复杂的DeFi安全挑战。
价格操纵  闪电贷  预言机  Chainlink  TWAP  DEX 
  • Cyfrin
  • 发布于 2025-05-15
  • 阅读 ( 495 )
  • ( 22 )

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

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

在HyperEVM上读取HyperCore预言机价格

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

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

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

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

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

多元宇宙金融

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

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
  • 阅读 ( 410 )
  • ( 17 )