为帮助同学们更好理解区块链的发展现状与前景，了解信息化时代前沿讯息，10月27日下午，南京大学行知书院联合信息管理学院在鼓楼校区新教学楼207教室举办“行知学堂”第23期讲座。讲座以“下一代信任网络：技术革新、数据流通与系统安全”为主题，邀请中国工业与应用数学学会（CSIAM）区块链专业委员会常务委员、安徽栈谷科技有限公司董事长高承实、中国工业与应用数学学会（CSIAM）区块链专业委员会副主任、北京大学长沙计算与数字经济研究院科技开发部副部长、研究员杨征，中国工业与应用数学学会（CSIAM）区块链专业委员会常务委员、北京大学数学科学学院信息与计算科学系副主任孙猛主讲。信息管理学院信息管理科学系主任颜嘉麒主持讲座。
高承实首先以《区块链的发展和未来》作为开篇，介绍了区块链的发展现状和未来方向。他认为，区块链是信息化和数字化发展到一定阶段之后出现的一种反逻辑反常识的技术结构组合。他以比特币这一最具代表性的运用区块链作为底层技术的系统作为切入，介绍了比特币系统的特点、比特币网络运用的基础性技术，进而探讨区块链如何实现去中心化生产。他回顾了区块链从比特币、以太坊到WEB 3元宇宙等在公有链领域技术和应用的发展历程，总结了区块链的技术本质与应用场景，展望了区块链在公有链领域共识扩展层面的发展趋势，同时指出了区块链网络的局限及其改进方向。讲座最后，高承实就学习区块链和WEB 3提出了有益的建议。
接着，杨征以《数据要素市场化配置探析》为题，探讨了数据要素市场化配置的重要性、现状与发展趋势。随着信息技术的飞速发展，数据已成为一种关键的生产要素。杨征首先阐明了数据的概念，区分了数据、信息、知识和智慧（DIKW），并点明了数据在现代经济中的核心地位。“无数据，不经济。”数字经济是继农业经济、工业经济之后的主要经济形态，是促进公平与效率更加统一的新经济形态。在数字经济背景下，数据作为一种新的生产要素走到台前，成为我国国民经济中不可忽视的力量。而数据要素资源配置同样依靠市场的决定性作用，培育数据要素市场具有重要意义。杨征进一步分析了我国数据要素市场建设情况，提出了数据要素市场化发展的三个阶段，指出了数据要素市场化配置的基本原则和方法、数据要素市场的参与主体、运行机制和体系架构，从“三个方面”和“八项内容”提出加快培育数据要素市场的举措建议。
随后，孙猛以《胜却人间无数——当区块链与形式化验证相逢》为题，介绍了利用形式化验证技术确保基于区块链的系统的可信度这一重要课题。孙猛首先指出区块链和智能合约（smart contracts）在推动去中心化领域有着重要应用，但也面临严峻的安全性问题。区块链的应用存在去中心化、高性能和高安全的“不可能三角”。他以比特币的低交易效率和安全脆弱性为例说明区块链现有应用的挑战，代码对算法的实现可能会造成安全漏洞问题。而形式化验证（formal verification）是一个很好的安全保障手段，它用数学的技术来保障软件的可信性。形式化方法的目的是实现规范（specification）、验证（verification）与综合（synthesis），保证系统的实现满足规范。他介绍了定理证明（theorem proving）和模型检查（model checking）两种重要的形式化验证方法，并举例说明了形式化方法在区块链领域的应用。总而言之，形式化验证为应对区块链所面临的安全挑战提供了有力的解决方案。
在提问环节，观众们围绕着程序静态分析与形式化验证的关系、形式化验证的适用场景等话题，与嘉宾们进行了深入交流。
通过本次讲座，同学们跟随嘉宾的讲解迸发思想的火花，对区块链有了全新的认知和思考。通过本次活动，同学们进一步感受到了信息时代发展变革的魅力，对未来发展规划有了更清晰的认知，对我国数据产业发展态势和世界科技前沿有了更深入的了解。
文编 / 白丰源
美编 / 梁倩
审校 / 刘雅娇 卢虹宇 蒋博翔
