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

UniswapV2 深入解析系列 20：swap手续费修复与 K 值守护

in  UniswapV2 技术深度解析
上一章我们验证了精确输出场景的价格计算，本篇回到 Pair 合约，针对长期被忽视的手续费缺口进行全面修复，确保自动做市恒定乘积模型不被破坏。 原始的 swap 函数虽通过恒定乘积检查限制输出，却没有对输入资金征收 0.3% swap 手续费，导致流动池实际增值低于预期，进而影响价格稳定性与协议收入
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-10
  • 阅读 ( 453 )
  • ( 15 )

UniswapV2 深入解析系列 19：精确输出兑换

in  UniswapV2 技术深度解析
延续第 18 篇对“精确输入兑换”的分析，本章聚焦另一条常被忽略的路径：用户提前锁定想要获得的输出数量，再推导出所需投入的最小代币金额。这类“反向兑换”在做市调仓、偿还借贷仓位或撮合做空头寸时尤其重要，也完整展示了 Router 与 Library 协同的另一面。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-10
  • 阅读 ( 395 )
  • ( 14 )

UniswapV2 深入解析系列 18：精确输入兑换

in  UniswapV2 技术深度解析
本篇第 18 篇延续上一章对 Router 的讨论，聚焦最常见的兑换入口 swapExactTokensForTokens。前端几乎所有“用固定数量兑换尽可能多目标代币”的需求都会落到这条路径上，因此理解其执行流程是把握 Uniswap 交互体验的关键。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-10
  • 阅读 ( 448 )
  • ( 19 )

UniswapV2 深入解析系列 17：输出金额计算与路径滑点管理

in  UniswapV2 技术深度解析
继第 16 篇聚焦 LP 授权后，本篇将深入交换流程的数学基础，阐述输出金额的推导、实现与验证方法，并给出多跳路径下的滑点治理策略。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-10
  • 阅读 ( 481 )
  • ( 14 )

Web3协议中作为攻击向量的治理

本文深入探讨了Web3协议和DAO中基于治理的攻击向量，例如内部人员利用其影响力，恶意提案通过审查，或隐藏的升级路径包含后门逻辑。文章分析了治理漏洞的类型，包括治理控制、恶意提案、后门升级路径等，并探讨了现实案例，如Compound和Beanstalk DAO的漏洞。此外，文章还提出了减轻治理风险的策略，旨在为评估DAO和可升级协议中的治理风险提供清晰的框架。
DAO  Web3  治理  攻击向量  内部威胁  智能合约安全 
  • cantina
  • 发布于 2025-10-10
  • 阅读 ( 477 )
  • ( 23 )

智能账户和账户抽象如何协同工作：Web3 用户体验的革命

本文介绍了账户抽象（Account Abstraction, AA）和智能账户（Smart Accounts）如何通过简化交易流程、实现社交恢复、灵活的费用管理和批量交易等功能，将Web3的复杂技术转化为用户友好的体验。账户抽象是底层技术，而智能账户是用户实际交互的层面，二者结合使得区块链技术更易于主流用户使用，并为开发者提供了构建用户体验媲美Web2应用的工具。
账户抽象  智能账户  ERC-4337  Web3  社交恢复  交易批处理 

从Pedersen承诺的范围证明中移除配对、Bulletproofs或零知识证明 - 密码学

提出了一种在EVM上验证基于Pedersen承诺的隐私币范围证明的简化方法。该方法只需要6次ECMUL和3次ECADD运算，显著降低了gas消耗。该方案在第一次设置和承诺时需要zkSNARKs，但之后的花费被最小化，并且客户端的交易生成不需要ZKP计算。
范围证明  Pedersen承诺  EVM  zkSNARKs  椭圆曲线密码学  Chaum-Pedersen DLEQ 

通过新的资助机制来支持隐私

以太坊的资助协调团队与Keyring Network合作，推出了一种新的以太坊生态系统中影响资助的方法。Keyring的zkVerified主网许可库，为DeFi借贷市场提供合规和保护隐私的访问。在前两个月，Keyring的zkVerified库中的所有协议费用将用于Tornado Cash开发者Roman Storm和Alexey Pertsev的法律辩护基金。
以太坊  隐私  DeFi  资助  zkVerified  Tornado Cash 

可验证的云：EigenCloud如何开启加密应用和AI时代

该文章介绍了 EigenCloud，一个构建在 EigenLayer 之上的加密原生云平台。EigenCloud 旨在通过提供可验证的计算、数据可用性和验证服务，解决加密领域的可编程性难题，从而实现更广泛的应用程序，类似于 AWS 云服务对 Web2 的影响，目标是创建一个可验证的经济。
EigenLayer  EigenCloud  AVS  可验证计算  数据可用性  restaking 

SP1 Hypercube的形式化验证

