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

【引介】模糊测试库 Fuzzlib

Fuzzlib 是一个通用的 Solidity 模糊测试库，兼容 Echidna、Medusa 和 Foundry，提供了 assertions、value clamping、logging 和 math operations 等常用工具，方便进行有状态的和无状态的模糊测试。它通过 fl 命名空间提供常用工具，例如断言、值钳制、日志记录、数学运算等。
Solidity  模糊测试  fuzzing  Echidna  Foundry  测试库 

智能合约中的“隐形杀手”：被忽略的函数返回值

想象一个场景：智能合约调用了一个外部合约的函数（比如执行一次ERC20代币转账），然后心满意足地更新了自己的内部状态，记录下“转账已成功”。但如果，这笔转账因为某些原因在底层失败了，而您的合约却对此一无所知，会发生什么？这就是“未检查的返回值”（UncheckedReturnValues）
合约交互 
  • zero
  • 发布于 2025-07-08
  • 阅读 ( 1395 )
  • ( 49 )

Solidity ABI 编码深度解析：第二部分

本文是Solidity ABI编码系列文章的第二部分，深入探讨了Solidity中复杂数据结构（如结构体、数组和嵌套类型）的ABI编码机制。文章详细解释了静态结构体、动态结构体和嵌套动态类型结构体的编码过程，通过分步骤的示例，展示了如何确定结构体类型、创建头尾布局、编码头部和尾部，以及如何将它们组合起来生成最终的calldata。文章旨在帮助读者掌握Solidity ABI编码中的递归模式。
ABI编码  Solidity  结构体  动态类型  Calldata  以太坊 

Solidity ABI 编码的深度解析：第一部分

本文是Solidity ABI编码的深入解析教程的第一部分，主要介绍了ABI编码的基础知识、先决条件，以及静态类型和动态类型的编码规则。通过具体的例子，详细解释了如何将函数参数编码成EVM可以理解的字节序列，包括函数选择器、Head-Tail结构、偏移量的计算等关键概念，旨在帮助开发者掌握Solidity ABI编码的核心原理。
ABI编码  Solidity  EVM  Head-Tail结构  函数选择器 

一文了解以太坊合约事件解析

in  Go语言从入门到进阶
以太坊智能合约抛出的事件（Events）会作为交易日志（Logs）的一部分，永久存储在区块链上。只要以太坊区块链网络存在，这些事件数据就不会丢失。通过解析合约事件，我们可以跟踪用户与智能合约的交互行为、合约状态变化以及相关的链上活动，从而获取关键的业务数据。
事件解析 
  • Louis
  • 发布于 2025-06-10
  • 阅读 ( 1791 )
  • ( 52 )

慢雾：香港稳定币发行商智能合约实施指南

该文章是SlowMist安全团队发布的关于香港稳定币发行商智能合约实施指南。该指南旨在帮助发行商理解和部署符合香港金融管理局监管要求的智能合约框架，涵盖底层分布式账本的选择、核心代币标准和监管功能扩展、合规模型、访问控制系统、发行和赎回机制、紧急控制、地址过滤和黑名单机制、智能合约升级以及链上事件日志等方面，为香港稳定币生态系统的稳健发展提供技术支持。
稳定币  智能合约  香港金融管理局  监管要求  访问控制  黑名单 

OpenZeppelin 多重签名账户

本文介绍了多重签名账户，这是一种需要多个授权签名者批准操作才能执行的智能合约账户。文章详细讲解了 ERC-7913 标准及其在 OpenZeppelin 中的实现，包括 SignerERC7913、MultiSignerERC7913 和 MultiSignerERC7913Weighted 合约，以及如何具有不同类型签名者和权重的多重签名账户。
多重签名  智能合约  ERC-7913  OpenZeppelin  签名验证  阈值签名  权重签名 

Solidity智能合约中的REVERT机制：全面指南

本文深入探讨了Solidity智能合约中的REVERT机制，解释了其功能和处理方法，包括require、revert、assert和try/catch的用法。通过实例代码，阐释了这些机制如何确保合约执行的完整性与安全性，并讨论了EVM在处理revert时的响应和行为。文章意在帮助开发者有效调试合约和减少错误风险。
智能合约  Solidity  revert机制  EVM  错误处理  try/catch 
  • Cyfrin
  • 发布于 2025-03-27
  • 阅读 ( 1382 )
  • ( 42 )

Slang v1：一种可靠的分析Solidity代码的方法

Slang v1是一套为以太坊开发者提供的Solidity代码分析和工具的模块化编译器API。它能够支持80多种版本的Solidity，并提供高效的错误容忍解析器和符号追踪分析，旨在简化开发工具的构建。Slang的独特之处在于，它不仅是编译器，而是为开发者工具打造的API，极大提高了Soliditiy工具的开发效率。
Slang  Solidity  编译器API  代码分析  Rust  工具开发 
  • Nomic
  • 发布于 2025-03-19
  • 阅读 ( 1751 )
  • ( 85 )

