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

智能合约执行过程

1. 智能合约的并行执行

...云南创新研究院余维 胡 凯性能问题一直是困扰区块链领域的大问题,其中智能合约性能是整个区块链性能的瓶颈之一,智能合约在1994年由尼克萨博首次提出,但受到合约代码执行环境的影响,很难应用到现实生活中。区块链技术为智能合约提供了一个良好的执行环境,保证了合约的正确性以及强制执...

知识:智能合约,合约,以太坊,智能合约模型

2. 一分钟秒懂——MDF智能合约

智能合约是区块链能够被称为颠覆性技术的主要原因之一,没有智能合约的区块链系统无法在商用领域中灵活开展业务。本文选自《商用区块链技术与实践》带你快速了解这一项关键技术。智能合约让事先制定的规则被公开、公正、安全的执行,不会被恶意篡改。智能合约的概念早在1994年便提出,但由...

知识:智能合约,合约,区块链系统,在区块链

3. 如何在Qtum-x86虚拟机上创建智能合约?上篇

...成部分,第二篇讲述如何将DeltaDB设计为共识层上的底层数据存储。 Qtum-x86智能合约创建过程 Qtum-x86虚拟机与以太坊EVM最大的区别之一就是智能合约实现过程。一般来说,智能合约开发人员会使用Remix,甚至用solc来进行开发工作,以便将合约编译成字节码。在EVM合约中,发送到区块链的字节码就是从“0...

知识:合约,区块链,以太坊

4. 智能合约系列 | 智能合约工程简述:Smart Contract Engineering

作者:?胡凯编者注:原标题为《智能合约系列2:智能合约工程 SCE:Smart Contract Engineering》 合约是经济社会运行的基石之一。合约确定了多方交易的时间、期限、地点和内容等,使得合约参与的多方可以在信任或不信任的条件下执行合约协议,保证交易活动的正常和有序运行。合约通常在法律上是具有...

知识:智能合约

5. 波场链|九环|MDF|BIM|NGK|MYTH|MSD|MUSO|智能合约哪个靠谱?

智能合约让事先制定的规则被公开、公正、安全的执行,不会被恶意篡改。智能合约的概念早在1994年便提出,但由于当时缺少可信任的执行环境和系统,智能合约并没有被应用到实际产业中。在2009年比特币诞生之时,比特币的交易中带有简单、可执行的脚本,并可以执行简单的逻辑。人们逐渐意识到...

知识:合约,智能合约,区块链系统,区块链技术

6. 将 AI+ 区块链概念落地的 Cortex,将如何赋能 DeFi

区块链与人工智能的结合会产生什么样的化学反应?AI 智能合约、AI DApp 将给去中心化世界带来前所未有的能力。智能合约将可以处理更多样、更模糊的输入,并给出更智能的输出。公链项目 Cortex 正在尝试链上 AI 推断、在智能合约里引入人工智能,以此来改变人工智能模型被大公司垄断的格局。</blockq...

知识:CORTEX,人工智能,公链

7. 将AI+区块链概念落地的Cortex将如何赋能DeFi

人工智能和区块链是近几年的两大风口,一些顶尖技术团队试图为两者的结合找到可行方案,并在未来的技术生态中占据战略要地。作为第一个真正实现链上 AI 推断、在智能合约里引入人工智能的公链,Cortex 不仅想要扩展智能合约的功能,也在努力改变人工智能模型被大公司垄断的局面。尽管区块链...

知识:智能合约,区块链,链上,以太坊的

8. 为什么要使用智能合约来构建区块链应用程序?

...,政府和银行部门中的大多数组织已开始采用这种一流的技术。以下将探讨智能合约在市场上创建区块链应用的重要性和需求。什么是智能合约?智能合约是一种计算机软件,它直接控制买卖双方之间数字货币的转移,并由买卖双方商定一套规则。它的工作方式与传统合同类似,但会自动执行。这些数字...

知识:智能合约,区块链平台,以太坊,区块链应用

9. 技术丨智能合约的形式化验证方法

...航空航天大学云南创新研究院周楚涵 胡 凯形式化验证(Formal Verification)是智能合约工程的重要环节,它可以成为对合约进行确定性验证的一种技术,通过形式化语言把合约中的概念、判断、推理转化成智能合约模型,可以消除自然语言的歧义性、不通用性,进而采用形式化工具对智能合约建模、分析...

知识:合约,智能合约,公链,智能合约模型

10. 万博分析为什么要使用智能合约来构建区块链应用程序?

...,政府和银行部门中的大多数组织已开始采用这种一流的技术。以下将探讨智能合约在市场上创建区块链应用的重要性和需求。什么是智能合约?智能合约是一种计算机软件,它直接控制买卖双方之间数字货币的转移,并由买卖双方商定一套规则。它的工作方式与传统合同类似,但会自动执行。这些数字...

知识:ICO,智能合约,以太坊,交易,比特币

11. 智能合约向共识执行合约的迈进之路

...匿名群聊,来将玩家汇集起来提高用户的归属感和忠诚度。相比于其他支持智能合约的公链,VDS更像是一个支持所有人加入的小群落,其拥有更高粘性的用户群体,也有可以精准投放广告全网广播平台,所以VDS的生态结构在一定程度上,可以提高其链上DApp的使用人数。关于VDS共识执行合约及上链过程:...

知识:合约,以太坊,公链,智能合约

12. 智能合约的形式化验证工具

北京航空航天大学分布式实验室 北航云南创新研究院 白晓敏,段张博在智能合约的形式化验证过程中,总是需要专业的编程人员对不同模板的智能合约进行特征分析、模型建立和模型验证。然而,未来使用智能合约的必然不会全都是会编写模型的人员,因此,我们在智能合约和模型检测技术原理的基...

知识:合约,智能合约,智能合约模型,模型

13. 百度超级链学院第三讲,揭开合约高并发的神秘面纱!

由于当前智能合约多为串行执行和串行验证,导致性能一般,无法满足业务需求。百度XuperChain提出了一种新的区块链数据模型:XuperModel。基于这样的底层数据模型,XuperChain可以使用多核计算能力来同时执行和验证智能合约,大大提升效率。 摘要 近年来,区块链技术不仅仅在加密货币交易,而且在存...

知识:合约,区块链,比特币

14. 智能合约是什么?

智能合约与传统的纸质合约类似,只是用计算机语言来描述,通过计算机执行,可以在没有第三方信任的情况下进行可信的合约触发和执行。目前智能合约主要是基于区块链技术来实现,因为区块链可以提供一个去中心化的可信环境,智能合约天然地与区块链相契合。但这并不是说智能合约仅能够通过...

知识:区块链,智能合约

15. 区块链科普:智能合约

智能合约与传统的纸质合约类似,只是用计算机语言来描述,通过计算机执行,可以在没有第三方信任的情况下进行可信的合约触发和执行。目前智能合约主要是基于区块链技术来实现,因为区块链可以提供一个去中心化的可信环境,智能合约天然地与区块链相契合。但这并不是说智能合约仅能够通过...

知识:区块链,智能合约