Thomas Coratger 是 以太坊基金会 的一名法国安全和密码学研究员。他最出名的是领导该基金会的“Keystone”团队，这是一个成立于 2026 年 1 月的专门小组，旨在升级 以太坊 协议，使其具有后量子安全措施。他的工作重点是应用数学、协议的形式验证以及高级 零知识证明 系统的开发。 ^{[1] [2]}​

教育

Coratger 拥有 École pour l'informatique et les nouvelles technologies (EPITECH) 的应用数学博士学位和计算机科学硕士学位，他于 2017 年至 2022 年就读于该校。 ^{[3] [4]} 在转型到 区块链 行业之前，他的博士研究被应用于汽车和航空领域。他评论了这些领域之间的联系，他说：“现在每天，我都惊叹于解决物理问题和构建以太坊未来之间的相似之处。区块链借鉴了如此多的领域——这是一个经常被低估的事实！” ^[3]​

职业生涯

早期职业生涯和 Tezos 生态系统

Coratger 在区块链行业的职业生涯始于 Nomadic Labs 的实习，Nomadic Labs 是 Tezos 生态系统中的一个研发中心。从 2021 年 2 月到 7 月，他在巴黎与密码学团队合作，他的重点是 BLS 签名。 ^[4] 之后，他于 2022 年 2 月共同创立了 Checksum，该公司为 Tezos 和 以太坊 区块链 提供专业服务。他一直参与 Checksum 的工作，直到 2023 年 6 月。 ^[4]​

以太坊基金会

Coratger 于 2023 年 7 月加入 以太坊基金会 担任实习生，他一直担任该职位到 2024 年 3 月。在这九个月的实习期间，他的工作主要集中在高级密码学主题上，特别是 zk-SNARKs 和 sum-check 协议，这将成为他后来研究的核心。 ^[4]​

2024 年 3 月，他被晋升为安全研究员的全职职位。在这个职位上，他专注于开发和优化证明系统，并为 以太坊 网络的长期安全架构做出贡献。 ^{[4] [5]}​

Keystone 后量子安全团队

2026 年 1 月，以太坊基金会 宣布成立一个新的高度优先团队，名为“Keystone”，负责使 以太坊 协议能够抵御未来量子计算机的威胁。 ^[4] Coratger 被任命领导该团队。该公告于 2026 年 1 月 23 日由以太坊基金会研究员 Justin Drake 公布，他称 Coratger 为“杰出”。 ^[2]​

Keystone 团队的任务是将以太坊的核心基础设施（包括验证器和交易签名）过渡到抗量子密码学标准。这项举措将后量子安全性从后台研究主题提升为基金会的首要战略和工程重点。 ^[1] 该团队的工作包括评估和实施新的签名方案、开发后量子测试网络以及推进面向用户的防御。 ^[6]​

研究和对以太坊的贡献

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

后量子 (PQ) 密码学

作为 Keystone 团队的负责人，Coratger 的主要重点是保护 以太坊 免受量子计算带来的安全风险，量子计算有可能破坏目前用于保护网络的椭圆曲线密码学。 ^[2]​

他在该领域的技术贡献包括后量子签名方案的研究和实施。在 2026 年 1 月下旬，与 Keystone 团队成立的同时，他为与 eXtended Merkle Signature Scheme (XMSS) 相关的形式化 以太坊 规范的存储库做出了许多贡献，XMSS 是一种已知可以抵抗量子攻击的有状态哈希签名方案。他的工作包括修复签名长度、验证函数以及方案中的伪随机函数的实现细节。 ^[7]​

该团队的研究还包括评估其他潜在的抗量子签名方案，例如 CRYSTALS-Dilithium，并探索使用 STARK（Scalable Transparent Arguments of Knowledge）作为签名的量子安全替代方案。2025 年 7 月，Coratger 参加了第一次“精简 以太坊 互操作调用”，以分析生态系统中其他团队提出的后量子开发网络提案。 ^{[3] [6]}​

形式验证和 leanEthereum 项目

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

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

零知识证明和证明系统

Coratger 对 零知识 (ZK) 证明 进行了广泛的研究，这项技术对于以太坊的可扩展性和隐私至关重要。

WHIR 协议

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

lea-n 证明系统和 Sum-check 协议

他是 lea-n 的创建者，lea-n 是一个基于 sum-check 协议的证明系统，sum-check 协议是许多现代 SNARK 构造的基础。他的大部分公开研究都致力于优化 sum-check 协议的证明者、处理特定的边缘情况以及设计相关的组件，例如虚拟机 (leanVM) 和编译器。他发表了关于这些主题的广泛技术说明，包括 leanVM 的内存模型和查找参数。他在 leanVM 上的工作被认为是以太坊后量子战略的“基石”。 ^{[4] [2]}​

基于 STARK 的证明系统

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

出版物和技术文章

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

他也是“以太坊 基金会 zkEVM 团队的“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]](#cite-id-heyFFg2UqjDg7xbZ]​