2022年10月21日，应西北师范大学73882必赢网页版邀请，兰州理工大学冯涛研究员做题为“区块链服务网络可验证计算安全协议的形式化建模及关键技术研究”的学术报告。此次报告由我院刘雪艳副教授主持，全体专任教师和研究生在线参加了此次学术交流。

冯涛研究员首先针对区块链技术的一系列相关知识做了详细的介绍，然后对区块链技术的应用场景分别做了简要的说明，重点介绍关于区块链网络可验证计算项目，分析了针对区块链形式化建模方面以及可验证计算安全协议方面的国内外研究现状、研究内容与拟解决的问题，并给出了相应的解决方案。报告会后，冯涛研究员与在线师生就有关问题进行了互动交流，对师生的提问给出了详细解答与说明。