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

深入 Uniswap V2 的手续费

很多同学都知道Uniswap V2的常数乘积做市模型（x·y=K），即在兑换时保持不变，但是LP和项目方如何赚取手续费，是怎么收取的呢，我猜很多同学和我一样有一些细节搞不清楚。前几天有一个学员在面试时，需要约到了这个问题，这篇文章我们一起来看一看。1.理清常数乘积K与
Uniswap V2  fee 
  • Tiny熊
  • 发布于 2025-11-20
  • 阅读 ( 1599 )
  • ( 110 )

算术电路的形式验证框架比较

本文作者回顾了自己2014年创建的Proof Market，并探讨了使用zkVM构建非托管版本，以及使用计算机语言来编写和检查数学证明来验证算术电路的正确性。文章对比分析了多个用于验证算术电路的框架，包括ACL2、Garden、zk-lean、sp1-lean和Clean，并评估了它们在不同方面的优缺点，以及作者和Claude Code在这些框架上的使用体验。
zkVM  算术电路  形式化验证  ACL2  Lean  Rocq 

加密货币杠杆状况——2025年第三季度

该报告分析了2025年第三季度加密货币杠杆的状况，指出加密货币抵押贷款达到历史新高，主要由链上借贷增长驱动。与2021-2022年的繁荣时期相比，本轮周期的贷款标准更高，实践更稳健，以抵押贷款为主流，行业系统可见性更高，抵押品更集中于BTC、ETH等波动性较低的资产。尽管10月10日经历了历史上最大的期货市场清算事件，但这主要是由机械设计和激进的价格下跌导致，而非广泛的信用过剩。
加密货币  杠杆  借贷  DeFi  期货  抵押品 
  • Galaxy
  • 发布于 2025-11-20
  • 阅读 ( 1127 )
  • ( 63 )

Canton的生态系统推动者：数据、预言机与开发工具

本文是关于Canton Network系列文章的第四部分，重点介绍了该网络中的关键服务提供商，包括数据提供商、合规性服务商、安全公司、预言机服务商、专业服务与咨询公司、开发者工具和加速器、钱包与密钥管理、节点服务商以及风险投资机构，他们共同支撑着Canton Network的运行、增长和安全。
Canton Network  区块链  数字资产  合规  预言机  节点服务 
  • DAIC
  • 发布于 2025-11-20
  • 阅读 ( 757 )
  • ( 45 )

闪电网络的闭环悄悄到来

Ark Labs 开发的 Arkade 协议旨在解决比特币闪电网络流动性问题，其核心是通过 VTXO 系统和虚拟互换供应商实现闪电网络支付的闭环。
闪电网络  vTXO  Arkade  互换服务  流动性  比特币 

L1 升级：我们最期待的 Glamsterdam 提案

文章讨论了以太坊下一次升级 Glamsterdam 中，对 Base 链最有益的几个 EIP 提案，包括 EIP-8070（稀疏 Blobpool）、EIP-2780（降低交易固有 gas 成本）、EIP-8032（基于大小的存储 gas 定价）、EIP-5920（PAY 操作码）、EIP-7907（调整合约代码大小限制） 和 EIP-8024（向后兼容的 SWAPN、DUPN、EXCHANGE)。
EIP  以太坊  Base链  Gas费用  智能合约  Blob 

Web3 极客日报 #1829

  • rebase
  • 发布于 2025-11-19
  • 阅读 ( 546 )
  • ( 27 )

Uniswap V2 详解：架构、安全风险与分叉指南

本文深入探讨了 Uniswap V2 版本，包括其核心架构、主要功能（如 ERC20-to-ERC20 直接交易对、核心/外围架构、抗操纵的 TWAP 预言机、闪电互换和协议费用机制）、安全性分析、开发者集成指南以及分叉时的安全注意事项。文章强调了 V2 版本在改进 AMM 方面的关键作用。
Uniswap V2  AMM  TWAP 预言机  闪电互换  MEV  三明治攻击 
  • zealynx
  • 发布于 2025-11-19
  • 阅读 ( 1033 )
  • ( 50 )

Σ 舞步：承诺、挑战、响应

本文深入浅出地介绍了Σ协议，从Schnorr协议开始，逐步讲解了如何组合Σ证明，包括等式证明、AND证明和OR证明。接着，探讨了Pedersen承诺，以及如何将其与Σ协议结合使用，最后介绍了Fiat-Shamir变换，将交互式协议转换为非交互式协议，并推广到一般的同态函数，证明了Σ协议是同态原像知识的证明。
Σ协议  Schnorr协议  Pedersen承诺  Fiat-Shamir变换  同态  零知识证明 

实时 MEV、小费和奖励：使用 Bitquery API 构建生产级的验证者仪表盘

实时MEV、小费和奖励：使用BitqueryAPI构建生产级的验证者仪表盘实时交易小费数据正成为以太坊验证者监控中最重要的组成部分之一。验证者收入的很大一部分现在来自执行层的小费和MEV，这些都在每个区块中直接支付。
  • Asher
  • 发布于 2025-11-19
  • 阅读 ( 568 )
  • ( 12 )

