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

智能合约模型

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

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

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

2. 智能合约的形式化验证案例

...云南创新研究院白晓敏,周楚涵本文将介绍基于模型检测形式化方法应用于智能合约辅助生成和验证的一个案例,便于大家了解相关的技术路线。作为形式化方法的工程实践,模型驱动工程(MDE)旨在提高程序规范中的抽象级别,从而提高程序规范中的抽象级别,通过使用可执行模型转换来增加程序开...

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

3. 智能合约的并行执行

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

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

4. 如何让区块链获得人工智能的能力

...亿级别的增加,数据复杂度将呈指数级增加。在这种情境下,区块链、人工智能以及物联网,将会是未来几十年最重要的技术推动力量,可以说是三驾马车。 人工智能的产生源于人类对自身局限的改进。作为生物能的主体,人类无法持续进行大量的运算,难以接近事情的全貌。人工智能弥补了人类的...

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

5. Qitmeer课堂:MeerToken系列-UTXO模型VS账户模型

...则存在着艰难的取舍,因为这不仅仅是选择一个价值流通模型,更重要的是智能合约模型的选择。账户模型是伴随着以太智能合约出现的,因为就价值流通而言,UTXO已经足够好用了,完全没有必要再重新发明一套新的账本模型。作为“智能合约即正义”的以以太为代表的所谓“区块链2.0”时代,不少新...

知识:智能合约,链上,以太,共识协议

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

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

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

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

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

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

8. 技术指南 | 模型驱动的智能合约开发,了解一下

... 火火酱 责编 | Carol 出品 | 区块链大本营(ID:blockchain_camp),原题《想开发智能合约?先 get 下这个适合所有人的模型驱动法!(文末有福利)》不得不说,开发智能合约真的是一个既复杂又昂贵的过程。与在Solidity中编写智能合约相反,将智能合约建模为图形状态机(graphical state machine)具有很多优势...

知识:智能合约,Solidity,技术指南

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

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

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

10. 想开发智能合约?先 get 下这个适合所有人的模型驱动法

不得不说,开发智能合约真的是一个既复杂又昂贵的过程。与在Solidity中编写智能合约相反,将智能合约建模为图形状态机(graphical state machine)具有很多优势。你可以专注于业务逻辑,而不必纠结于技术细节,甚至非程序员也可以理解你的合约在做什么。(还可以生成坚固的Solidity代码,并且不再需要...

知识:智能合约,区块链,智能合约开发,合约

11. MuKn 将为 Nervos 带来新的智能合约功能

...计划。MuKn 正在创建一套新的解决方案,该方案将在 Nervos 上实现安全部署新智能合约的功能,类似于以太坊上的智能合约。通过 Nervos Grant 计划,MuKn 团队将获得资金和技术支持。MuKn 团队致力于将账户模型的众多功能带到 Nervos 以及其他基于 UTXO 模型的区块链上,比如 Cardano 和 BCH。UTXO 模型 vs. 账户模...

知识:智能合约,代币,公链,区块链的

12. 量子链Qtum完成首个比特币UTXO模型的智能合约平台

...基金会,发布了开发总结和开发进展,并完成了首个基于比特币UTXO模型的POS智能合约平台,也成为继以太坊之外,第二个全面支持图灵完备的智能合约的区块链平台。   量子链基于经典的权益证明机制(Classic Proof of Stake)作为共识机制,和比特币和以太坊的工作量证明机制是不同的,是整个区块链...

知识:量子链Qtum

13. 卡尔达诺展示了用于智能合约的EUTXO模型

...有关Cardano新型扩展UTXO(EUTXO)模型的论文。EUTXO模型将在Goguen阶段为Cardano的智能合约奠定基础。负责开发Cardano(ADA)的公司Input Output Hong Kong(IOHK)最近发布了形式化的正式协议,该协议将在Cardano的下一个开发阶段(Goguen)中实施智能合约。卡尔达诺目前处于第二阶段,雪莱。 Shelley提供了放样功能,...

知识:智能合约,比特币,以太坊,比特币和以太坊

14. 互链网-重新定义区块链金融界

...,但是使用P2P网络协议来逃避监管。后来以太坊出现,改用余额账本,加了智能合约机制,前面这两项都是重大突破。但是以太坊还是使用P2P网络协议仍然在逃避监管。在2016年笔者提出放弃P2P网络协议,并且提出熊猫模型,就是在区块链系统将数据与软件分开,这样系统就可以有扩展性,也可以保护隐...

知识:智能合约,区块链,区块链系统,预言机

15. 智能合约五大最新突破:标准化、系统化、合规化、架构化、工程化

前言?智能合约的重要性已经得到世界许多国家的认同,例如德国银行协会(Association of German Banks)在 2019 年认为脸书 Libra 最厉害的机制是“可编程经济”(Programmable economy),而这就是智能合约带来的革命。由于可编程经济带来的是一个新的金融生态, 和传统金融生态不同。如果普林斯顿大学提出的“数...

知识:智能合约