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

UniswapV2 深入解析系列 09：Solidity 安全最佳实践与整数溢出防护

in  UniswapV2 技术深度解析
本文是 UniswapV2 深入解析系列的第九篇文章，深入探讨 Solidity 智能合约开发中的安全最佳实践，重点分析整数溢出防护机制、unchecked 块的正确使用场景，以及 UniswapV2 项目中的安全设计理念。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 582 )
  • ( 9 )

UniswapV2 深入解析系列 08：代币转账机制与设计哲学

in  UniswapV2 技术深度解析
本系列文章将带您从零开始深入理解和构建 UniswapV2 去中心化交易所，通过实际编码实现来掌握自动做市商（AMM）机制的核心原理。本篇将深入探讨 UniswapV2 中的代币转账机制设计与实现策略。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 653 )
  • ( 24 )

UniswapV2 深入解析系列 07：存储优化与Gas节省策略

in  UniswapV2 技术深度解析
本系列文章将带您从零开始深入理解和构建 UniswapV2 去中心化交易所，通过实际编码实现来掌握自动做市商（AMM）机制的核心原理。本篇将深入探讨 UniswapV2 中的存储优化技术和 Gas 节省策略。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 472 )
  • ( 12 )

UniswapV2 深入解析系列 06：时间加权平均价格预言机实现详解

in  UniswapV2 技术深度解析
本文是 UniswapV2 深入解析系列的第六篇文章，深入探讨了 UniswapV2 中时间加权平均价格预言机（TWAP Oracle）的设计原理和实现细节。价格预言机是 DeFi 生态系统的重要基础设施，UniswapV2 的创新在于将 DEX 本身转变为可靠的价格数据源。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 504 )
  • ( 12 )

UniswapV2 深入解析系列 05：智能合约安全防护与重入攻击分析

in  UniswapV2 技术深度解析
本文是 UniswapV2 深入解析系列的第五篇文章，专注于智能合约的安全防护机制，特别是重入攻击（Re-entrancy Attack）的识别、分析和防护策略。安全性是 DeFi 协议的生命线，一个看似微小的安全漏洞就可能导致数百万美元的资金损失。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 455 )
  • ( 6 )

UniswapV2 深入解析系列 04：代币交换机制

in  UniswapV2 技术深度解析
本文是 UniswapV2 深入解析系列的第四篇文章，专注于去中心化交易所的核心功能——代币交换机制的实现。我们将深入探讨 UniswapV2 如何通过恒定乘积公式实现无许可的代币交换。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 563 )
  • ( 16 )

UniswapV2 深入解析系列 03：流动性移除机制与LP代币销毁

in  UniswapV2 技术深度解析
本文是 UniswapV2 深入解析系列的第三篇文章，深入讲解流动性移除的工作原理、LP 代币销毁机制，以及不平衡流动性提供的惩罚效应。
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 443 )
  • ( 5 )

UniswapV2 深入解析系列 02：流动性池机制与LP代币铸造

in  UniswapV2 技术深度解析
本文是 UniswapV2 深入解析系列的第二篇文章，重点讲解流动性池的工作原理和 LP 代币的铸造机制。
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 511 )
  • ( 10 )

UniswapV2 深入解析系列 01：架构概述与开发环境搭建

in  UniswapV2 技术深度解析
本系列文章将带您从零开始深入理解和构建 UniswapV2 去中心化交易所，通过实际编码实现来掌握自动做市商（AMM）机制的核心原理。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 765 )
  • ( 52 )

Foundry、Echidna 与 Wake：模糊测试收缩算法比较

本文比较了 Foundry、Echidna 和 Wake 三种模糊测试工具中的 shrinking 算法。Shrinking 的作用是最小化重现 bug 所需的操作序列，从而简化调试过程。文章详细介绍了每种工具的 shrinking 算法及其优缺点，帮助读者选择最适合自己测试目标的工具。
模糊测试  智能合约  Foundry  Echidna  Wake  Shrinking 算法 
  • Ackee
  • 发布于 2025-10-08
  • 阅读 ( 523 )
  • ( 16 )

DAO过度支出：密封投标RFP可以解决这个问题

