Thomas Coratger 是 以太坊基金会 的一名法国安全和密码学研究员。他的工作重点是应用数学、协议的形式化验证以及高级 零知识证明 系统的开发。 ^{[1] [2]}

教育

Thomas Coratger 在 Lycée Bellevue 完成了数学科学学士学位（2011-2014 年），并以优异的成绩毕业。然后，他获得了图卢兹国立应用科学学院 (INSA Toulouse) 的机械工程和数值模拟工程学位（2014-2019 年），培训范围包括机械设计、结构分析、数值模拟（应用数学、算法和流体力学）、机电一体化、热力学、传热、微流体和复合材料结构。在此期间，他还曾在格拉斯哥卡利多尼亚大学 (Glasgow Caledonian University) 学习（2016-2017 年）计算机辅助机械工程，包括 2016 年 9 月至 2017 年 1 月的 Erasmus 学期，重点是数学、材料和制造、热力学和流体力学以及工程设计/分析。2019 年，他在 CFA Midisup 完成了创业培训。后来，他在艾克斯-马赛大学 (Aix-Marseille University) 获得了应用数学博士学位（2019-2022 年），他的研究重点是可压缩流的 Lattice Boltzmann 数值模拟。 ^[5]

职业生涯

早期工程

Thomas Coratger 的职业生涯始于在图卢兹 Expleo Group 担任学徒工程师（2017 年 9 月至 2019 年 9 月），在那里他构建了用于持续改进的 Excel/VBA 工具，并对发动机塔架进行了结构计算，包括基于 FEM 的分析工作。 ^[5]

区块链工程和教学

获得博士学位后，Coratger 进入了区块链研发领域。他加入 Grindery.io 担任区块链开发人员和研究员（2022 年 8 月至 2023 年 1 月），从事 Web2/Web3 自动化系统的工作，然后成为区块链首席开发人员和研究员（2023 年 1 月至 2024 年 3 月），为预言机和跨链通信系统以及跨链 DeFi 做出贡献。与此同时，他还在巴黎 CFA Sup de Vinci 担任区块链教师（2022 年 12 月至 2024 年 1 月），讲授 区块链 技术的理论基础和应用。 ^[5]

ZK 和以太坊

2024 年 4 月，Coratger 加入 Kakarot zkEVM 担任核心开发人员（2024 年 4 月至 2025 年 1 月），帮助构建与 EVM 兼容的 ZK-rollup，利用 Cairo 加速 以太坊 上的 ZK 创新。然后，他加入 以太坊基金会 担任应用研究组 (ARG) 的密码学工程师（2024 年 12 月至 2026 年 1 月）。2026 年 1 月，他成为 后量子以太坊团队 负责人（2026 年 1 月至今），领导以太坊的后量子密码学的研究和工程。 ^[5]

研究和对以太坊的贡献

Coratger 的工作涵盖区块链安全和可扩展性的几个关键领域，包括后量子密码学、形式化验证和零知识证明。

形式化验证和 leanEthereum 项目

Coratger 是 leanEthereum 项目的重要贡献者，该项目致力于使用 Lean 证明助手创建 以太坊 共识协议的正式的、机器可验证的规范。形式化验证的目标是通过数学方式证明协议逻辑的正确性，从而提高安全保证并在实施之前消除潜在的错误。 ^[7]

他的工作集中在 leanSpec 存储库中，他在其中实施和测试了共识机制的核心组件。这包括证明、区块构建、状态转换以及区块的理由和最终确定的逻辑。他还为集成密码学原语（例如 Poseidon2 哈希函数）以及确保与其他 以太坊 客户端的兼容性做出了贡献。 ^[7]

WHIR 协议

2025 年 8 月 18 日，Coratger 和合著者 Giacomo Fenzi 发表了一篇题为“以太坊的 WHIR”的研究文章。该论文介绍了 WHIR，这是一种用于邻近性测试的新型基于哈希的协议，邻近性测试是现代 zk-SNARK 中使用的一个组件。WHIR 旨在更快、生成更小的证明并具有后量子安全性，这与他更广泛的安全工作相一致。 ^[3]

基于 STARK 的证明系统

Coratger 也是基于 STARK 的证明系统的开发贡献者。他为 Plonky3（一个开源的、基于 STARK 的证明系统）做出了贡献，他在其中提交了矩阵运算的优化。他的个人 GitHub 存储库还包含与多项式交互式预言机证明 (PIOP) 和证明系统的其他密码学组件相关的 Rust 探索。 ^[7]

出版物和技术文章

Coratger 积极发布技术研究和教育材料。他是 EIP-7562 的合著者，EIP-7562 是一个 以太坊改进提案，用于向 EVM 添加 BLS12-381 椭圆曲线的预编译，这将支持链上更高效的密码学运算。 ^[5]

他还是“zkEVM book”的贡献者，这是 以太坊 基金会 zkEVM 团队正在进行的一项出版物，旨在教育工程师和研究人员。 ^[3]

他在 HackMD 上的公开研究笔记涵盖了广泛的主题，包括：

• Lean 共识：2026 年计划（2025 年 11 月）
• 理解 Ligerito：一种快速的递归多项式承诺方案（2025 年 12 月）
• 优化 Sum-Check 证明者（2025 年 10 月）
• leanVM 中的内存模型和查找参数（2025 年 9 月）

这些文章以及他的开源存储库（如 lea-n、univ-sumcheck-rs 和 bls12-377-ark）记录了他对应用密码学的深入参与。 ^[4]