Nethermind Security Formal Verification 团队和 Succinct Labs 合作，使用 Lean 证明助手对 SP1 Hypercube 的所有核心 RV-64 芯片进行了形式化验证，并感谢以太坊基金会的慷慨支持。该团队将 RISC-V 操作码的行为对照官方 64 位 RISC-V Sail 规范进行了验证，证明了其在实际应用中的可行性。
形式化验证  RISC-V  Lean 证明助手  SP1 Hypercube  zkVM  Sail 规范 

Solana 地址进阶：从 TS/JS 到 Rust SDK V3，完全掌握公钥与 PDA 的底层逻辑

in  Solana
Solana地址进阶：从TS/JS到RustSDKV3，完全掌握公钥与PDA的底层逻辑你好，Solana开发者！无论是用TypeScript/JavaScript开发前端应用，还是用Rust编写高性能智能合约，地址(Pubkey/Address)都是你代码中的核心实
Solana 

046：账户抽象——让钱包变得更聪明

in  Web3 敲门砖计划
抽象账户让钱包不再受限于私钥控制。通过自定义逻辑，用户可实现Gas代付、多签恢复与批量操作等功能。EIP-4337 的出现，使区块链交互更灵活、更安全，也为智能钱包的普及铺平了道路
AA  账户抽象  ERC4337  Web 
  • Henry
  • 发布于 2025-10-10
  • 阅读 ( 643 )
  • ( 31 )

Kohaku 安全钱包 - 路线图

Kohaku是一个旨在为钱包提供安全和隐私的工具集，包含SDK、参考实现钱包和与其他钱包的合作。其核心目标是实现隐私功能，并通过浏览器扩展展示这些功能，主要关注隐私、安全改进，以及未来的原生以太坊浏览器和本地AI交易安全评分，并积极寻求合作。
隐私  安全  钱包  SDK  零知识证明  账户抽象 

赏金追踪 2025 年 10 月：构建通用 FHEVM SDK

Zama 举办赏金计划，激励开发者为 Zama Confidential Blockchain Protocol 做出贡献。本季的挑战是构建一个通用的 FHEVM SDK，一个与框架无关的前端工具包，帮助开发者轻松运行 confidential dApp。奖金池为 10,000 美元，SDK 需要具备框架无关性、包装所有必需包、提供类似 wagmi 的结构，并支持快速设置加密和解密流程。
fhEVM  SDK  Zama  加密  解密  区块链 
  • ZamaFHE
  • 发布于 2025-10-10
  • 阅读 ( 554 )
  • ( 29 )

Solana 密钥实战：一文搞懂私钥、公钥、PDA 的底层关系与 CLI 操作

in  Solana
Solana密钥实战：一文搞懂私钥、公钥、PDA的底层关系与CLI操作你好，Solana开发者！在Solana上构建应用，一切都始于对密钥（Keypair）和账户（Account）的深刻理解。你的钱包地址是如何生成的？为什么只用32字节的私钥就能控制整个账户？以及，智
Solana 

Web3 极客日报 #1807

  • rebase
  • 发布于 2025-10-09
  • 阅读 ( 361 )
  • ( 13 )

如何构建 Marketplace 插件

本文档为 QuickNode Marketplace 构建、测试和准备任何类型插件的技术过程提供了分步指南。它主要面向准备开始实施的开发人员，内容包括：了解如何为 QuickNode Marketplace 开发插件、准备提交表单所需的特定配置详细信息、实施所需的健康检查端点，并在本地测试插件，以确保其已准备好提交。
QuickNode Marketplace  插件开发  json-rpc  REST  外部插件  健康检查  SSO 

LighterEVM 与通用跨链保证金

本文介绍了LighterEVM及其通用跨保证金(Universal Cross Margin)方案，LighterEVM 旨在将通用智能合约功能引入 Lighter 生态系统，同时不影响其核心匹配引擎的性能。通用跨保证金允许交易者使用各种资产作为其永续合约头寸的抵押品，包括 ETH、WBTC 以及 LST 等 DeFi 资产。
LighterEVM  通用跨保证金  ZK-Rollup  以太坊  智能合约  去中心化交易所 

UniswapV2 深入解析系列 16：LP 授权机制与 permit 运用

in  UniswapV2 技术深度解析
本篇聚焦移除流动性流程中的授权细节，解释为何 Router 需要代用户持有 LP 代币并执行 _safeTransferFrom，以及在生产环境下如何通过 approve 与 permit（EIP-2612）降低交互成本并提升安全性。内容基于仓库现有的 Solidity 0.8.30 实现与 Fo
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-09
  • 阅读 ( 452 )
  • ( 10 )

UniswapV2 深入解析系列 15：流动性移除与 LP 销毁安全性

in  UniswapV2 技术深度解析
在上一章中我们完成了 Router 的流动性添加流程。本篇继续沿着“端到端流动性管理”这一主线，聚焦于 LP 代币销毁的安全性 与 流动性移除（removeLiquidity） 的设计方案。我们将先回顾历史上的漏洞案例，再分析当前仓库中 UniswapV2Pair 的实现细节，并给出 Router
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-09
  • 阅读 ( 487 )
  • ( 21 )