让以太坊所有的 Layer2 再次感觉像一条链

以太坊互操作层(EIL)旨在通过ERC-4337账户抽象和Intent Based架构，在不增加新的信任假设的前提下，使用户能够通过一次签名即可完成跨链交易，从而使以太坊的rollup感觉像一个统一的链。EIL旨在实现钱包层面的多链互操作性，让用户感觉像是在一个无缝的以太坊网络中进行操作，而无需关注底层链的复杂性。
以太坊  互操作性  跨链  ERC-4337  账户抽象  Rollup 

Solana 上的 Bonding Curve

本文深入探讨了 bonding curve（ bonding 曲线）在代币发行和交易中的应用，详细解释了 bonding curve 的原理、不同类型的曲线（线性、指数、对数、S 曲线）及其适用场景，并介绍了 Pump.fun 平台如何利用 bonding curve 实现快速启动和交易，以及相关的技术架构和定价计算方法。
bonding curve  智能合约  代币发行  自动做市  虚拟流动性  Solana 

代理和可升级性——UUPS 代理 (EIP-1822)

本文介绍了 UUPS 代理模式，它将升级逻辑从代理合约转移到实现合约中，从而减少了 bytecode 大小、部署成本和复杂性。通过将升级功能放在实现合约中，每个实现都可以定义自己的升级规则。文章还通过 Foundry 演示了 UUPS 代理的部署和升级过程。
UUPS 代理  EIP-1822  可升级合约  代理模式  delegatecall  Solidity 

深度解析：Solana DePIN - 2025年10月

该报告分析了2025年10月Solana DePIN生态系统的发展情况，重点关注Helium、Render、Hivemapper等项目的收入、用户增长和网络数据。报告指出，尽管部署者奖励有所下降，但DePIN项目的FDV与收入比率有所下降，收入正在赶上估值。同时，报告也关注了无线网络、地图绘制、计算和AI等领域的重要发展。
Solana  DePIN  Helium  Hivemapper  Render  区块链 
  • syndica
  • 发布于 2025-11-19
  • 阅读 ( 854 )
  • ( 29 )

部署与确定性地址（CREATE vs CREATE2）

本文详细解释了以太坊智能合约的部署过程，包括部署交易的原理、EVM如何确定合约地址，以及如何使用CREATE和CREATE2预先计算合约地址。文章通过示例展示了如何手动计算合约地址，并解释了CREATE2在预先确定合约地址方面的重要作用。
智能合约  部署交易  CREATE  CREATE2  EVM  以太坊 

代理与可升级性 - 透明代理 (EIP-1967)

本文介绍了以太坊智能合约升级的常用模式：透明代理（Transparent Proxy，EIP-1967）。文章解释了代理合约如何通过 `delegatecall` 将调用转发到可替换的实现合约，从而在保持合约地址不变的情况下实现逻辑升级。文章还通过 Foundry 演示了代理合约的部署、升级和状态保持的过程，并强调了 EIP-1967 标准化存储槽位的重要性。
代理合约  智能合约升级  EIP-1967  delegatecall  透明代理  Foundry 

在 Bitcoin Core 中复原一个 Miniscript 钱包

本文介绍了如何使用 Bitcoin Core 软件恢复和使用 Nunchuk 软件钱包创建的 Miniscript 钱包。文章详细说明了两种恢复方法：基于硬件签名器的恢复和基于种子词的恢复，并提供了详细的操作步骤和注意事项，包括 Bitcoin Core 的安装、钱包配置文件的处理、PSBT 交易的创建、签名和广播等。
Miniscript  Bitcoin Core  钱包恢复  硬件签名器  种子词  PSBT 
  • BTCStudy
  • 发布于 2025-11-19
  • 阅读 ( 608 )
  • ( 6 )

Solidity代币燃烧：让你的代币安全烧得飞起不翻车

Solidity里一个超硬核的主题——安全的代币燃烧！在区块链上，代币燃烧就是把代币永久销毁，减少总供给，可能是为了控通胀、提价值，或者搞个活动吸引眼球。但这事可不是随便写两行代码就完，烧不好分分钟出漏洞，代币飞了，项目也凉凉！代币燃烧的核心概念先搞清楚几个关键点：代币燃烧：将代币从流通中永
Solidity 

Solidity 枚举类型

本文详细介绍了Solidity中枚举类型的定义、特点、与整型的转换、以及各种操作。枚举类型适用于表示一组固定的命名常量，能够提高代码的可读性和可维护性，特别适合表示有限的状态集合，如订单状态、工作流状态等。文章还提供了实际应用示例，并强调了使用枚举的最佳实践。
枚举  Solidity  智能合约  数据类型  状态管理  类型转换 

Solidity 数组

本文详细介绍了Solidity中的数组类型，包括固定长度数组和动态长度数组的定义、初始化、访问方式以及成员函数。同时，还提到了数组切片的概念，以及在使用数组时需要注意的Gas消耗问题，并介绍了string和bytes这两种特殊的数组类型。避免在智能合约中遍历大数组，以防止Gas消耗超过限制。
Solidity  数组  固定长度数组  动态数组  gas消耗  string  bytes