BlockBeats 消息,5 月 24 日,以太坊 L2 网络 Movement 宣布任命 Franck Downunder 为新任研究主管。Franck 是前学术界人士,发表了 80 多篇论文,专注于形式化方法的研究。他自 2019 年起开始将形式化方法应用于区块链,并加入 Consensys 从事以太坊相关工作。去年,Franck 领导了 Mantle 的研究工作,并多次因其研究成果获奖。在 Consensys 期间,他参与推进了 Beacon Chain 的验证、Deposit Contract、Dafny 智能合约及 EVM 语义的相关项目。作为智能合约、EVM 字节码和序列器形式化验证领域的行业领袖,Franck 的深厚专业知识与 The Movement 的技术发展方向高度契合。他将帮助 The Movement 开发业内最佳技术,构建整合 EVM 和 Move VMs 的模块化网络。
领取专属 10元无门槛券
私享最新 技术干货