众筹区块链上的智能合约设计

被引：41

作者：

黄洁华 ^{[1
]}

高灵超 ^{[2
]}

许玉壮 ^{[1
]}

白晓敏 ^{[1
]}

胡凯 ^{[1
]}

机构：

[1] 北京航空航天大学计算机学院

[2] 北京中电普华信息技术有限公司

来源：

信息安全研究 | 2017年 / 3卷 / 03期

关键词：

智能合约; 区块链; 众筹; 众筹区块链; 私有区块链;

D O I：

暂无

中图分类号：

F724.6 [电子贸易、网上贸易]; F832 [中国金融、银行]; TP311.13 [];

学科分类号：

1201 ;

摘要：

P2P众筹是一种基于互联网金融技术的热点模式,目前的众筹平台还存在公信力不足、无法监管等问题,新兴的区块链和智能合约技术提供了解决问题的新技术途径.区块链作为分布式账本数据库,记录了不可更改的资产数据,存储在区块链上的智能合约可以直接控制数字资产的交易,从而构造了基于智能合约的可信众筹业务计算环境,为完全数字化资产的记录和转移奠定了基础.众筹项目的规则制定成智能合约代码后,把代码与项目状态全部记录在众筹区块链(crowdfunding private blockchain,CPBC)上,并由区块链执行交易代码,这样不仅保证了众筹项目的真实性、可靠性与强制性,还使得项目的执行具有可信性,极大地提升了众筹平台的公信力,还可减少众筹业务在第三方审核上的人工花费与计算成本.给出了众筹区块链的智能合约设计,包括智能合约的执行模型和存储模型,分别给出了Java的具体实例说明.研究结果表明,众筹区块链上的智能合约设计已能够满足80%的众筹业务需求,目前已经得到了初步的应用,取得了较好效果.

引用

页码：211 / 219

页数：9

共 5 条

[1] 智能合约的形式化验证方法 [J].

胡凯 ;

白晓敏 ;

高灵超 ;

董爱强 .

信息安全研究, 2016, 2 (12) :1080-1089

[2]

OpenBazzar. https://openbazaar.org . 2017

[3]

Capability-based financial instruments. Miller M S,Morningstar C,Frantz B. Financial Cryptography . 2001

[4]

Ethereum. http://www.ethereum.org . 2017

[5]

Great chain of numbers:A guide to smart contracts,smart property and trustless asset management. Swanson T. https://s3-us-west-2.amazonaws.com/chainbook/Great+Chain+of+Numbers+A+Guide+to+Smart+Contracts,+Smart+Property+and+Trustless+Asset+Management+-+Tim+Swanson.pdf . 2014

← 1 →