# Thomas Coratger > Thomas Coratger 是以太坊基金会的安全研究员，领导后量子 (PQ) 安全团队。他专注于密码学和 ZKP，他的工作... - Canonical URL: https://iq.wiki/zh/wiki/thomas-coratger - Categories: People in crypto - Tags: Developer, Founder - Created: 2026-01-25T18:52:13.762Z - Last updated: 2026-01-27T18:48:29.574Z - Source: IQ.wiki — the world's largest blockchain and crypto encyclopedia (https://iq.wiki) --- **Thomas Coratger** 是 [以太坊基金会](https://iq.wiki/wiki/ethereum-foundation-ef) 的一名法国安全和密码学研究员。他的工作重点是应用数学、协议的形式化验证以及高级 [零知识证明](https://iq.wiki/wiki/zero-knowledge-proofs-zkps) 系统的开发。 [\[1\]](#cite-id-kJGu9ReXRjiBAEPB) [\[2\]](#cite-id-B2KRcxl3e5KEQbvo) ## 教育 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\]](#cite-id-xn1tE29amVosZn2C) ## 职业生涯 ### 早期工程 Thomas Coratger 的职业生涯始于在图卢兹 Expleo Group 担任学徒工程师（2017 年 9 月至 2019 年 9 月），在那里他构建了用于持续改进的 Excel/VBA 工具，并对发动机塔架进行了结构计算，包括基于 FEM 的分析工作。 [\[5\]](#cite-id-xn1tE29amVosZn2C) ### 区块链工程和教学 获得博士学位后，Coratger 进入了区块链研发领域。他加入 Grindery.io 担任区块链开发人员和研究员（2022 年 8 月至 2023 年 1 月），从事 Web2/Web3 自动化系统的工作，然后成为区块链首席开发人员和研究员（2023 年 1 月至 2024 年 3 月），为预言机和跨链通信系统以及跨链 [DeFi](https://iq.wiki/wiki/defi) 做出贡献。与此同时，他还在巴黎 CFA Sup de Vinci 担任区块链教师（2022 年 12 月至 2024 年 1 月），讲授 [区块链](https://iq.wiki/wiki/blockchain) 技术的理论基础和应用。 [\[5\]](#cite-id-xn1tE29amVosZn2C) ### ZK 和以太坊 2024 年 4 月，Coratger 加入 Kakarot zkEVM 担任核心开发人员（2024 年 4 月至 2025 年 1 月），帮助构建与 EVM 兼容的 ZK-rollup，利用 Cairo 加速 [以太坊](https://iq.wiki/wiki/ethereum) 上的 ZK 创新。然后，他加入 [以太坊基金会](https://iq.wiki/wiki/ethereum-foundation-ef) 担任应用研究组 (ARG) 的密码学工程师（2024 年 12 月至 2026 年 1 月）。2026 年 1 月，他成为 [后量子以太坊团队](https://iq.wiki/wiki/post-quantum-security-team) 负责人（2026 年 1 月至今），领导以太坊的后量子密码学的研究和工程。 [\[5\]](#cite-id-xn1tE29amVosZn2C) ## 研究和对以太坊的贡献 Coratger 的工作涵盖区块链安全和可扩展性的几个关键领域，包括后量子密码学、形式化验证和零知识证明。 ### 形式化验证和 `leanEthereum` 项目 Coratger 是 `leanEthereum` 项目的重要贡献者，该项目致力于使用 Lean 证明助手创建 [以太坊](https://iq.wiki/wiki/ethereum) 共识协议的正式的、机器可验证的规范。形式化验证的目标是通过数学方式证明协议逻辑的正确性，从而提高安全保证并在实施之前消除潜在的错误。 [\[7\]](#cite-id-03THHh6zQKZbZNSh) 他的工作集中在 `leanSpec` 存储库中，他在其中实施和测试了共识机制的核心组件。这包括证明、区块构建、状态转换以及区块的理由和最终确定的逻辑。他还为集成密码学原语（例如 Poseidon2 哈希函数）以及确保与其他 [以太坊](https://iq.wiki/wiki/ethereum) 客户端的兼容性做出了贡献。 [\[7\]](#cite-id-03THHh6zQKZbZNSh) #### WHIR 协议 2025 年 8 月 18 日，Coratger 和合著者 Giacomo Fenzi 发表了一篇题为“以太坊的 WHIR”的研究文章。该论文介绍了 WHIR，这是一种用于邻近性测试的新型基于哈希的协议，邻近性测试是现代 zk-SNARK 中使用的一个组件。WHIR 旨在更快、生成更小的证明并具有后量子安全性，这与他更广泛的安全工作相一致。 [\[3\]](#cite-id-NBe6dBlRpZiIB9H7) #### 基于 STARK 的证明系统 Coratger 也是基于 STARK 的证明系统的开发贡献者。他为 `Plonky3`（一个开源的、基于 STARK 的证明系统）做出了贡献，他在其中提交了矩阵运算的优化。他的个人 GitHub 存储库还包含与多项式交互式预言机证明 (PIOP) 和证明系统的其他密码学组件相关的 Rust 探索。 [\[7\]](#cite-id-03THHh6zQKZbZNSh) ### 出版物和技术文章 Coratger 积极发布技术研究和教育材料。他是 EIP-7562 的合著者，EIP-7562 是一个 [以太坊改进提案](https://iq.wiki/wiki/ethereum-improvement-proposal-eip)，用于向 EVM 添加 BLS12-381 椭圆曲线的预编译，这将支持链上更高效的密码学运算。 [\[5\]](#cite-id-xn1tE29amVosZn2C) 他还是“zkEVM book”的贡献者，这是 [以太坊](https://iq.wiki/wiki/ethereum) 基金会 zkEVM 团队正在进行的一项出版物，旨在教育工程师和研究人员。 [\[3\]](#cite-id-NBe6dBlRpZiIB9H7) 他在 HackMD 上的公开研究笔记涵盖了广泛的主题，包括： * *Lean 共识：2026 年计划*（2025 年 11 月） * *理解 Ligerito：一种快速的递归多项式承诺方案*（2025 年 12 月） * *优化 Sum-Check 证明者*（2025 年 10 月） * *leanVM 中的内存模型和查找参数*（2025 年 9 月） 这些文章以及他的开源存储库（如 `lea-n`、`univ-sumcheck-rs` 和 `bls12-377-ark`）记录了他对应用密码学的深入参与。 [\[4\]](#cite-id-heyFFg2UqjDg7xbZ)