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

Uniswap v3 中的真实储备和虚拟储备

本文深入探讨了 Uniswap v3 中的两种储备类型：真实储备和虚拟储备。真实储备代表一个 segment 中存在的实际代币数量，而虚拟储备代表如果 segment 是无限曲线的一部分，它将拥有的代币数量。文章详细解释了这两种储备的定义、计算方法以及它们在 Uniswap v3 交易中的作用，并解释了Uniswap v3如何通过虚拟储备，使用与Uniswap v2 相同的数学公式计算交易价格。
Uniswap V3  真实储备  虚拟储备  流动性  价格  DeFi 

Labrador：后量子 ZK 证明的新纪元

本文介绍了基于格的零知识简洁非交互参数知识证明（zkSNARK）系统 Labrador。解决了后量子时代的安全问题，通过递归压缩技术生成简洁证明 (~50 KB)。与传统 SNARK 不同，Labrador 不需要可信设置，为区块链应用程序提高透明度和可扩展性。
zkSNARK  后量子密码学  格密码  零知识证明  递归压缩  Module-SIS 

美国 GENIUS 法案通过，真正的工作才刚开始...

美国通过了《2025年稳定币创新法案》，旨在为稳定币建立清晰的监管框架，允许发行者选择联邦或州监管，并对储备金、赎回和审计等进行规范。该法案的实施需要在未来100天内迅速行动，协调联邦和州监管，进行全球合作，并确保公平的执法，以巩固美国在下一代支付领域的领导地位。
稳定币  监管  联邦  州  GENIUS法案  执法 
  • Paradigm
  • 发布于 2025-07-30
  • 阅读 ( 1515 )
  • ( 16 )

Rebase 类型代币局限性：舍入误差与拒绝服务攻击问题

本文深入探讨了Rebase代币的漏洞与局限性，分析了由于Solidity语言特性以及EVM的限制，在智能合约中可能出现的舍入误差问题，并探讨了针对智能合约的拒绝服务（DoS）攻击及其防范措施。文章还强调了开发者和审计人员在Web3安全中的作用。
Rebase代币  舍入误差  拒绝服务攻击  智能合约  Solidity  EVM 

以太坊月报 - 2025年7月

以太坊核心开发者正在积极推进 Fusaka 升级，该升级旨在降低 L2 交易成本并提高数据可用性，目标是在年底前发布。同时，他们也在为下一个升级 Glamsterdam 选择核心功能，并考虑 Gas 限制增加和历史过期等问题，社区积极参与讨论并提供反馈。
Fusaka  Glamsterdam  EIP-7907  gas 限制  历史过期  L2 

避免常见的 Solidity 智能合约安全陷阱

Solidity是以太坊区块链上开发智能合约的主要编程语言，因其与区块链的紧密结合，智能合约的安全性至关重要。漏洞可能导致资金被盗、合约功能异常或用户信任受损。重入攻击（Reentrancy）原理重入攻击是Solidity智能合约中最著名的漏洞之一。攻击者通过在合约调用外部合约或地址时，

使用 Halmos 进行现代不变性测试

本文介绍了使用 Halmos 工具进行智能合约状态不变性测试的演变过程。首先通过在无状态测试中模拟状态变化来实现，然后利用 Halmos 提供的 cheatcode 简化了测试代码，并加入了快照状态的机制以优化性能。最后展示了 Halmos v0.3.0 版本如何原生支持状态不变性测试，极大地简化了测试流程，并提供了升级和使用 Halmos 的方法。
智能合约  形式化验证  不变性测试  Halmos  SMT solving  状态空间探索 

Web3 极客日报 #1782

  • rebase
  • 发布于 2025-07-29
  • 阅读 ( 720 )
  • ( 9 )

用于实现无状态性的 Verkle 树

本文档介绍了以太坊中使用的 Verkle 树，Verkle 树结合了向量承诺和 Merkle 树的优点，它可以减小证明的大小，降低硬件要求，实现更快的同步，并可能提高Gas限制， 从而为以太坊带来许多好处，例如实现无状态客户端等。
verkle 树  无状态性  以太坊  MPT  VKT  EIP 
  • efdn__
  • 发布于 2025-07-29
  • 阅读 ( 1046 )
  • ( 14 )

002：什么是 Web3 钱包？从资产管理工具到链上身份的演进之路

in  Web3 敲门砖计划
Web3 钱包是用户在链上的身份和资产管理工具，支持交易签名、dApp 登录、资产托管等功能，是进入去中心化世界的关键入口
Wallet  钱包  Web3 
  • Henry
  • 发布于 2025-07-29
  • 阅读 ( 3122 )
  • ( 118 )

深入理解Solidity：合约如何优雅地接收ETH？搞懂receive与fallback

