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

稳定币监管与《GENIUS法案》：形式化验证的必要性

随着Web3应用的持续加速，越来越多的中央银行和机构正在开发数字资产产品，稳定币便是重点方向之一。在严格的合规框架之下，形式化验证被认为是一种极具前景的方法论，助力稳定币项目更有效地满足《GENIUS法案》的合规要求。
web3安全  稳定币  稳定币安全  形式化验证 
  • CertiK
  • 发布于 1天前
  • 阅读 ( 195 )
  • ( 4 )

Uniswap V3 中的 TickMath getSqrtRatioAtTick 函数是如何工作的

in  Uniswap V3 详解
本文详细解释了 Uniswap V3 TickMath 库中 `getSqrtRatioAtTick()` 函数的工作原理。
Uniswap V3  getSqrtRatioAtTick  TickMath  平方根价格  Square-and-multiply  固定点数 

比例带宽分配中的博弈论漏洞：FastLane的ShMonad协议的形式化分析

本文分析了基于Monad的Liquid Staking Token（LST）shMONAD的设计及其潜在的安全隐患。ShMonad通过按比例分配网络带宽来激励用户，但同时也存在过度承诺、财富集中、时机攻击等问题，为了保证长期稳定性，FastLane应考虑引入二次方承诺费、时间加权Stake锁、混合拍卖层等机制。
Liquid Staking Token  shMONAD  Monad  带宽分配  MEV  二次方承诺费 
  • thogiti
  • 发布于 2天前
  • 阅读 ( 291 )
  • ( 12 )

AAVE V3 DeFi 集成技巧

该文章提供了关于Aave V3 DeFi集成的提示和指南，涵盖了Aave V3的具体功能，包括清算机制、E-mode、隔离借贷模式，以及如何进行供应、借贷和信用委托。此外，文章还分享了如何安全地将项目与Aave V3集成，并提供了一系列相关的链接和资源，方便读者深入了解Aave V3。
Aave V3  DeFi  集成  清算  E-mode  借贷 

WalletFi与加密产品的钱包化 — 为什么一切最终都会变成钱包！

本文作者Valerio分析了未来加密产品的发展趋势，即“钱包化”（WalletFi），认为项目方会将产品与钱包结合，以掌握交易数据、用户和订单流，从而获得经济效益。文章还讨论了Infinex和Safe等案例，以及Privy和Turnkey等基础设施解决方案，并分析了不同方案的优缺点，强调了控制订单流的重要性。
钱包化  WalletFi  订单流  PFOF  Infinex  Safe  Privy  Turnkey  Passkeys 

钱包安全大比拼：普通钱包、多签和 MPC 钱包，我该选哪个？

在加密世界里，我们最常听到的一句忠告就是：“Notyourkeys,notyourcoins.”（不是你的私钥，就不是你的币）。私钥，或由它生成的助记词，是我们掌控自己数字资产的唯一凭证。但这也带来了另一个问题：如果这唯一的凭证丢失或被盗，我们的资产将万劫不复。幸运的是，钱包技术早已超
钱包 
  • zero
  • 发布于 6天前
  • 阅读 ( 353 )
  • ( 16 )

当加密货币做市商失去信任时：从盲目信任到机构级审查

MOVE 和 Mantra 事件暴露了加密货币做市生态系统中存在的幕后操纵行为，这些行为损害了市场参与者和散户投资者的利益。这些事件促使市场做市领域发生范式转变，市场做市商更加重视尽职调查、透明度和强有力的合约架构， 从而保护自身和零售投资者的利益。同时，这也促使加密货币市场更加成熟，向传统金融靠拢。
做市商  市场操纵  Move  Mantra  信任危机  透明度 

代币化股票和股权详解

文章介绍了tokenized stocks(代币化股票)和tokenized equities(代币化股权)的概念，以及它们的优势，例如全球可访问性、24/7交易、可编程合规性和链上透明度。同时，文章还讨论了Chainlink在支持这些代币化资产方面所起的作用，包括提供安全的数据、合规性和互操作性服务。
代币化股票  代币化股权  区块链  Chainlink  智能合约  预言机 

