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

Chainlink CCIP v1.6 现已上线：支持Solana

我们激动地宣布，CCIPv1.6升级现已正式在主网上线。此次升级显著引入了对非EVM区块链的支持，首先从Solana主网开始。此外，该升级还包括架构改进，降低了用户的执行成本，并提升了将新的EVM和非EVM链与CCIP集成的速度，从而实现安全、成本效益高的扩展，覆盖更多数百个区块链。
CCIP  跨链 
  • Chainlink
  • 发布于 2025-08-28
  • 阅读 ( 573 )
  • ( 13 )

以太坊节点类型详解（以及它们为何会影响你的调试）

本文深入探讨了以太坊节点的不同类型（全节点、存档节点、轻节点）及其对数据访问和调试的影响。重点介绍了`eth_call`和`debug_traceCall`这两个重要的RPC方法，分析了它们的功能、使用场景、常见问题以及如何根据实际需求选择合适的工具。此外，还讨论了不同以太坊客户端的差异以及运行自有节点的考虑因素和成本。
以太坊节点  eth_call  debug_traceCall  RPC  全节点  存档节点  轻节点 

Aptos Move 编程：for、while 与 loop 循环的实战详解

in  Aptos
AptosMove编程：for、while与loop循环的实战详解在任何编程语言中，循环都是处理重复任务不可或缺的基础结构。对于构建高性能智能合约的AptosMove语言而言，熟练掌握其循环机制更是每一位开发者的必修课。本文将摒弃复杂的理论，采用最直接的代码实战方式，逐一为你展示
Web3  Aptos  Move 

UniswapV2 学习

