智能合约的保障：法律代码科技 作者：北京航空航天大学分布式实验室 胡凯 正如前文所述尼克.萨博对智能合约的定义：“智能合约就是执行合约条款的可计算交易协议”，即智能合约是反映契约的算法合同（Algorithmic Contract）和可执行代码合同... szjj 头条 2020-06-21
北大教授胡凯：区块链助力云南省新基建，推进“数字云南”建设 区块链助力云南省新基建 推进“数字云南”建设 5月10日，云南省第十三届人民代表大会第三次会议开幕，云南省人民政府2020年政府工作报告中明确提出要加快布局区块链技术云平台等新基建，提升数字经济发展支撑能... szjj 头条 2020-05-22
区块链入门 | 智能合约移动业务应用设计 北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院 孙赫，张学瀚 移动公司业务在计费、支付、积分等领域存在大量账户管理及账户交易需求，这些需求通常通过集中化的服务器来管理账户和记... szjj 头条 2019-12-12
区块链入门 | 智能合约的并行执行 北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院 余维 胡 凯 性能问题一直是困扰区块链领域的大问题，其中智能合约性能是整个区块链性能的瓶颈之一，智能合约在1994年由尼克萨博首次提出，但受... szjj 头条 2019-12-05
区块链入门 | 智能合约微服务：如何将云上现有的技术与智能合约相结合？ 作者：北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院 余维 胡 凯 随着云计算与区块链的快速发展，BaaS（Blockchain as a Service，区块链即服务）逐火热了起来。与早期云上的IaaS、PaaS... szjj 头条 2019-12-03
区块链入门 | 智能合约的形式化验证案例 作者：北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院 白晓敏，周楚涵 本文将介绍基于模型检测形式化方法应用于智能合约辅助生成和验证的一个案例，便于大家了解相关的技术路线。作为形式化方法... szjj 头条 2019-11-28
区块链入门 | 智能合约的形式化验证工具 作者：北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院 白晓敏，段张博 在智能合约的形式化验证过程中，总是需要专业的编程人员对不同模板的智能合约进行特征分析、模型建立和模型验... szjj 头条 2019-11-26
智能合约系列1：数字社会的基石——智能合约 智能合约是什么？它有什么作用？它的本质是什么？它的意义在哪里？它存在什么问题？它如何落地应用？它的发展之路在哪里？本系列文章将给出答案。 szjj 技术 2019-11-12
