活动预告｜滑铁卢大学徐萌教授解读用 Move Prover 对智能合约进行快速、可靠的形式化验证

 Move 是由 Meta 等机构发起的智能合约语言，它提出的一套完整的面向数字资产的编程体系。与现有的区块链编程语言相比，Move 着重强化了数字资产的地位。使用 Move 语言，开发者能够更灵活、安全地在链上定义和管理数字资产。Move 语言在学术届的地位和应用是怎样的呢？如何利用 Move Prover 对智能合约进行快速、可靠的形式化验证？

活动介绍

2022 年 9 月 23 日本周五上午 10:30，由电子科技大学主办，MoveBit、Aptos world、SUI world、智谷星图等机构协办的关于「用 Move Prover 对智能合约进行快速、可靠的形式化验证」主题学术报告将在线上举办。

报告介绍

Move Prover（MVP）是用 Move 编程语言编写的智能合约的形式化验证器。MVP 具有富有表现力的规范语言，并且快速可靠，开发人员可以在集成测试中运行。报告讲围绕 Move Prover（MVP）的用法和实现原理进行。

嘉宾介绍

徐萌是加拿大滑铁卢大学 Cheriton 计算机学院的助理教授。他的研究领域是系统和软件安全，专注于为安全程序提供高质量的解决方案，特别是在关键计算机系统中发现和修补漏洞。通常包括自动化程序分析 / 测试 / 验证工具的研究和开发，以促进关键程序的安全推理。

活动地点

腾讯会议地址 （点击“阅读原文”直达地址）

https://meeting.tencent.com/dm/85hQs9drgwdy   

#腾讯会议：149-408-132

会议密码：900015

协办方介绍

Aptos world

AptosWorld 是亚太地区首个 Aptos 生态服务机构，是一个资讯教育、招聘孵化、开发社区一体化的平台。

MoveBit

MoveBit 是一家服务 Move 生态的安全审计公司，其愿景是让 Move 生态成为最安全的 Web3 生态系统。MoveBit 团队由学术界安全大牛和企业界安全领军人物组成 ，具有 10 年的安全经验，是首个在 Move 生态中利用形式化验证的区块链安全公司。MoveBit 团队是 Move 生态最早期的贡献者，与 Move 开发者共同制定安全 Move 应用的标准。

智谷星图

智谷星图是中国区块链科技创新领军企业，是一家具有国际化视野的区块链技术公司，团队成员多数来自美国硅谷，顾问来自斯坦福大学、卡耐基梅隆大学等知名高校。智谷星图是腾讯区块链加速器首批成员，是国内自主可控的国产联盟链平台 FISCO BCOS 解决方案官方合作伙伴，拥有区块链底层技术积累和成熟的新技术研发能力，为政务、金融和教育等领域提供专业区块链技术解决方案。

MoveFuns

MoveFuns DAO 是一个面向 Move 开发者的 DAO。主要目的是联合开发者社区，一起构建跨多链的 Move 生态基础设施。

推荐阅读

关注 Aptos world

发现 Web3 时代新机遇

公众号后台回复“1” 加入 Aptos 官方社群