12月26日，由浙大网安赵永望教授指导2022级博士生赵健宏和2022级硕士生康锦辉，联合数据通信科学技术研究所、中国农业银行组成的“一颗红心”战队，经过初赛、排位赛和总决赛等多个环节的比拼，最终斩获“2022金融密码杯全国密码技术大赛”创新赛道一等奖。
一、赛事介绍
“金融密码杯”全国密码技术大赛是迄今为止国内最高规格的金融行业密码大赛，由中国人民银行和国家密码管理局指导，中国人民银行数字货币研究所、清华大学密码理论与技术研究中心联合主办，是密码人才交流学习与密码技术应用创新、合作、发展的重要平台。2020年第一届“金融密码杯”的成功举办，吸引了来自全国各大高校、科研院所和密码产业单位的460支队伍，共计1282人同场竞技，总计发放138万数字人民币奖金。2022年第二届“金融密码杯”延续了之前的“金融需求引导，密码技术创新”的办赛宗旨，紧扣金融密码创新前沿，共吸引400多支队伍参赛同台竞技。
二、作品介绍
智能合约因促进了信用的流动而广泛应用在贸易融资、跨境支付等多种金融场景中。然而，随着智能合约的迅速发展，大量攻击事件不断发生，安全性问题成为了制约其在金融领域规模化落地应用的关键。
浙大网安战队此次参赛提交的作品是面向金融应用场景的智能合约形式化验证技术与工具。结合金融领域的实际需求，开展智能合约形式化验证技术与工具的研究，提供了基于形式语义、支持复杂规约的高安全、多合约语言形式化验证原型工具，该方案在应用价值和创新性等方面均得到了相关领域专家的认可。
三、结语
在本次比赛中，赵永望老师和参赛同学对赛题进行了深入的分析，并与数据所和农行的实际从业者深度探索行业的切实需求，经过对各类形式化方法理论和工具的探索与尝试，最终确定了一套应对实际金融场景切实有效的形式化验证方案。通过对方法和工具的不断打磨与改进，浙大网安战队最终荣获一等奖。再次向获奖的老师与同学表示祝贺！希望今后同学们可以再接再厉、再创佳绩！