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

智能合约的形式化

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

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

tags:智能合约

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

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

tags:区块链应用

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

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

tags:DAO

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

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

tags:智能合约,闪电网络

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

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

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

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

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

tags:以太坊,BitNation

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

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

tags:以太坊

8. 内华达州参议院拟阻止当地政府征收区块链交易税

...立法规定包括:   地方政府不得:(a)对任何个人或实体使用区块链或智能合约征收任何税费;(b)要求任何个人或实体从当地政府获取任何证书、许可证;(c)强制任何个人或实体使用区块链或智能合约的其他要求。   然而,该法案的影响并不仅限于这些条款所带来的潜在经济成本。   Kieckhef...

tags:区块链交易税

9. 采访报告: 区块链智能合约游戏创始人Jason Colby

...将到来的ICO中为他的个人的商业构想筹资, 他分析了为什么一个去中心化的智能合约游戏需要通过这些手段筹集资金, 阐述了区块链的发展状态, 并特别地指出以太坊相关应用的发展将在短期内占据领先地位.   随着针对初创科技的投资资金量的减少, vDice.io的这次ICO, 看起来似乎是在荒野西部中进行...

tags:区块链智能合约游戏

10. 详解Ripple新概念“智能神谕”,更先进的智能合约(合同)系统

  Ripple实验室很欣喜地宣布智能神谕(Smart Oracles)的发布。智能神谕这本白皮书介绍了一种全新、简单、而又灵活的实现智能合同(smart contracts)的方案。   在这样一个系统里,可以用任何编程语言撰写规则,任何接受加密签署指令的服务之间都可以通过合同交易。这本白皮书同样包含了智能...

tags:Ripple,智能神谕,智能合同,智能合约