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

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

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

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

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

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

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

Solidity智能合约中的重入攻击

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

Solidity 0.8.29 发布

Solidity 0.8.29 发布
Solidity 

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

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

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

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

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

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

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

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

Foundry v1.0 发布

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

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

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

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

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

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

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

详解 ERC-1155 多代币标准

详解 ERC-1155 多代币标准
ERC1155  EIP  Solidity 

Solidity 汇编的 gas 优化 Keccak256

介绍了如 Solidity 智能合约中使用内联汇编语言（Inline Assembly）实现keccak256哈希函数的优化方法.
Gas  Solidity 
  • Dacian
  • 发布于 2025-01-06
  • 阅读 ( 1716 )
  • ( 25 )

在 Solidity 中时间复杂度

在 Solidity 中时间复杂度
EVM  Gas  Solidity 

初学者指南 - 通过五个Solidity项目构建开发者技能圈

本文列出了五个初学者可以构建的Solidity项目，以帮助他们打造开发者作品集。这些项目包括随机加密彩票、众筹应用程序、基于预言机的交换应用、ERC20稳定币以及简单的去中心化自治组织（DAO），每个项目都有详细的指导，旨在提高开发者的技能并在求职时脱颖而出。
Solidity  智能合约  区块链  去中心化  项目  作品集 
  • cyfrin
  • 发布于 2024-12-31
  • 阅读 ( 103 )

介绍 Aderyn 的语言服务器：通过实时反馈提升 Solidity 安全性

Aderyn's Language Server通过实时安全诊断和最佳编码实践提升了Solidity开发者的体验。其最新版本0.3.0引入了基于Language Server Protocol (LSP)的功能，简化了代码检查流程，支持多种编辑器并提供实时反馈。文章详细介绍了LSP的工作原理、技术实现以及未来的扩展计划。
Solidity  Aderyn  Language Server Protocol  安全诊断  实时反馈  Rust 
  • cyfrin
  • 发布于 2024-12-27
  • 阅读 ( 81 )

如何使用Vyper编写以太坊智能合约

这篇文章详细介绍了Vyper编程语言及其在以太坊智能合约中的应用，强调了其安全性和易用性，并提供了安装和使用Vyper的具体步骤，适合开发者学习如何用Vyper编写和部署智能合约。此外，还提到了一些已知的安全漏洞和如何防范。
Vyper  以太坊  智能合约  安全性  编程语言  部署 

详解 ERC-7201 存储命令空间

in  代理模式与 Delegatecall 规范手册

详解 ERC-7201 存储命令空间
ERC7201