LOADING...
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. 2017:比特币智能合约真正发力

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

tags:智能合约,闪电网络

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

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

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

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

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

tags:以太坊,BitNation

9. 以太坊被用于全新智能合约区块链系统

...文:玩币族Wendy   公共区块链平台以太坊正被一款基于区块链技术的新智能合约系统使用,以帮助工人们获得服务并为各方提供安全保障。这个系统被寄予希望在未来能提高IFTTT业务并处理更复杂合约。   MVP数字合约平台由数字设计公司Digital Vikings开发,用以充当交易的中介和自动化管理员...

tags:以太坊

10. John Thomas:英国需要进行立法改革以处理智能合约和区块链业务

...兰和威尔士的高级法官认为,英国法律可能需要更新才能解决基于区块链的智能合约的相关问题。   John Thomas 是英格兰和威尔士的首席大法官,实际上也是整个英国的最高级法官。   上个月晚些时候,John Thomas在英国法律委员会(U.K. Law Commission)每两年举办的一次讲座活动中发表了讲话。该委...

tags:智能合约和区块链