Solidity文章 - 第28页

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

https://chaintool.tech 给区块链开发者准备工具箱

ChainTool

ChainTool
发布于 2023-04-24
阅读 ( 4202 )
( 249 )

Solidity 变异测试

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

突变测试 Solidity 测试套件自动测试工具 Foundry vertigo-rs

RareSkills
发布于 2023-04-16
阅读 ( 187 )

Openzeppelin Ownable：请改用 Ownable2Step

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

Solidity onlyOwner ownable Ownable2Step 智能合约 OpenZeppelin

RareSkills
发布于 2023-04-10
阅读 ( 151 )

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

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

V/TG[CH3NGUANG]
发布于 2023-04-10
阅读 ( 2052 )

Solidity 测试内部函数

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

Solidity 内部函数测试继承 public函数 virtual函数

RareSkills
发布于 2023-04-08
阅读 ( 183 )

Uint256 最大值

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

Solidity uint256 最大值数学 EVM 编程技巧

RareSkills
发布于 2023-04-04
阅读 ( 226 )

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

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

Chainlink Gelato 智能合约

翻译小组
发布于 2023-04-04
阅读 ( 4364 )
( 75 )

Solidity 事件

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

Solidity事件 ERC20 以太坊索引参数燃气成本日志

RareSkills
发布于 2023-04-03
阅读 ( 216 )

代理合约

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

代理合约

打野工程师
发布于 2023-03-30
阅读 ( 2347 )
( 2 )

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

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

变异测试自动化验证 Solidity 智能合约 Certora Prover Gambit