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

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

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

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

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

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

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

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

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

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

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

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
  • 阅读 ( 220 )
  • ( 11 )

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

椭圆曲线深度解析（第 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
  • 阅读 ( 449 )
  • ( 23 )

Ethernaut 题解 01-35

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

第16 篇：涨了就卖？亏了就砍？Freqtrade 进出场逻辑全解锁！

第16篇：涨了就卖？亏了就砍？Freqtrade进出场逻辑全解锁！在Freqtrade策略中，进出场规则的配置是交易表现的关键。合理设置止盈、止损及卖出信号，可以有效提升策略的收益和风险控制能力。本篇重点讲解控制开仓、平仓、止盈的核心参数。🚀想学量化交易？👉点击访问：http
freqtrade 

【Solana实操】64字节私钥文件解析难题：用三种姿势安全获取钱包地址

in  Solana
【Solana实操】64字节私钥文件解析难题：用三种姿势安全获取钱包地址你好，Solana开发者！在Solana开发中，我们习惯于使用solanaaddress-kkeys/id.json命令一键查看钱包地址。但你是否想过，这背后发生了什么？为什么一个64字节的原始数据，能直
Solana 

042：模块化区块链：拆解区块链，重塑性能与自由

in  Web3 敲门砖计划
模块化区块链正在重塑区块链基础架构。它将执行、结算、共识、数据可用性分离，让开发者像搭乐高一样自由组合组件，实现更高性能与灵活性。本文深入解析模块化理念、代表项目及其在未来多链生态中的潜力与挑战
模块化区块链  模块化  modular block  Web3 
  • Henry
  • 发布于 2025-10-06
  • 阅读 ( 752 )
  • ( 23 )

在Uniswap V3代码库中计算两个价格之间的真实储备量

in  Uniswap V3 详解
本文介绍了Uniswap V3代码库中用于计算两个价格之间真实储备量的公式，重点讲解了`SqrtPriceMath.sol`库中的`getAmount0Delta`和`getAmount1Delta`函数，解释了它们如何使用Q64.96格式的价格平方根来计算代币X和Y的储备量，以及在流动性提供和移除过程中如何进行四舍五入。
Uniswap V3  getAmount0Delta  getAmount1Delta  SqrtPriceMath  Q64.96格式  真实储备量 

加密货币市场本周动态 (2025年10月6日)

本报告对加密货币市场进行了每周的概述和更新，分析了宏观经济环境、加密货币市场表现、链上使用情况、稳定币指标以及社群关注点。主要结论包括：宏观经济环境偏向风险偏好，机构主导的ETF流入显著，比特币引领市场上涨，BNB链表现出较强的韧性，稳定币供应量持续增长。
比特币  以太坊  稳定币  宏观经济  链上数据  ETF 

Vitalik: 内存访问为 O(N^[1/3])

本文作者认为，内存访问时间复杂度不应被视为O(1)，而应该是O(N^⅓)。作者通过理论论证和实证数据，结合CPU缓存、内存带宽等因素，阐述了这一观点，并以密码学中预计算优化为例，说明了在算法设计中考虑内存访问时间复杂度的重要性，尤其是在ASIC设计中，局部性对性能有重要影响。
内存访问  时间复杂度  O(N^⅓)  CPU缓存  ASIC  算法优化  预计算