...云南创新研究院余维 胡 凯性能问题一直是困扰区块链领域的大问题,其中智能合约性能是整个区块链性能的瓶颈之一,智能合约在1994年由尼克萨博首次提出,但受到合约代码执行环境的影响,很难应用到现实生活中。区块链技术为智能合约提供了一个良好的执行环境,保证了合约的正确性以及强制执...
知识:智能合约,合约,以太坊,智能合约模型
智能合约是区块链能够被称为颠覆性技术的主要原因之一,没有智能合约的区块链系统无法在商用领域中灵活开展业务。本文选自《商用区块链技术与实践》带你快速了解这一项关键技术。智能合约让事先制定的规则被公开、公正、安全的执行,不会被恶意篡改。智能合约的概念早在1994年便提出,但由...
知识:智能合约,合约,区块链系统,在区块链
...成部分,第二篇讲述如何将DeltaDB设计为共识层上的底层数据存储。 Qtum-x86智能合约创建过程 Qtum-x86虚拟机与以太坊EVM最大的区别之一就是智能合约实现过程。一般来说,智能合约开发人员会使用Remix,甚至用solc来进行开发工作,以便将合约编译成字节码。在EVM合约中,发送到区块链的字节码就是从“0...
知识:合约,区块链,以太坊
作者:?胡凯编者注:原标题为《智能合约系列2:智能合约工程 SCE:Smart Contract Engineering》 合约是经济社会运行的基石之一。合约确定了多方交易的时间、期限、地点和内容等,使得合约参与的多方可以在信任或不信任的条件下执行合约协议,保证交易活动的正常和有序运行。合约通常在法律上是具有...
知识:智能合约
智能合约让事先制定的规则被公开、公正、安全的执行,不会被恶意篡改。智能合约的概念早在1994年便提出,但由于当时缺少可信任的执行环境和系统,智能合约并没有被应用到实际产业中。在2009年比特币诞生之时,比特币的交易中带有简单、可执行的脚本,并可以执行简单的逻辑。人们逐渐意识到...
知识:合约,智能合约,区块链系统,区块链技术
区块链与人工智能的结合会产生什么样的化学反应?AI 智能合约、AI DApp 将给去中心化世界带来前所未有的能力。智能合约将可以处理更多样、更模糊的输入,并给出更智能的输出。公链项目 Cortex 正在尝试链上 AI 推断、在智能合约里引入人工智能,以此来改变人工智能模型被大公司垄断的格局。</blockq...
知识:CORTEX,人工智能,公链
人工智能和区块链是近几年的两大风口,一些顶尖技术团队试图为两者的结合找到可行方案,并在未来的技术生态中占据战略要地。作为第一个真正实现链上 AI 推断、在智能合约里引入人工智能的公链,Cortex 不仅想要扩展智能合约的功能,也在努力改变人工智能模型被大公司垄断的局面。尽管区块链...
知识:智能合约,区块链,链上,以太坊的
...,政府和银行部门中的大多数组织已开始采用这种一流的技术。以下将探讨智能合约在市场上创建区块链应用的重要性和需求。什么是智能合约?智能合约是一种计算机软件,它直接控制买卖双方之间数字货币的转移,并由买卖双方商定一套规则。它的工作方式与传统合同类似,但会自动执行。这些数字...
知识:智能合约,区块链平台,以太坊,区块链应用
...航空航天大学云南创新研究院周楚涵 胡 凯形式化验证(Formal Verification)是智能合约工程的重要环节,它可以成为对合约进行确定性验证的一种技术,通过形式化语言把合约中的概念、判断、推理转化成智能合约模型,可以消除自然语言的歧义性、不通用性,进而采用形式化工具对智能合约建模、分析...
知识:合约,智能合约,公链,智能合约模型
...,政府和银行部门中的大多数组织已开始采用这种一流的技术。以下将探讨智能合约在市场上创建区块链应用的重要性和需求。什么是智能合约?智能合约是一种计算机软件,它直接控制买卖双方之间数字货币的转移,并由买卖双方商定一套规则。它的工作方式与传统合同类似,但会自动执行。这些数字...
知识:ICO,智能合约,以太坊,交易,比特币
...匿名群聊,来将玩家汇集起来提高用户的归属感和忠诚度。相比于其他支持智能合约的公链,VDS更像是一个支持所有人加入的小群落,其拥有更高粘性的用户群体,也有可以精准投放广告全网广播平台,所以VDS的生态结构在一定程度上,可以提高其链上DApp的使用人数。关于VDS共识执行合约及上链过程:...
知识:合约,以太坊,公链,智能合约
北京航空航天大学分布式实验室 北航云南创新研究院 白晓敏,段张博在智能合约的形式化验证过程中,总是需要专业的编程人员对不同模板的智能合约进行特征分析、模型建立和模型验证。然而,未来使用智能合约的必然不会全都是会编写模型的人员,因此,我们在智能合约和模型检测技术原理的基...
知识:合约,智能合约,智能合约模型,模型
由于当前智能合约多为串行执行和串行验证,导致性能一般,无法满足业务需求。百度XuperChain提出了一种新的区块链数据模型:XuperModel。基于这样的底层数据模型,XuperChain可以使用多核计算能力来同时执行和验证智能合约,大大提升效率。 摘要 近年来,区块链技术不仅仅在加密货币交易,而且在存...
知识:合约,区块链,比特币
智能合约与传统的纸质合约类似,只是用计算机语言来描述,通过计算机执行,可以在没有第三方信任的情况下进行可信的合约触发和执行。目前智能合约主要是基于区块链技术来实现,因为区块链可以提供一个去中心化的可信环境,智能合约天然地与区块链相契合。但这并不是说智能合约仅能够通过...
知识:区块链,智能合约
智能合约与传统的纸质合约类似,只是用计算机语言来描述,通过计算机执行,可以在没有第三方信任的情况下进行可信的合约触发和执行。目前智能合约主要是基于区块链技术来实现,因为区块链可以提供一个去中心化的可信环境,智能合约天然地与区块链相契合。但这并不是说智能合约仅能够通过...
知识:区块链,智能合约