Solidity

开始在以太坊上编写智能合约 Solidity[3]是用于开发以太坊智能合约的最受欢迎的语言之一，因此，作为一个想要成为区块链开发人员的人，我决定学习如何使用 Solidity 开发…

Web3 Labs的目标之一是使以太坊上的开发尽可能简单。在过去的三年中，我们看到许多团队（包括我们自己）在Web3j之上一次又一次地编写RESTful服务，以便为他们的服务器应用…

1. 概述 欢迎来到Buidler的初学者指南，看看如何基于Buidler进行以太坊合约和dApp开发。 Buidler是一个方便在以太坊上进行构建的任务运行器。使用它可以帮助开发…

Builder EVM 是一个用于本地开发的以太坊网络，提供了更好的堆栈跟踪功能和console.log() 输出日志。 Build EVM 及 console.log 在以太坊上…

本文讨论如何使用值数组（Value Array）模式减少Solidity的高gas损耗问题。 背景 在Datona Labs的Solidity智能数据访问合约（S-DAC）模板的开…

众所周知，Solidity库不能有状态变量。 如果今天你在网上快速搜索一下Solidity库是否可以有状态变量，你会发现答案是否定的，它们不能。 以下是关于库的Solidity文档…

背景 我们Datona Labs在开发和测试Solidity数据访问合约（S-DAC：Smart-Data-Access-Contract）模板过程中，经常需要使用只有很小数值的小…

由于所有已部署合约都有 24KB 的硬限制，所以除了少数极其简单的应用程序外，其他所有的 Ethereum 应用都是由多个智能合约组成的。 如何才能确保各智能合约间的安全协作呢？ …

SMTChecker当前模型检查引擎是安全但还不是很完整的。这意味着报告为安全的断言和其他验证目标应该是安全的 – 除非SMTChecker或后端解算器中存在bug-但…

在本文中，我将描述如何使用称为目标模式的东西来模块化智能合约。使用标准的solidity，您将学习如何使用abi.encodeSelector和target.call（data）重…