如何修复“数据位置必须是内存或 calldata” 问题

本文深入探讨了以太坊虚拟机（EVM）的数据存取机制，阐明了不同数据位置（如stack、memory、storage、calldata和transient storage）的性质与用途，及其与Solidity编程的相关性。文章不仅解释了Solidity中常见错误的原因，还提供了丰富的代码示例和图示，帮助开发者理解EVM内部工作原理。
以太坊虚拟机  数据存取  Solidity  Calldata  memory  存储 
  • Cyfrin
  • 发布于 2025-03-17
  • 阅读 ( 627 )
  • ( 15 )

Solidity智能合约中的重入攻击

本文深入探讨了Solidity智能合约中的重入攻击，详细解释了重入攻击的机制、类型及防护策略，并提供了真实案例如DAO黑客事件和Curve Finance攻击的分析，强调了安全审计的重要性。
重入攻击  Solidity  智能合约  Checks-Effects-Interactions  安全审计  DeFi 
  • Cyfrin
  • 发布于 2025-03-14
  • 阅读 ( 811 )
  • ( 15 )

Solidity 0.8.29 发布

Solidity 0.8.29 发布
Solidity 

区块链入门：智能合约（第二部分）

in  区块链101
本文深入探讨了智能合约和Solidity语言的关键细节，包括与区块链交互的方法、合约调用模式、合约部署方式以及合约特性。作者通过实例和详细解释，阐述了如何在安全和有效的基础上构建智能合约，并强调了理解编码信息和合约结构的重要性。整篇文章结构清晰、逻辑性强，非常适合想进一步了解智能合约开发者。
智能合约  Solidity  区块链  合约调用模式  合约部署  交易结构 

合约测试指南：实现第一个智能合约不变性测试

本文详细介绍了如何在Solidity中实现和测试智能合约的不变性，通过定义有效状态、状态转移和变量转移等属性，并使用Echidna、Medusa和Foundry等工具进行模糊测试。文章分为明确的部分，讲解了不变性质的代码实现过程，并提供了丰富的示例和解释，适合对Solidity和智能合约分析有一定了解的开发者阅读。
智能合约  不变性  Echidna  模糊测试  Solidity  ERC4626 
  • Recon
  • 发布于 2025-03-05
  • 阅读 ( 1377 )
  • ( 68 )

Vyper编程语言指南：特性、安全性与应用场景

本文详细介绍了Vyper编程语言，在智能合约开发中的安全性和简洁性，强调了其设计原则与核心特性。通过比较Vyper和Solidity，指出Vyper在安全优先和易审计性方面的优势，同时提供了安装Vyper的步骤和最佳实践，适合需要高安全性的区块链项目开发者。
Vyper  智能合约  安全性  EVM  区块链  DeFi 
  • Cyfrin
  • 发布于 2025-03-04
  • 阅读 ( 1122 )
  • ( 23 )

智能合约中的缺失或不当输入验证

本文探讨了在Solidity智能合约中缺失或不当输入验证所可能导致的安全漏洞，强调了适当输入验证的重要性，以及如何通过编写安全代码来降低风险。文章详细介绍了编译时和运行时的输入验证，影响与案例分析，提供最佳实践指导，帮助开发者提高智能合约的安全性。
输入验证  Solidity  智能合约  安全漏洞  最佳实践  运行时验证 
  • Cyfrin
  • 发布于 2025-03-03
  • 阅读 ( 1329 )
  • ( 49 )

Foundry v1.0 发布

在过去的三年里，Foundry已发展成为智能合约开发者的首选工具，今天，我们自豪地宣布 Foundry v1.0
Foundry 
  • Paradigm
  • 发布于 2025-02-17
  • 阅读 ( 1726 )
  • ( 63 )

十大Solidity面试问题：让你成功通过编码面试

本文收集了10个常见的Solidity面试问题，旨在帮助求职者准备Solidity技术面试。这些问题不仅适合潜在的Solidity开发者自我测试，也可供招聘经理用以评估应聘者的技能水平。每个问题都提供了示例答案和简要解释，以帮助读者理解其重要性。
Solidity  智能合约  面试问题  区块链  EIP  安全性 
  • Cyfrin
  • 发布于 2025-02-07
  • 阅读 ( 673 )

Solidity语言 - 钻石标准（EIP-2535）解析 - 第二部分 - Quicknode

本文介绍了如何创建、部署和测试符合EIP-2535标准的Diamond智能合约，使用了diamond-1-hardhat库和louper.dev工具，详细说明了所需的项目设置和代码编写过程，适合对智能合约开发有一定了解的读者。
Diamond标准  智能合约  EIP-2535  Hardhat  goerli  区块链 

引介： Alloy - 与以太坊智能合约交互 Rust 库

Alloy - 与以太坊智能合约交互 Rust 库
Alloy  Rust  交互