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

智能合约的形式化

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

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

tags:智能合约

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

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

tags:区块链应用

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

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

tags:DAO

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

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

tags:智能合约,闪电网络

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

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

tags:以太坊,BitNation

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

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

tags:以太坊

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

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

tags:区块链智能合约游戏

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

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

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

9. 以太坊区块链:建造任何你想要的东西

...方案非常兴奋。   去中心化自主组织   由于能够选择使用自动化智能合约,大多数人都对以太坊具有强烈的兴趣。然而,这些智能合约并不是完全自主的,而是某种程度上的自主。以太坊生态系统对于使用智能合约的生物体,机器人或者任何其他的物种来说都没有任何偏见,它只是正常地一...

tags:以太坊区块链

10. 有关ETC发展路线图的一些想法和建议

...的股权为平台的未来作出有意义的决定。   几个VCU研究员提出了一种形式化混合,我相信可以作为这方面努力的基础。对于POW的有效性,Permacoin和Spacemint提出的提案具有一些优点,他们在共识的背景下开启了一种去中心化存储的对话。DApp应该增加复杂性和存储要求,从而推进去中心化数据库和网...

tags:ETC