第一步：理解需求LP提供流动性，获取收益凭证普通用户参与swap,以币换币我输入多少币，计算能获得多少币？我要获得多少币，需要输入多少币？第二步：计算公式，怎么算呢？流动性不变，进来0.997dx个Token，换出去多少个yToken呢？​基础公式:(x0+dx
UniswapV2 
  • Nirvana
  • 发布于 2025-08-28
  • 阅读 ( 496 )
  • ( 6 )

一种非格 PQC 签名方法：SLH-DSA (SPHINCS+) 和 OpenSSL 3.5

本文介绍了NIST标准化的哈希签名算法SLH-DSA (SPHINCS+)，它是ML-DSA（Dilithium）和FN-DSA（Falcon）的替代方案，文章讨论了它的密钥大小、签名过程，以及在OpenSSL 3.5中的代码实现示例, 并与 ML-DSA 和 Falcon 等方案在密钥长度和安全性上进行了对比。
SLH-DSA  SPHINCS+  哈希签名  后量子密码学  OpenSSL  密钥大小 

Etherspot 周报：Circle 的统一跨链 USDC、Coinbase 添加 ERC-4337 ...

本文是关于账户抽象、链抽象的每周摘要，讨论了Circle Gateway的统一跨链USDC、以太坊核心开发者推进Fusaka & Glamsterdam、Coinbase增加ERC-4337智能账户以及Rhinestone对未来意图的探索。
账户抽象  链抽象  ERC-4337  智能账户  USDC  Circle Gateway 
  • etherspot
  • 发布于 2025-08-28
  • 阅读 ( 579 )
  • ( 18 )

ZombieFactory 升级僵尸 - 继承、接口和合约间通信

本文介绍了如何在以太坊上实现合约间的通信，通过继承和接口，使得 ZombieFeeding 合约能够与 CryptoKitties 合约交互，实现喂养僵尸猫的功能。文章还讨论了合约优化的重要性，包括访问控制和合约地址管理，以及以太坊的可组合性。
智能合约  继承  接口  合约通信  以太坊  Solidity语言 

解构我们的首个智能合约 — ZombieFactory

本文详细解析了 CryptoZombies 教程中第一个智能合约 ZombieFactory 的代码，逐行解释了合约的版本声明、合约定义、事件、状态变量、结构体、数组和映射，以及核心函数（创建僵尸、生成随机 DNA 和创建随机僵尸）的实现原理和作用，展示了智能合约的基本结构和 Solidity 语言的关键特性。
Solidity  智能合约  CryptoZombies  以太坊  区块链  智能合约开发 

自托管钱包的未来：将信任转移到UI之外

本文探讨了自托管钱包的关键演变，分析了现有钱包在安全性、去中心化和用户体验方面面临的挑战，并提出了以队列为中心的钱包架构。Safe Research 提出的新架构通过解耦组件和优化隐私性，旨在实现更安全、灵活和可互操作的自托管钱包，并详细讨论了其组件交互、实现考虑因素以及对行业和用户的潜在影响。
自托管钱包  账户抽象  EIP-4337  智能合约  交易队列  多重签名 

Solana 的专有 AMM 革命

Solana 上的 Proprietary AMMs 是一种新型的链上做市模式，它通过将交易策略直接嵌入到链上程序中，消除了链下执行的延迟，并提供更具竞争力的价格。Proprietary AMMs 的出现依赖于 Solana 的独特优势，例如高零售参与度、交易排序机制和高效的交易环境，目前已在 Solana 的交易市场占据主导地位。
Proprietary AMMs  Solana  做市  链上交易  Jupiter 聚合器  oracle 
  • Helius
  • 发布于 2025-08-28
  • 阅读 ( 1830 )
  • ( 130 )

使用Solidity中的库（Libraries）实现代码重用：深入分析与实践

今天我们要聊一个在Solidity开发中超级实用的话题——库（Libraries）。如果你写过智能合约，肯定遇到过代码重复的问题，比如同一个数学计算逻辑在多个合约里反复出现，或者一堆工具函数占满了合约代码。Solidity的库就是为解决这些问题而生的！它能帮你把常用逻辑抽取出来，复用代码，减少Gas
Solidity  智能合约 

多线性多项式：生存工具包

本文介绍了多线性多项式的基本性质，包括定义、插值、坐标和求值、张量化以及多线性多项式乘积等。重点介绍了如何通过在超立方体上进行求值来计算多线性多项式在多线性插值基下的坐标，并提出了用于判断多线性多项式是否包含特定变量的算法，包括分治法和最低有效位优先（LSB First）的步长方法。
多线性多项式  插值  超立方体  Sumcheck协议  密码学  张量积 

Trident : Solana上首个引导式模糊测试工具

本文介绍了 Trident，一个为 Solana 程序设计的模糊测试框架，它采用了手动引导的模糊测试（MGF）技术，旨在帮助开发者更有效地发现 Solana 程序中特有的漏洞，例如账户混淆、并行执行中的竞态条件和跨程序调用（CPI）相关的漏洞。文章还提供了使用 Trident 进行模糊测试的策略、最佳实践和高级技术。
Solana  模糊测试  Trident  安全  智能合约  漏洞 
  • Ackee
  • 发布于 2025-08-27
  • 阅读 ( 850 )
  • ( 30 )

智能合约审计需要的思维模型

本文作者分享了智能合约安全审计的经验模型，强调了资源收集、智能合约概览、手动代码审查、功能测试、自动化审查、报告编写和修复代码审查等关键步骤。文章旨在帮助审计人员系统性地进行安全审计，并识别潜在的安全漏洞。
智能合约  安全审计  漏洞  代码审查  功能测试  自动化测试 

Certora 竞赛报告：Aquarius

本文是 Certora 对 Aquarius 项目进行的形式化验证竞赛报告，通过引入代码突变来评估参赛者编写的规范质量。报告详细列举了在 AccessControl、FeesController 和 Upgrade 等合约中发现的突变，展示了参赛者提交的高质量属性，并强调了发现的真实漏洞，如 Pending Upgrade 的 Code Hash 未被清除等问题。
形式化验证  智能合约  Certora Prover  代码突变  AccessControl  FeesController  漏洞 
  • Certora
  • 发布于 2025-08-27
  • 阅读 ( 201 )
  • ( 7 )

Uniswap V4 的架构和编程技巧及现代合约编程概述

Licredity 核心开发者分享了 Uniswap V4 的架构和编程技巧，以及现代智能合约项目的目录结构和开发架构。文章还介绍了现代常见的合约特性，例如使用 soldeer 进行依赖管理，使用 Extsload 合约来访问 internal 变量，利用 BalanceDelta 机制实现更高效的清算，以及引入 unlock 机制实现终局原子性。
uniswap v4  智能合约  Solidity  Extsload  BalanceDelta  终局原子性 
  • wongssh
  • 发布于 2025-08-27
  • 阅读 ( 476 )
  • ( 5 )

跨链桥攻击中 MEV 的经济学：一个博弈论分析

本文深入探讨了跨链桥被攻击后，MEV（矿工可提取价值）参与者如何在多个区块链上利用价格差异、流动性失衡和预言机滞后等机会进行价值提取。文章分析了套利者、清算狙击手、验证者和 Gas War 参与者等不同角色的策略，以及他们如何通过博弈论动态和零和竞争来最大化利润。
MEV  跨链桥  套利  清算  博弈论  区块链安全 

Shutter MCP Alpha：指挥你的加密工作流

Shutter 网络发布了 Shutter MCP 的测试网 alpha 版本，该工具通过 Shutter API，允许 AI 发起时间锁定的加密工作流。Shutter MCP 可以创建各种加密应用场景，例如保密的方案请求、密封的漏洞赏金、定时发布公告等。用户可以通过 Claude AI 或其他 MCP 客户端轻松创建时间锁定的加密工作流。
时间锁加密  阈值密码学  去中心化  密钥管理  Shutter API  AI 
  • shutter
  • 发布于 2025-08-27
  • 阅读 ( 198 )
  • ( 7 )

2025年基于Move的顶级区块链

本文介绍了基于Move编程语言的几个 Layer-1 区块链项目，包括 Sui、Aptos、Supra 和 Movement。分析了Move语言的优势，对比了这些区块链在创始人、历史、交易速度、共识机制、预言机、跨链桥以及通证等方面的异同，并探讨了Move语言在未来可能取代Solidity的潜力。
Move语言  Sui  Aptos  区块链  Supra  Movement 

带你入门区块链

前言本文面向于对区块链还没有概念的小白，分享一下我在学习区块链入门知识之后总结的笔记。行文结构包含几个部分的介绍：核心概念、核心技术、如何运行、共识机制及主流项目。基本概念区块链==智能合约平台1）区块链首先是一个分布式网络，让所有的独立节点想要达成共识去记录和Token相关的事情，是区块链