...云南创新研究院余维 胡 凯性能问题一直是困扰区块链领域的大问题，其中智能合约性能是整个区块链性能的瓶颈之一，智能合约在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可以使用多核计算能力来同时执行和验证智能合约，大大提升效率。 摘要 近年来，区块链技术不仅仅在加密货币交易，而且在存...
知识:合约,区块链,比特币
智能合约与传统的纸质合约类似，只是用计算机语言来描述，通过计算机执行，可以在没有第三方信任的情况下进行可信的合约触发和执行。目前智能合约主要是基于区块链技术来实现，因为区块链可以提供一个去中心化的可信环境，智能合约天然地与区块链相契合。但这并不是说智能合约仅能够通过...
知识:区块链,智能合约
智能合约与传统的纸质合约类似，只是用计算机语言来描述，通过计算机执行，可以在没有第三方信任的情况下进行可信的合约触发和执行。目前智能合约主要是基于区块链技术来实现，因为区块链可以提供一个去中心化的可信环境，智能合约天然地与区块链相契合。但这并不是说智能合约仅能够通过...
知识:区块链,智能合约