区块链技术的去中心化特点将为合同存证与身份认证带来可信保障。

北航云南数字经济研究中心 2020-07-12

数字合同 区块链存证

全面数字化转型升级，建设城市数字化管理体系势在必行。

北航云南数字经济研究中心 2020-06-24

作者：北京航空航天大学分布式实验室 胡凯 正如前文所述尼克.萨博对智能合约的定义：“智能合约就是执行合约条款的可计算交易协议”，即智能合约是反映契约的算法合同（Algorithmic Contract）和可执行代码合同，即当事人同意依据一定的计算机算法来确定合同的内容、订立合同和履行合同（执行代码）的行为，是一种特殊的软件。而契约精神的基础和保障是法律，合约代码必须蕴含着法律关系和利益交易，所以智能合约是信息技术和法律的融合体，只有两者较好地结合才能实现前文所述的第二代契约型智能和约和第三代“代...

北航云南数字经济研究中心 2020-06-21

智能合约

北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院  孙赫，张学瀚 nbsp; 移动公司业务在计费、支付、积分等领域存在大量账户管理及账户交易需求，这些需求通常通过集中化的服务器来管理账户和记录交易。但随着业务量的快速增长和新业务需求的不断提出，集中式的账户管理及交易在性能、可靠性、可用性等方面，面临着越来越大的压力。区块链和智能合约技术则能有效解决集中化服务架构所遇到的性能瓶颈问题，而且带来系统在交易处理性能和可扩展性等方面的提升。区块链上的智能合约能够实现对业务流程的控制，提高区块...

北航云南数字经济研究中心 2019-12-12

智能合约 区块链入门

北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院   黄洁华，王思远 nbsp; P2P互联网金融模式是一个典型的区块链应用场景，对金融众筹这种需要非常高的可信度的行业来说，使用区块链技术是非常有必要的，区块链技术可以给企业和公司带来很高的公信力；区块链上的智能合约可以通过代码合约实现对众筹系统价值流的控制，对于提高众筹业务的效率和可信度也是非常重要的，将众筹业务流转换成智能合约代码，代码与状态均存放在区块链上面，并由区块链执行，不仅合约代码本身具有不可更改的可信性，而且可使得众筹业...

北航云南数字经济研究中心 2019-12-10

智能合约 区块链入门

作者：北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院  余维 胡 凯 随着云计算与区块链的快速发展，BaaS（Blockchain as a Service，区块链即服务）逐火热了起来。与早期云上的IaaS、PaaS、SaaS技术类似，BaaS技术的目的在于将区块链以及区块链技术包装成为服务，提供快速、便捷的区块链部署和使用功能，方便企业级用户的使用，而基于区块链的智能合约也被移植到了BaaS上，成为了BaaS上实现各企业业务的方法，而如何将云上现有的技术与智能合约相结合，解决现有...

北航云南数字经济研究中心 2019-12-03

智能合约 区块链入门

作者：北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院  白晓敏，周楚涵 本文将介绍基于模型检测形式化方法应用于智能合约辅助生成和验证的一个案例，便于大家了解相关的技术路线。作为形式化方法的工程实践，模型驱动工程（MDE）旨在提高程序规范中的抽象级别，从而提高程序规范中的抽象级别，通过使用可执行模型转换来增加程序开发中的自动化，较高级别的模型被转换为较低级别的模型，直到该模型可以使用代码生成或模型解释来执行。 1. MDE方法工程框架 MDE可以支持智能合约的整个生命周期，从建模、验...

北航云南数字经济研究中心 2019-11-28

区块链 智能合约

作者：北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院  白晓敏，段张博  nbsp; 在智能合约的形式化验证过程中，总是需要专业的编程人员对不同模板的智能合约进行特征分析、模型建立和模型验证。然而，未来使用智能合约的必然不会全都是会编写模型的人员，因此，我们在智能合约和模型检测技术原理的基础上提出一套智能合约辅助用户工具SCAVT。通过抽象出智能合约的基本性质和组件描述，比如多个合约方对合约中时间节点、合约关键条款、合约触发条件等重要合约内容的认定，以及合约方对合约附加条件的说明和...

北航云南数字经济研究中心 2019-11-26

智能合约 区块链入门

正如前文所述尼克.萨博对智能合约的定义：“智能合约就是执行合约条款的可计算交易协议”，即智能合约是反映契约的算法合同（Algorithmic Contract）和可执行代码合同，即当事人同意依据一定的计算机算法来确定合同的内容、订立合同和履行合同（执行代码）的行为，是一种特殊的软件。而契约精神的基础和保障是法律，合约代码必须蕴含着法律关系和利益交易，所以智能合约是信息技术和法律的融合体，只有两者较好地结合才能实现前文所述的第二代契约型智能和约和第三代“代码即法律”型智能合约。笔者认为这两者的融合...

北航云南数字经济研究中心 2019-11-19

法律 智能合约

智能合约是数字社会活动的基础保障。

北航云南数字经济研究中心 2019-11-14

智能合约