LOADING...
LOADING...
LOADING...
当前位置:主页 > 知识列表 >

智能合约的形式化

1. 什么是智能合约?智能合约解析

... 我建议下面这个普遍的合约模型:   Agreement:协定; Formalization:形式化 ;Execution/Enforcement:执行   如果这个模型应用到智能合约和法律意义上的合约中,让我们看看它怎么起作用。   协定   协定是一个完全的理想情况,从它在正式系统中的实施中抽象而来。当然,事实上这...

tags:智能合约

2. 以太坊钱包爆漏洞,比特币却从无类似问题

...、专家评审等。对逻辑复杂且涉及较大资金的智能合约,要尽可能通过代码形式化验证,通过数学证明的方式验证智能合约的确定性。   3、强化对智能合约程序员的培训。   虽然智能合约编程语言表面上看与传统的编程语言极其相似,但其属于一个全新的编程范式,思维方式也与传统的面...

tags:以太坊钱包漏洞

3. 英国智能合约试点 旨在解决慈善行业信用危机

...ce最近宣布,将针对区块链慈善基金测试一个试点方案。   该平台使用智能合约向慈善机构支付善款,以证明其达到特殊目标。当前这个概念正在伦敦流浪人支助组织St Mungo’s中测试。   Alice表示在这个领域里非常需要区块链技术,很多捐献者都不再那么信任我们,他们很难知道捐助款项...

tags:智能合约

4. 李赫:从歪曲的比特币谈区块链应用及误区

...行业知识不足,二是对区块链技术产生误解和夸大,同样的问题也存在于对智能合约的理解上面。   (一)智能合约到底是什么?   智能合约又叫智能合同,在很多文章中,都有对其的描述,比如数字承诺、自动化智能、自金融、代码即法律等等,说法丰富多彩,但最后的结果是导致很多初...

tags:区块链应用

5. 财富:无领导的区块链项目DAO已众筹1亿美元,数字还在增长中

...经开始正式使用区块链技术,探索区块链技术如何用于安全的财务转账以及智能合约中,从而通过云服务代码执行金融合约。区块链声称比现今的金融基础设施更加安全,而现今的金融基础设施近年来常被诟病。   DAO从根本上说是一个大型复杂的智能合约,类似于风险投资资本。它用自己的投票...

tags:DAO

6. 佛罗里达州新法案将承认区块链数据和的智能合约的法律地位

...一位立法者提出了一项法案,如果法案通过,将为美国各州区块链数据和的智能合约的使用奠定法律基础。   众议院法案1357引入了多项规定,即区块链账本技术和智能合约被视为具有法律约束力的数据存储方法前提是这些技术的使用不违反任何已存在的法律或法规。   值得注意的是,该法...

tags:区块链数据

7. 2017:比特币智能合约真正发力

  智能合约成为贯穿2016年的一大热点。投资者、银行、大型金融机构等各方在积极探索基于以太坊等的智能合约协议,致力于研发出去中心化的创新应用。   然而,就连以太坊这个估值9.3亿美元的网络都无法研发出现实用例,目前仍无法实现智能合约的真正商业化。由于以太坊网络对灵...

tags:智能合约,闪电网络

8. 小蚁区块链推出智能基金Nest 悬赏百万邀请全球黑客攻击

  3月2日下午,小蚁区块链在上海发布智能基金Nest项目,该项目是基于小蚁区块链的智能基金项目,通过小蚁的智能合约实现,现在Nest官方网站www.nestfund.io已经上线。与此同时, 氦氪CEO、小蚁统筹陶荣祺作为该项目的发起人宣布,将悬赏100万股小蚁股(约合人民币80万元),邀请全球黑客来攻击Nest。...

tags:小蚁区块链,小蚁智能基金Nest

9. 智能合约协议MAST离比特币主网又近了一步

  译者:玩币族ElaineHu   很久前提出的一项将更智能的合约引入比特币主网的计划,距离实现又近了一步。   开发人员已经提交了一份关于MAST(Merkelized Abstract Syntax Trees )的申请。这是首次智能合约改进协议MAST请求集成到比特币主网代码中。   MAST实现了P2SH和MERKLE-BRANCH-VERIFY相结...

tags:比特币主网,智能合约协议MAST

10. BitNation在以太坊区块链上发布世界首个虚拟国家宪法

...术应用到公民管理问题上的系统,非常有趣。最近,BitNation宣布使用以太坊智能合约编写了140行代码,建立了世界上第一个虚拟的无国界、去中心化的自治国家宪法。   自治2.0平台Bitnation(比特国)使用以太坊(Ethereum)的智能合约编写了140行代码,创建了世界上第一个虚拟的无国界、去中心化的自...

tags:以太坊,BitNation