案例研究：使用 Biconomy 编排实现一键 Gasless 仓位迁移

本文介绍了如何使用Biconomy的MEE和AbstractJS SDK实现一键将Aave的仓位迁移到Venus协议。通过Fusion模式，用户只需一次签名即可完成包括转移利息、从Aave提款、授权Venus花费代币以及在Venus上铸造vToken等多个复杂操作，极大地简化了DeFi操作的用户体验.
MEE  Biconomy  DeFi  Aave  Venus协议  Fusion模式 
  • Biconomy
  • 发布于 2025-07-11
  • 阅读 ( 852 )
  • ( 35 )

探讨锚定资产交易对的流动性激励

本文探讨了稳定币交易对的流动性激励机制，认为传统的激励方式可能不是维持流动性的最佳方案，特别是对于锚定资产。
流动性  稳定币  DEX  智能合约  激励机制  债务 

Orca Whirlpools 与 UniswapV3 对比分析：设计、逻辑与权衡

本文深入探讨了Solana上的Orca Whirlpools和以太坊上的Uniswap V3两种去中心化交易所（DEX）的流动性机制。分析了它们在流动性逻辑、技术架构、费用结构、路由和聚合、状态管理、可组合性、数学库以及gas与计算等方面的差异，总结了各自的优缺点，并讨论了它们在各自生态系统中的地位和系统级差异。
去中心化交易所  DEX  Orca Whirlpools  Uniswap V3  Solana  以太坊 

万物代币化（RWA）！金融的未来，还是混乱的根源？

本文深入探讨了现实世界资产（RWA）代币化的概念，包括其定义、优势、DeFi 中的应用以及面临的挑战。
RWA  代币化  DeFi  真实世界资产  区块链  金融 

支付 - OpenZeppelin 文档

本文档介绍了OpenZeppelin Contracts库中与支付相关的实用工具，包括`PaymentSplitter`，用于将以太币支付分配给多个账户，以及`PullPayment`，它实现了一种安全的资金发送方式，接收者需要主动提取资金。此外，还介绍了Escrow合约，用于在满足条件前持有资金。
以太坊  支付拆分  资金托管  拉取支付  重入攻击  智能合约 

AI赋能的智能合约开发：从ChatGPT到生产

本文探讨了Web3开发领域中AI工具的应用，指出当前开发者使用AI的误区，并介绍了AI在Solidity编码、自动化测试、智能合约审计、Gas优化和Oracle实现等方面的应用。文章还提供了实际的AI开发工作流程、工具推荐以及常见问题的解决方案，强调了掌握AI工具对于Web3开发者构建更快速、安全和创新的应用至关重要。
智能合约  AI  Solidity  审计  gas优化  测试 

压力下的稳定币：用户应关注什么 - ImmuneBytes

本文深入探讨了稳定币的稳定性问题，分析了不同类型的稳定币（如法币支持型、算法型、加密资产抵押型）在面临压力时的表现，并通过UST崩盘、USDC脱锚等案例，揭示了稳定币的潜在风险，强调了用户和开发者应如何识别风险信号并采取相应措施以提高系统的韧性。
稳定币  UST  USDC  DeFi  加密货币  风险评估 

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

infiniFi 是一个 DeFi 平台，旨在优化收益，但其 iUSD 赎回机制存在漏洞，可能导致用户在赎回队列中被跳过，从而面临不公平的惩罚。Certora Prover 发现了这一问题，并通过形式化验证确保了修复后的系统符合 FIFO 原则，维护了用户信任和 DeFi 协议的公平性。
DeFi  形式化验证  Certora Prover  FIFO  智能合约  iUSD 
  • Certora
  • 发布于 2025-07-01
  • 阅读 ( 193 )
  • ( 6 )

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

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

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
  • 发布于 2025-06-28
  • 阅读 ( 282 )
  • ( 18 )

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

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