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…

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

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

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

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

我的项目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…

函数修饰符 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…

一个存储区的地址应该是它自身大小的整数倍(双精度浮点类型存储区的地址只需要是4的整数倍),这个规则叫数据对齐,结构体内部的存储区通常也需要遵守数据对齐的规则,数据对齐有可能导致结构体相邻子存储区之间有空隙 /* * 数据对齐和补齐演示 * */ #include <stdio.h> typedef struct { char buf[2]; int num; } tmp; typedef struct { char ch1; int num; char ch2; } tmp1; int mai…

union Student {   int age;   char *name; } stu;   union只按照最长的数据成员分配控件,适用于有N个数据不会同时出现的情况,用以压缩空间.…

单位和全局变量 Ether Units: wei, finney, szabo, ether Time Units: 1 == 1 seconds 1 minutes == 60 seconds 1 hours == 60 minutes 1 days == 24 hours 1 weeks == 7 days 1 years == 365 days function f(uint start, uint daysAfter) public { if (now >= start + daysAf…

这是Solidity教程系列文章第7篇介绍以太单位及时间单位,系列带你全面深入理解Solidity语言. 写在前面 Solidity 是以太坊智能合约编程语言,阅读本文前,你应该对以太坊.智能合约有所了解,如果你还不了解,建议你先看以太坊是什么 欢迎订阅区块链技术专栏阅读更全面的分析文章. 货币单位(Ether Units) 一个数字常量(字面量)后面跟随一个后缀wei, finney,szabo或ether,这个后缀就是货币单位.不同的单位可以转换.不含任何后缀的默认单位是wei.不同的以太币…

暂时看到篇文章写的不错,先收集下来,后面有机会自己也整理一个 Solidity语言学习(一)Solidity语言学习(二)——Solidity的安装与编译Solidity语言学习(三)——智能合约编程案例一投票系统Solidity语言学习(四)——智能合约的结构 似乎还缺少合约继承的东西? 继承(Inheritance) 还缺少合约升级? web3.js介绍 web3.js入门web3与智能合约的交互 solidity中constant.view和pure三个修饰函数的关键词的作用: view和…

0x00 前言 Solidity(http://solidity.readthedocs.io/en/v0.4.24/) 是一种用与编写以太坊智能合约的高级语言,语法类似于 JavaScript. Solidity 编写的智能合约可被编译成为字节码在以太坊虚拟机上运行.Solidity 中的合约与面向对象编程语言中的类(Class)非常类似,在一个合约中同样可以声明:状态变量.函数.事件等.同时,一个合约可以调用/继承另外一个合约. 在 Solidity 中提供了 call.delegateca…

智能合约开发用solidity编程语言部署在以太坊这个区块链平台,本文提供一个官方实战示例快速入门,用例子深入浅出智能合约开发,体会以太坊构建去中心化可信交易技术魅力.智能合约其实是"执行合约条款的计算机交易协议".区块链上的所有用户都可以看到基于区块链的智能合约. 维基上说智能合约(英语:Smart contract )是一种旨在以信息化方式传播.验证或执行合同的计算机协议.智能合约允许在没有第三方的情况下进行可信交易.这些交易可追踪且不可逆转.智能合约概念于1994年由Nick S…

string string类型不可以直接通过length读取字符串长度,也不可以直接通过下标直接访问数据元素 使用的方法是:强制类型转换为bytes 其中," " 和‘ ’都可以表示 pragma solidity ^0.4.0; contract first{ string public str = 'hello world'; function getstr() returns(uint){ return bytes(str).length; } function changest…

合约中一般会有多种针对不同数据的操作:例如对于存证内容的增加.更新及查询,若不进行一套符合要求的权限控制,事实上整个合约在真实环境下是没有多少使用价值的.那么应当如何对合约的权限进行划分?我们针对Solidity语言来寻找其对应的解决方案. 一.通过地址标记解决方案 传统的数据库方式是将不同的接口进行区分标记,同时将不同角色所拥有的不同接口权限进行标记,存入数据库当中.Solidity由于本身语法能力限制不能实现较为复杂的功能.类似于Linux文件系统的操作权限,我们可以使用0和1来区分当前角色…

12.1 gcc:GNU项目的C和C++编译器 12.2 gdberver:为GNU调试的远程服务器 12.3 cmake:跨平台的Makefile生成工具 12.4 indent:更改通过插入或删除空格的C程序外观 12.5 protoize:自动添加函数原型 12.6 unproteize:自动删除函数原型 12.7 gcov:显示代码覆盖信息 12.8 find2perl:转换找到的命令行为Perl代码 12.9 ad:便携式GNU汇编程序 12.10 php:PHP命令行界面 12.11…