smart contracts
先来一段合约代码:
// MetaCoin.sol 用于账户转账的智能合约应用
contract MetaCoin {
mapping (address => uint) balances;
function MetaCoin() {
balances[tx.origin] = 10000;
}
function sendCoin(address receiver, uint amount) returns(bool sufficient) {
if (balances[msg.sender] < amount) return false;
balances[msg.sender] -= amount;
balances[receiver] += amount;
return true;
}
function getBalance(address addr) returns(uint) {
return balances[addr];
}
}
smart contracts相关推荐
- Reversing Ethereum Smart Contracts: Part 2
In my previous tutorial, we began reversing engineering the Greeter.sol contract. Specifically, we l ...
- Part 2 — Making Sense of Smart Contracts
The term "smart contract" has no clear and settled definition. The idea has long been hype ...
- Understanding Ethereum Smart Contracts
You might have heard the term "smart contract," and you might even know that they are &quo ...
- How to Secure Your Smart Contracts: 6 Solidity Vulnerabilities and how to avoid them (Part 2)
While Part 1 discussed some more high profile or obvious vulnerabilities, this post will be about vu ...
- How to Secure Your Smart Contracts: 6 Solidity Vulnerabilities and how to avoid them (Part 1)
In a previous post we discussed the future of Ethereum's scalability by analyzing the concepts prese ...
- Plasma: Scalable Autonomous Smart Contracts 翻译
Plasma 可扩容的智能合约 摘要 Plasma is a proposed framework for incentivized and enforced execution of smart c ...
- 阅读论文Formal verification of smart contracts based on users and blockchain behaviors models
1 题目(Formal verification of smart contracts based on users and blockchain behaviors models) 1.1 作者.出 ...
- (ASE2018)ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection 解析
(ASE2018)ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection 解析 前言 一 摘要及主要贡献 摘要 贡献 二 ...
- ETHBMC: A Bounded Model Checker for Smart Contracts
ETHBMC: A Bounded Model Checker for Smart Contracts 论文链接:https://www.usenix.org/conference/usenixsec ...
- Formal Verification of Smart Contracts Short Paper
Formal Verification of Smart Contracts: Short Paper ABSTRACT 提出将使用F*框架用于编写代码 1. INTRODUCTION 本文目的:通过 ...
最新文章
- vue下实现textarea类似密码框的功能之探索input输入框keyup,keydown,input事件的触发顺序...
- Linux man命令后的参数释义
- jcaptcha maven
- 墨天轮2022年新春发布会暨年度数据库颁奖盛典即将开启!
- Android 系统(186)---最易懂的Android屏幕适配解决方案--总结版
- ACM-尼姆博弈之取(m堆)石子游戏——hdu2176
- React Native布局
- Realsense安装使用过程问题汇总
- PHP拼接唯一索引,合并两个数组数据
- 集成Cortex-M0内核-- Integration and Implementation Manual手册学习
- Spring MVC 接口返回406错误
- yocto之相关class总结
- 实战 Mantle 解析界面app 科技频道
- Emulator: emulator: WARNING: EmulatorService.cpp:448: Cannot find certfile: C:\Users\zhuangqingze\.a
- Unity3D入门(三):游戏场景制作 3D 模型基础
- c语言10迷宫,C语言实现走迷宫
- 令人耳目一新的人类进化,读《人类简史》有感
- 王道数据结构3.2.5——1、循环队列中设置tag区分头指针front和队尾指针rear相等时队列的状态是空还是满
- java在线运行工具,终于搞明白了
- 单链表的头尾插法详解