solidity语言介绍以及开发环境准备   Solidity 是一门面向合约的.为实现智能合约而创建的高级编程语言.这门语言受到了 C++,Python 和 Javascript 语言的影响,设计的目的是能在以太坊虚拟机(EVM)上运行. Solidity 是静态类型语言,支持继承.库和复杂的用户定义类型等特性. 它的语法接近于Javascript,是一种面向对象的语言.但作为一种真正意义上运行在网络上的去中心合约,它又有很多的不同,下面列举一些: 以太坊底层是基于帐户,而非UTXO的,所以有

智能合约开发是以太坊编程的核心之一,而代币是区块链应用的关键环节,下面我们来用solidity语言开发一个代币合约的实例,希望对大家有帮助. 以太坊的应用被称为去中心化应用(DApp),DApp的开发主要包括两大部分: 智能合约的开发 用户界面的开发 在本文中,我们将介绍智能合约的开发语言solidity. 让我们先从一个非常基础的例子开始,不用担心你现在还一点都不了解,我们将逐步了解到更多的细节. contract SimpleStorage { uint storedData; functi

智能合约是以太坊的核心之一,用户可以利用智能合约实现更灵活的代币以及其他DApp.不过在深入讲解如何开发智能合约之前,需要先介绍一下以太坊中用于开发智能合约的Solidity语言,以及相关的开发和测试环境. 智能合约就是运行在以太坊上的程序.客户端可以通过Web3.js API调用智能合约,而智能合约本身又可以直接访问以太坊网络,也就是说,智能合约前面连接着客户端,后面连接着以太坊网络,起到了承前启后的作用,而且通过智能合约,可以让整个以太坊网络更灵活,可控性更强.其实智能合约的作用相当于微软O

Solidity 是一门面向合约的.为实现智能合约而创建的高级编程语言.这门语言受到了 C++,Python 和 Javascript 语言的影响,设计的目的是能在 以太坊虚拟机(EVM) 上运行. Solidity 是静态类型语言,支持继承.库和复杂的用户定义类型等特性. 在部署合约时,应该尽量使用最新版本,因为新版本会有一些重大的新特性以及bug修复. 如果你才接触智能合约概念,推荐从一些 简单的Solidity合约例子开始,当你想开始尝试了解更多的细节,可以 学习 合约样例 和 深入理解S

我的项目rvtool(https://github.com/Zeraka/rvtool)中增加了生成solidity语言格式的监控器的模块. solidity特殊之处在于,它是运行在以太坊虚拟机环境中的.EVM和环境是隔离的,因此无法直接读取文件.所以rvtool中通过读取LTL文本生成监控器的方式无法直接照搬到solidity上面.rvtool中建立了表达自动机监控器的数据结构,对该数据结构的赋值是通过几个循环结构完成的.而这个部分无法在solidity代码中表达.将LTL转化为buchi自动

1. 类型只能从第一次赋值中推断出来,因此以下代码中的循环是无限的,  小. for (var i = 0; i < 2000; i++) { ... } --- Solidity Types - 整型(Integer) 无符号整型(uint)是计算机编程中的一种数值资料型别.有符号整型(int)可以表示任何规定范围内的整数,无符号整型只能表示非负数(0及正数). 有符号整型能够表示负数的代价是其能够存储正数的范围的缩小,因为其约一半的数值范围要用来表示负数.如:uint8的存储范围为0 ~ 2

IDE:Atom 插件:autocomplete-solidity 代码自动补齐   linter-solium,linter-solidity代码检查错误   language-ethereum支持solidity代码高亮 1. 合约文件结构 版本号  : import 合约 :contract pragma solidity ^0.4.0; import "solidity_for_import.sol"; // this is a test contract contract T

库(Libraries) 库类似合约,实现仅在专门地址部署一次,使用EVM的DELEGATECALL的功能重复使用的目的.意思是当库函数被调用后,代码执行在被调用的合约的环境.例如,使用this调用合约,可以访问的调用合约的storage.孤立的库代码仅能访问变量,不能修改变量 pragma solidity ^0.4.16; library Set { struct Data { mapping(uint => bool) flags; } function insert(Data stora

函数过载 合约内允许定义同名函数,但是输入参数不一致 pragma solidity ^0.4.17; contract A { function f(uint _in) public pure returns (uint out) { out = 1; } function f(uint _in, bytes32 _key) public pure returns (uint out) { out = 2; } } pragma solidity ^0.4.16; contract A { f

View Functions 函数声明为视图,将无权修改状态 pragma solidity ^0.4.16; contract C { function f(uint a, uint b) public view returns (uint) { return a * (b + 42) + now; } } 以下操作属违规操作 1. Writing to state variables. 2. Emitting events. 3. Creating other contracts. 4. U

函数修饰符 pragma solidity ^0.4.11; contract owned { address owner; // 构造函数 function owned() public { owner = msg.sender; } // 此合约定义的函数修饰符不使用,用于衍生的合约 modifier onlyOwner { require(msg.sender == owner); _; // 引用的函数体部分 } } contract mortal is owned { function

pragma solidity ^0.4.16; contract OwnedToken { // TokenCreator是个合约类型,由后面部分定义.只要不用于创建新合约,引用它就好 TokenCreator creator; address owner; bytes32 name; // 构造函数,用于指定创建者和名字 function OwnedToken(bytes32 _name) public { owner = msg.sender; creator = TokenCreator

输入参数 pragma solidity ^0.4.16; contract Simple { function taker(uint _a, uint _b) public pure { // do something with _a and _b. } } 输出参数 pragma solidity ^0.4.16; contract Simple { function arithmetics(uint _a, uint _b) public pure returns (uint o_sum,

输入参数 pragma solidity ^0.4.16; contract Simple { function taker(uint _a, uint _b) public pure { // do something with _a and _b. } } 输出参数 pragma solidity ^0.4.16; contract Simple { function arithmetics(uint _a, uint _b) public pure returns (uint o_sum,

映射 可以认为是哈希,格式 mapping(_KeyType => _ValueType) pragma solidity ^0.4.0; contract MappingExample { mapping(address => uint) public balances; function update(uint newBalance) public { balances[msg.sender] = newBalance; } } contract MappingUser { functio

结构体 pragma solidity ^0.4.11; // 众筹合约 contract CrowdFunding { // 投资者 struct Funder { address addr; uint amount; } // 活动 struct Campaign { address beneficiary; uint fundingGoal; uint numFunders; uint amount; mapping (uint => Funder) funders; } uint num

引用类型(Reference Types) memory 不支持持久保存 storage 保留为变量 复杂类型如arrays和structs,有附加信息,'data location',提示存储在'memory'或者'storage'.函数参数默认使用memory,本地变量默认使用storage. pragma solidity ^0.4.17; contract C { uint[] x; // 存储在storage function f(uint[] memoryArray) public

#函数类型(function type) function (<parameter types>) {internal|external(public)} [pure|constant|view|payable] [returns (<return types>)] 有内部类型(internal)与外部(external)两种类型,如不提示关键字,默认是 internal.内部函数仅当前合约可以调用,外部函数由地址和函数签名组成,它们能传递和调用后返回结果. 合约中访问函数有2种方

变量类型(Value Types) # 布尔型 关键字 bool 值 true , false 操作符 !, &&, ||, ==, != # 整型 关键字 int(int256), uint(uint256), uint8 ~ uint256(以8单位步进), int8 ~ int256 (以8单位步进) 比较操作符 <=, <, ==, !=, >, >= 算术操作符 +,-,unary -,unary +,*,/,%,**,<<,>>

合约(contract)由变量(variable).函数(functions).函数修饰符(function modifiers).事件(events).结构体类型(struct type).枚举类型(enum type)组成. pragma solidity ^0.4.0; contract SimpleStorage { uint storedData; // 变量 // ... } pragma solidity ^0.4.0; contract SimpleAuction { funct