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

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

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

Solidity 0.8.29 发布

Solidity 0.8.29 发布
Solidity 

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

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

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

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

Foundry v1.0 发布

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

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
  • 阅读 ( 1605 )
  • ( 25 )

在 Solidity 中时间复杂度

在 Solidity 中时间复杂度
EVM  Gas  Solidity 

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

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

详解 ERC-7201 存储命令空间

in  代理模式与 Delegatecall 规范手册

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

下一个 700 种 EVM 语言

作者讨论了智能合约开发中编程语言特性的重要性，以期提升安全性和效率。通过回顾OpenZeppelin Contracts的开发经验， 强调了安全抽象和防错设计的重要性，同时指出手写汇编来优化性能，有可能导致安全隐患。最后，提出了一个新EVM语言的构想，旨在结合功能语言的优势，推动编程语言设计的创新
Solidity 
  • frang.io
  • 发布于 2024-12-16
  • 阅读 ( 816 )
  • ( 41 )

Web3.py 开发者指南

Web3.py 开发者指南
web3.py 
  • BuildBear
  • 发布于 2024-12-12
  • 阅读 ( 1892 )
  • ( 45 )

深入了解最小代理合约

深入了解最小代理合约
最小代理  操作码 

在外部审计前 使用不变性模糊测试之前找到高风险漏洞

在外部审计前 使用不变量模糊测试之前找到高风险漏洞
不变性模糊测试  Foundry 
  • Dacian
  • 发布于 2024-12-05
  • 阅读 ( 1102 )
  • ( 34 )

透明代理 vs UUPS：智能合约升级模式全景解析与实用指南

in  Web3

透明代理vsUUPS：智能合约升级模式全景解析与实用指南随着区块链技术的不断发展，智能合约的升级能力成为项目长期发展的关键需求。其中，透明代理（TransparentProxy）和UUPS（UniversalUpgradeableProxyStandard）是两种主流的升级模式。本文
合约  合约升级  Web3  Solidity  UUPS  透明代理 

汇编回滚

in  代理模式与 Delegatecall 规范手册

本文详细介绍了如何通过内联汇编更高效地实现 Solidity 中的回滚操作，深入探讨了 mstore 和 mstore8 操作码的使用方式，并通过示例代码展示了如何在汇编中实现无消息回滚、自定义错误回滚以及带有原因字符串的回滚。
Solidity  回滚  汇编  mStore  mstore8  gas优化 

Solidity语言 - Yul是什么？ - Quicknode

这篇文章详细介绍了Yul语言，作为以太坊上智能合约的低级语言，具有更高的代码执行效率。文章包括Yul的语法、数据类型、控制流、函数以及Yul和Solidity的对比，并提供了一些示例代码和编译工具的推荐，以帮助开发者理解和应用Yul语言。文章结构清晰，内容丰富，有助于熟悉低级编程概念的开发者进行智能合约优化。
Yul  智能合约  以太坊  低级编程  代码优化  代币 

验证智能合约代码的不同方法

本文介绍了验证智能合约源代码的五种方法，并强调了智能合约的重要性、工具及其应用。重点包括使用Etherscan、Hardhat、Remix.IDE等进行合约验证的具体步骤。文章结构清晰，包含丰富的内容和代码示例，并提供了具体的实现步骤与工具建议。
智能合约  Etherscan  验证  Hardhat  Remix.IDE  区块链