大家好！在以太坊开发中，我们经常需要让智能合约接收ETH。但你可能会发现，如果直接向一个普通的合约地址转账，交易往往会失败。这是为什么呢？因为，智能合约默认是“不收钱”的。想要让它能够安全地接收ETH，就必须为它定义特殊的函数：receive()或fallback()。今天，我们就来彻底搞
  • 李楠
  • 发布于 2025-07-29
  • 阅读 ( 1055 )
  • ( 8 )

Rust Trait 分派机制：静态与动态的抉择与权衡

in  Rust
RustTrait分派机制：静态与动态的抉择与权衡在使用Rust时，我们经常会用到implTrait和&dynTrait来处理泛型和接口。你是否曾好奇，这两种看似相似的语法，在编译器底层究竟是如何工作的？它们一个在编译期确定类型，一个在运行时查找实现，这背后隐藏着Rust语
Rust 

如何将私钥转换为以太坊地址

本文介绍了如何从以太坊私钥派生出公钥和公有地址。文章解释了以太坊中使用的椭圆曲线加密（ECC）secp256k1，展示了通过私钥生成公钥并进一步生成公有地址的步骤，并提供了一个Python代码示例，演示了如何使用私钥计算出相应的公有地址。
以太坊  私钥  公钥  公有地址  椭圆曲线加密  secp256k1  Keccak-256 

第五部分： 当心 gas 消耗 ——保护以太坊智能合约免受恶意破坏攻击

本文深入探讨了以太坊智能合约中一种隐蔽但极具破坏性的漏洞：恶意破坏攻击（Griefing Attacks）。文章解释了破坏攻击的原理，分析了易受攻击的代码，并通过真实案例展示了攻击流程。此外，文章还提供了一个安全、高效、抗恶意破坏的智能合约示例，并讨论了相关的防御策略、测试方法和高级工具。
恶意破坏攻击  Griefing Attacks  以太坊  智能合约  Gas  拒绝服务攻击 

CSFS 密钥串联及其在 LN-Symmetry 中的应用

本文探讨了在比特币闪电网络中实现对称通道（LN-Symmetry）的技术方案，重点关注如何使用`OP_CHECKSIGFROMSTACK`(CSFS)和检查交易输出承诺(CTV)等比特币升级提案，在不增加额外交互轮次的前提下，让通道参与者为每一条通道存储`O(1)`状态，承诺更新交易和结算交易哈希值。
闪电网络  对称通道  CSFS  CTV  密钥委托  密钥阶梯  Taproot 
  • BTCStudy
  • 发布于 2025-07-29
  • 阅读 ( 1045 )
  • ( 5 )

使用 NWC 拓展比特币应用

本文介绍了Nostr Wallet Connect (NWC) 协议，它旨在标准化比特币闪电钱包与应用之间的交互，降低开发者集成钱包的复杂性。NWC 通过提供一个开放的通信层，使用户能够方便地连接钱包并进行一键支付，同时保持非托管特性，从而促进比特币应用的开发和采用。
Nostr Wallet Connect  NWC  比特币闪电网络  闪电钱包  去中心化应用  支付协议 
  • BTCStudy
  • 发布于 2025-07-29
  • 阅读 ( 1119 )
  • ( 2 )

Jito 抗 MEV 的 Solana 区块构建市场（BAM）

本文介绍了Solana上的交易排序问题，以及提出的解决方案：区块构建市场（BAM）。BAM通过引入BAM节点和插件，在不改变Solana核心协议的前提下，实现了可编程的排序逻辑、交易隐私和可验证的排序保证，从而提高市场效率和执行完整性。
Solana  交易排序  区块组装市场  BAM节点  插件  可验证排序 

BlockThreat 周报 - 2025年第30周

本周发生了三起安全事件，损失超过 1500 万美元，其中大部分损失来自 Woo X 交易所被攻击。对Roman Storm的Tornado Cash审判由于错误的区块链追踪和对去中心化智能合约的误解而陷入困境。文章还列举了近期发生的安全事件、网络犯罪、钓鱼攻击、诈骗以及恶意软件等，并推荐了一些安全工具。
安全漏洞  智能合约  区块链安全  交易所攻击  网络钓鱼  恶意软件 

Web3 极客日报 #1781

  • rebase
  • 发布于 2025-07-28
  • 阅读 ( 755 )
  • ( 15 )

全同态加密与真正隐私互联网的曙光

本文深入探讨了全同态加密（FHE）技术，该技术允许在加密数据上进行计算而无需先解密，从而确保数据在整个生命周期中的隐私。文章讨论了FHE的工作原理、性能改进以及其在云计算、LLM推理和区块链智能合约等领域的潜在应用，强调了FHE技术正快速发展，或将推动互联网隐私保护进入新时代。
全同态加密  FHE  同态加密  格密码  噪声管理  自举 
  • bozmen
  • 发布于 2025-07-28
  • 阅读 ( 2180 )
  • ( 107 )