北京世纪诚链CTO赵祯龙 厦门演讲智能合约工程——通往未来的数字社会之路

 二维码 63
作者:孟庆龙来源:世纪诚链


3.jpg

随着数字经济的崛起,区块链和智能合约技术得到了IT界的极大关注。7月21日、7月22日北京世纪诚链科技有限公司CTO赵祯龙受邀前往厦门,担任白山云技术公开课和里世界沙龙两场峰会活动的讲师。在活动现场,赵祯龙先生带去了关于《区块链技术之智能合约工程》方面的分享,不仅深入探讨了区块链技术,同时也让智能合约这一领域获得了更多的业界关注。

在两场活动的分享中,我们分析了智能合约的提出、当前与区块链技术结合的现状,以及智能合约技术未来的发展。我们认为,智能合约应当具备六大特征:可定制性、一致性、可观察性、可验证性、自强制性、接入控制性。智能合约的意义在于,它不仅可能颠覆现有的商业模式,更重要的是它也能够完善现有的商业模式,并且大减少第三中介的费。同时,智能合约将是未来数字社会的基石。

在智能合约与区块链的融合中,智能合约可以控制实物资产,并保证有效地执合约,而区块链为完全数字化资产的记录和转移奠定了基础,链上代码和分布式状态机,实现合约的分布式执

2.jpg

我们认为从技术角度来讲,区块链的本质是日志,而日志即分布式时钟。我们力求用简单的、贴近生活的比喻,把区块链和智能合约技术变繁为简。我们认为,每个区块就是分布式时钟个时刻,隐含了当时当刻的所有状态,每个机器逻辑时刻只有个节点出块,并由共识机制给出决定该节点出块的原因。通过这样的分析,将区块链和智能合约技术抽象为分布式状态机,为形式化建模和验证奠定了基础。

总体来说,智能合约在技术上还处于早期阶段。就合约本身而言,还存在着安全性、合法性、合约执行、合约的可信度等方面的问题,我们认为,未来数字社会是社会的信息化,也不等同于目前热技术的应化。如何把实体社会们的生活式、信、法律甚文化等依存关系和价值观念实现到互联上的虚拟社会重构,实现机之间、机器与机器之间复杂关系协议的重塑将是我们未来主要面对和需要解决的问题,未来数字社会技术将面临巨挑战。

5.jpg

通过本次活动,我们希望让更多的人了解到智能合约工程的重大技术价值。智能合约工程技术对探索未来的数字社会的道路上,具有深远的意义。

6.jpg

智能合约工程是世纪诚链技术体系和理论体系的重要组成部分,涉及软件工程、人工智能、计算法律学、数学和形式化方法等交叉融合的综合技术运用,以应对未来数字社会的巨大技术挑战。

智能合约工程运用模型检测等形式化方法对合约进行验证,运用计算法律学和一致性测试保证合约文本与代码之间的语义一致性。

通过建立智能智能合约库,合约建模工具链,可验证的智能合约语言等构建智能合约工程工具链,并运用状态机模型检测方法对区块链和智能合约进行形式化验证。


关于公司
商务合作
合作交流

电话:010 - 83030219

邮箱:renchaoge@sjclian.com

邮编:100191

地址:北京市海淀区知春路7号致真大厦A座16层
微信公众号