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

深度解析：在发送1个DAI时发生了什么

本文从通过钱包发起交易开始，解析钱包如何构建交易数据，如何设定 Gas，如何签名及序列化交易。以及当节点接收到交易后，如何验证、EVM 如何执行对应的 Solidity 字节码，如何退还 GAS 等。 值得所有开发者们仔细阅读。
EVM  Solidity 

Gambit：用于形式验证的Solidity突变测试工具

这篇文章讨论了如何在自动化验证的背景下应用突变测试，介绍了一个名为Gambit的开源突变生成器，该工具用于增强Solidity智能合约的测试，并与Certora Prover工具集成。文章深入探讨了突变测试在提高正式规范质量和识别安全漏洞方面的重要性，并提供了视觉化结果的相关信息，展示了突变检测的效果和改进方向。
突变测试  Solidity  智能合约  自动化验证  Certora Prover  开源 

Hardhat 开发框架 - Solidity开发教程连载

Decert.me 连载教程 《Solidity开发教程》 -- 工具篇
Hardhat  DeCert 
  • DeCert.me
  • 发布于 2023-05-11
  • 阅读 ( 5992 )
  • ( 116 )

DappReaderV2合约可视化工具2.0版开源啦

DappReader是一款集成管理智能合约,快速团队联调工具,现已开源
开源  工具 

Chaintool ABI 可视化调用工具介绍

Chaintool ABI可视化调用工具（英文称为ABICaller）会自动根据ABI生成可调用按钮， 极大方便智能合约开发者。
ChainTool  ABI 
  • ChainTool
  • 发布于 2023-04-25
  • 阅读 ( 5442 )
  • ( 24 )

ChainTool - 区块链开发者的工具箱 上线了

https://chaintool.tech 给区块链开发者准备工具箱
ChainTool 
  • ChainTool
  • 发布于 2023-04-24
  • 阅读 ( 4502 )
  • ( 249 )

Solidity 变异测试

文章介绍了突变测试的概念，即通过故意在代码中引入错误来检查测试套件的质量。文章详细举例说明了突变测试的应用，包括如何在Solidity代码中实施，并介绍了自动突变测试工具及其可能的结果。此外，还讨论了突变测试的重要性和局限性，并推荐了一些相关的学习资源。
突变测试  Solidity  测试套件  自动测试工具  Foundry  vertigo-rs 

Openzeppelin Ownable：请改用 Ownable2Step

文章介绍了Solidity中的`onlyOwner`修饰符及其在智能合约中的应用，特别讨论了Ownable2Step相较于Ownable的安全性改进，包括所有权转移的两步验证机制。
Solidity  onlyOwner  ownable  Ownable2Step  智能合约  OpenZeppelin 

数字货币交易所系统开发实现流程

数字货币是基于区块链技术的最典型的应用。它可以作为一种“资产”，实现货币属性、证券属性和投资属性的组合。因此，必须有一套交易和升值平台——交易所就是这样的平台。交易所平台技术架构主要考虑安全、分布式、易扩展、容错、低延迟、高并发等特点，以及熔断机制、服务注册和发现、消息服务、服务网关、安全认证、内

Solidity 测试内部函数

文章介绍了如何通过创建子合约来测试Solidity中的内部函数，并解释为什么不应将函数改为public或virtual。同时还提到了无法测试private函数的原因，并提供了相关代码示例。
Solidity  内部函数  测试  继承  public函数  virtual函数 

安全评估 - ink! & cargo-contract - OpenZeppelin 博客

OpenZeppelin 对 ink! 和 cargo-contract 进行了安全评估，未发现严重问题，但发现了两个高危问题，Parity 团队正在解决。
智能合约  安全性评估  ink!  cargo-contract  Solidity  漏洞 

Uint256 最大值

本文深入探讨了Solidity中的uint256最大值的获取方式，包括使用内置类型、数学公式和一些不推荐的hack方法。作者指出，使用`type(uint256).max`是最干净且安全的做法，并对最大值的大小进行透彻的解释和可视化。具有明确的逻辑和结构，适合Solidity开发者阅读。
Solidity  uint256  最大值  数学  EVM  编程技巧 

使用Automation、Gelato和Defender 进行合约自动化执行

ChainLink Automation、Gelato Network 和OpenZeppelin Defender 三个自动化合约执行工具对比。
Chainlink  Gelato  智能合约 

Solidity 事件

文章详细介绍了 Solidity 事件的工作原理、最佳实践以及如何在以太坊中使用事件来快速检索交易信息。还提供了多个代码示例，解释了如何监听 ERC20 转账事件以及如何过滤特定地址的事件。文章还深入讨论了事件的存储机制、索引参数的选择以及事件的燃气成本。
Solidity事件  ERC20  以太坊  索引参数  燃气成本  日志 

代理合约

代理的核心逻辑contractProxy{addresspublicimplement;constructor(addressimpl){implement=impl;}fallback()externalpayab
代理合约 

Gambit：一种用于形式验证的Solidity变异测试工具

本文介绍了变异测试在自动化验证中的应用，重点介绍了一种名为Gambit的开源变异生成器，用于针对Solidity语言进行变异，并与Certora Prover集成以验证智能合约的规范。通过生成故障版本程序，Gambit能够评估现有测试套件的有效性，并帮助识别和改进潜在的规范缺陷，从而提高智能合约的安全性和可靠性。
变异测试  自动化验证  Solidity  智能合约  Certora Prover  Gambit 
  • Certora
  • 发布于 2023-03-30
  • 阅读 ( 342 )

函数选择器冲突

函数选择器冲突在代理模式中,如果方法不加以校验可能会出现安全漏洞.
代理合约 

批量编译智能合约过程记录

这两天的区块链研究我的任务是要把大约五万个智能合约的源码编译成字节码的形式,并且提取智能合约中所用到的公开库,过程中遇到了一些困难,当然也是有收获的,所以在这个任务做完之后,写了这篇文章记录一下
EVM字节码 
  • oacia
  • 发布于 2023-03-20
  • 阅读 ( 2873 )
  • ( 17 )

分析0xSplits - 收入拆分协议

0xSplits 是一个收入拆分协议，为低 Gas 实现收入拆分提供了很好的实现思路。
Gas  协议 

ChatGPT能审计智能合约吗？

文章讨论了GPT-4在智能合约审计中的局限性，特别是在识别关键漏洞方面的失败。通过实例合约展示了函数中的输入验证缺失，以及GPT-4未能检测到这一漏洞的实验结果，强调了对重要金融代码的审计仍然需要人类专家的参与。
智能合约  审计  GPT-4  关键漏洞  输入验证 
  • zellic
  • 发布于 2023-03-19
  • 阅读 ( 285 )