本文讨论了DAO在RFP（Request for Proposal）流程中存在的资金浪费问题，指出公开RFP导致价格虚高和提案质量下降。Shutter提出的解决方案是采用密封投标RFP，即在截止日期前保持提案私密，以恢复公平竞争。Shutter提供了一个链上密封投标RFP平台，旨在帮助DAO更明智地使用资金。
DAO  RFP  密封投标  Shutter  链上治理  提案 
  • shutter
  • 发布于 2025-10-08
  • 阅读 ( 471 )
  • ( 19 )

LogUp 在 zkVM 中的应用

Lookup(LogDerivativeLookupArgument)是一种通过**预计算表（LookupTable）**来验证某个值是否存在于特定集合中的技术。在ZKP中，它通常用于减少电路约束的复杂性，将复杂的算术约束（如位操作、范围检查）转换为查表操作，减少证明生成的开销。L
zkVM 

重心插值

重心插值（Barycentricinterpolation）是拉格朗日插值的变换。有时候需要通过一组多项式点值直接计算另一个不同点处的值，例如，p(x)p(x)p(x)是一个度为2的多项式，可以在O(N)时间内用p(0),p(1),p(2)p(0),p(1),p(2)p(0),

Recon 扩展：现在拥有更多 Halmos

Recon Extension 新版本发布，集成了 Halmos，并支持 Vyper。该扩展旨在改进模糊测试工作流程，可以更高效地定义和打破属性。通过使用 Chimera 框架，Recon Extension 可以运行 Halmos, Echidna 和 Medusa，生成报告，并将损坏的测试转换为 Foundry reproducer。
模糊测试  不变性测试  符号执行  Halmos  Echidna  Medusa  Foundry 
  • Recon
  • 发布于 2025-10-07
  • 阅读 ( 388 )
  • ( 16 )

Rust实战：如何用泛型和特性实现一个高性能、通用的插入排序

in  Rust
Rust实战：如何用泛型和特性实现一个高性能、通用的插入排序你好，Rust开发者！虽然Rust的标准库已经内置了高性能的排序方法，但手写经典算法是理解Rust语言特性和掌握底层原理的最佳途径之一。今天，我们聚焦于最简单、最直观的排序算法之一——插入排序（InsertionSort）。
Rust 

043：什么是数据可用性层（Data Availability Layer）

in  Web3 敲门砖计划
数据可用性层（DA Layer）是模块化区块链的信任基石，用于确保区块数据真实可见、可验证。它通过纠删编码与采样验证（DAS）机制，让节点无需下载完整数据即可确认数据存在。Celestia、EigenDA、Avail 等项目正推动这场从“可执行”到“可验证”的革命
DA-Layer  数据可用性层  Web3  信任 
  • Henry
  • 发布于 2025-10-07
  • 阅读 ( 629 )
  • ( 19 )

椭圆曲线深度解析（第 9 部分）

in  密码学101
本文深入探讨了配对技术的计算方法，重点介绍了米勒算法，该算法通过平方和加法在对数时间内计算配对，并讨论了不同类型的配对（Type 1, 2, 3, 4）及其在密码学中的应用。文章还详细解释了非退化性对于配对的重要性，以及如何通过选择合适的配对类型和曲线来确保配对的有效性。
配对  米勒算法  椭圆曲线  密码学  非退化性  双线性映射 

MIM Spell 第三次攻击：Abracadabra 170 万美元黑客事件内幕

本文分析了Abracadabra.money 的 Cauldron V4 合约被攻击事件，攻击者利用`cook()`函数中的漏洞绕过了协议的最终偿付能力检查，从合约中窃取了约170万美元的MIM。文章深入探讨了漏洞的原理及其利用方式，还提出了可以避免此类事件的设计建议，并总结了该事件造成的后果以及协议方的反应。
DeFi  智能合约  漏洞  攻击  MIM  Cauldron 

飞翔的郁金香：用收益代替融资

Hazeflow 提出了 Flying Tulip 创新型加密融资模型，该模型不直接花费融资资金，而是将资金再投资以产生收益，并将收益用于资助运营和回购代币。FT 代币伴随永久看跌期权发行，为投资者提供下行保护，即使代币贬值，也能以初始投资额售出。
DeFi  融资模型  永久看跌期权  收益耕作  代币回购  区块链 
  • Hazeflow
  • 发布于 2025-10-07
  • 阅读 ( 668 )
  • ( 31 )

Ethernaut 题解 01-35

本文是作者在ethernaut闯关时记录的解题思路，涵盖合约分析和攻击步骤，操作基本都是在浏览器控制台和Remix完成。如有错误之处，还望读者及时指出。