Thomas Coratger는 이더리움 재단의 프랑스 보안 및 암호학 연구원입니다. 그는 2026년 1월에 설립된 재단의 "키스톤" 팀을 이끄는 것으로 가장 잘 알려져 있으며, 이 팀은 이더리움 프로토콜을 양자 내성 보안 조치로 업그레이드하는 데 특화된 부서입니다. 그의 연구는 응용 수학, 프로토콜의 형식 검증, 고급 영지식 증명 시스템 개발에 중점을 둡니다. ^{[1] [2]}

교육

Coratger는 응용 수학 박사 학위와 École pour l'informatique et les nouvelles technologies (EPITECH)에서 컴퓨터 과학 석사 학위를 받았으며, 2017년부터 2022년까지 이 학교에 다녔습니다. ^{[3] [4]} 블록체인 산업으로 전환하기 전, 그의 박사 연구는 자동차 및 항공 분야에 적용되었습니다. 그는 이러한 분야 간의 연관성에 대해 다음과 같이 언급했습니다. "요즘 물리학 문제를 해결하고 이더리움의 미래를 구축하는 것 사이의 유사점에 매일 놀라고 있습니다. 블록체인은 매우 많은 분야에서 비롯됩니다. 종종 과소평가되는 사실입니다!" ^[3]

경력

초기 경력 및 Tezos 생태계

Coratger의 블록체인 산업 경력은 Tezos 생태계 내 연구 개발 센터인 Nomadic Labs에서의 인턴십으로 시작되었습니다. 2021년 2월부터 7월까지 파리에서 암호학 팀과 함께 BLS 서명에 중점을 두고 작업했습니다. ^[4] 이후 2022년 2월에 Tezos 및 이더리움 블록체인 모두에 대한 전문 서비스를 제공하는 회사인 Checksum을 공동 설립했습니다. 그는 2023년 6월까지 Checksum에 참여했습니다. ^[4]

이더리움 재단

Coratger는 2023년 7월에 이더리움 재단에 인턴으로 합류하여 2024년 3월까지 이 역할을 수행했습니다. 이 9개월간의 인턴십 동안 그의 연구는 고급 암호화 주제, 특히 zk-SNARKs 및 sum-check 프로토콜에 집중되었으며, 이는 그의 후속 연구의 중심이 되었습니다. ^[4]

2024년 3월, 그는 보안 연구원으로 정규직으로 승진했습니다. 이 직책에서 그는 증명 시스템 개발 및 최적화에 집중하고 이더리움 네트워크의 장기적인 보안 아키텍처에 기여했습니다. ^{[4] [5]}

키스톤 양자 내성 보안 팀

2026년 1월, 이더리움 재단은 미래의 양자 컴퓨터의 위협에 이더리움 프로토콜을 저항하도록 하는 임무를 맡은 "키스톤"이라는 새로운 최우선 팀의 구성을 발표했습니다. ^[4] Coratger는 이 팀을 이끌도록 임명되었습니다. 이 발표는 2026년 1월 23일에 동료 이더리움 재단 연구원인 Justin Drake에 의해 공개되었으며, 그는 Coratger를 "뛰어난" 사람이라고 언급했습니다. ^[2]

키스톤 팀의 임무는 검증자 및 트랜잭션 서명을 포함한 이더리움의 핵심 인프라를 양자 내성 암호화 표준으로 전환하는 것입니다. 이 이니셔티브는 양자 내성 보안을 배경 연구 주제에서 재단의 최우선 전략 및 엔지니어링 우선 순위로 격상시켰습니다. ^[1] 팀의 작업에는 새로운 서명 체계 평가 및 구현, 양자 내성 테스트 네트워크 개발, 사용자 대상 방어 발전이 포함됩니다. ^[6]

이더리움에 대한 연구 및 기여

Coratger의 연구는 양자 내성 암호화, 형식 검증, 영지식 증명을 포함한 블록체인 보안 및 확장성의 여러 중요한 영역에 걸쳐 있습니다.

양자 내성(PQ) 암호화

키스톤 팀의 리더로서 Coratger의 주요 초점은 네트워크를 보호하는 데 현재 사용되는 타원 곡선 암호화를 깨뜨릴 위협이 있는 양자 컴퓨팅으로 인한 보안 위험으로부터 이더리움을 미래에 대비하는 것입니다. ^[2]

이 분야에서 그의 기술적 기여에는 양자 내성 서명 체계의 연구 및 구현이 포함됩니다. 2026년 1월 말, 키스톤 팀 구성과 동시에 그는 양자 공격에 저항하는 것으로 알려진 상태 저장 해시 기반 서명 체계인 eXtended Merkle Signature Scheme (XMSS)와 관련된 공식화된 이더리움 사양에 대한 리포지토리에 수많은 기여를 했습니다. 그의 작업에는 서명 길이, 검증 함수, 체계 내의 의사 난수 함수의 구현 세부 사항 수정이 포함되었습니다. ^[7]

팀의 연구에는 CRYSTALS-Dilithium과 같은 다른 잠재적인 양자 내성 서명 체계 평가와 서명에 대한 양자 보안 대안으로 STARKs (Scalable Transparent Arguments of Knowledge) 사용 탐색도 포함됩니다. 2025년 7월, Coratger는 생태계의 다른 팀의 양자 내성 개발넷 제안을 분석하기 위해 첫 번째 "린 이더리움 상호 운용 통화"에 참여했습니다. ^{[3] [6]}

형식 검증 및 leanEthereum 프로젝트

Coratger는 Lean 증명 지원 도구를 사용하여 이더리움 합의 프로토콜의 공식적이고 기계 검증 가능한 사양을 만드는 데 전념하는 이니셔티브인 leanEthereum 프로젝트에 중요한 기여자입니다. 형식 검증의 목표는 프로토콜 논리의 정확성을 수학적으로 증명하여 보안 보증을 높이고 구현 전에 잠재적인 버그를 제거하는 것입니다. ^[7]

그의 작업은 합의 메커니즘의 핵심 구성 요소를 구현하고 테스트한 leanSpec 리포지토리에 집중되어 있습니다. 여기에는 증명, 블록 구축, 상태 전환, 블록의 정당화 및 완료에 대한 논리가 포함됩니다. 그는 또한 Poseidon2 해시 함수와 같은 암호화 기본 요소를 통합하고 다른 이더리움 클라이언트와의 호환성을 보장하는 데 기여했습니다. ^[7]

영지식 증명 및 증명 시스템

Coratger는 이더리움의 확장성 및 개인 정보 보호에 중요한 기술인 영지식 (ZK) 증명에 대한 광범위한 연구를 수행했습니다.

WHIR 프로토콜

2025년 8월 18일, Coratger와 공동 저자인 Giacomo Fenzi는 "이더리움을 위한 WHIR"이라는 제목의 연구 게시물을 발표했습니다. 이 논문은 최신 zk-SNARK에 사용되는 구성 요소인 근접성 테스트를 위한 새로운 해시 기반 프로토콜인 WHIR을 소개했습니다. WHIR은 더 빠르고, 더 작은 증명을 생성하고, 그의 광범위한 보안 작업과 일치하도록 양자 보안을 갖도록 설계되었습니다. ^[3]

lea-n 증명 시스템 및 Sum-check 프로토콜

그는 많은 최신 SNARK 구성에 기본이 되는 대화형 증명인 sum-check 프로토콜을 기반으로 하는 증명 시스템인 lea-n의 창시자입니다. 그의 공개 연구의 대부분은 sum-check 프로토콜의 증명자를 최적화하고, 특정 에지 케이스를 처리하고, 가상 머신 (leanVM) 및 컴파일러와 같은 관련 구성 요소를 설계하는 데 전념합니다. 그는 메모리 모델 및 leanVM에 대한 조회 인수와 같은 이러한 주제에 대한 광범위한 기술 노트를 발표했습니다. leanVM에 대한 그의 작업은 이더리움의 양자 내성 전략의 "초석"으로 인용되었습니다. ^{[4] [2]}

STARK 기반 증명 시스템

Coratger는 STARK 기반 증명 시스템 개발에도 기여자입니다. 그는 행렬 연산에 대한 최적화를 제출한 오픈 소스 STARK 기반 증명 시스템인 Plonky3에 기여했습니다. 그의 개인 GitHub 리포지토리에는 다항식 대화형 오라클 증명 (PIOP) 및 증명 시스템의 기타 암호화 구성 요소와 관련된 Rust 탐색도 포함되어 있습니다. ^[7]

출판물 및 기술 문서

Coratger는 기술 연구 및 교육 자료를 적극적으로 게시합니다. 그는 EVM에 BLS12-381 타원 곡선에 대한 프리컴파일을 추가하기 위한 이더리움 개선 제안인 EIP-7562의 공동 저자이며, 이는 체인에서 더 효율적인 암호화 작업을 지원합니다. ^[5]

그는 또한 엔지니어와 연구원을 교육하는 것을 목표로 하는 이더리움 재단의 zkEVM 팀의 진행 중인 출판물인 "zkEVM 책"의 기여자입니다. ^[3]

HackMD에 대한 그의 공개 연구 노트는 다음과 같은 광범위한 주제를 다룹니다.

• Lean Consensus: 2026년 계획 (2025년 11월)
• Ligerito 이해: 빠르고 재귀적인 다항식 약정 체계 (2025년 12월)
• Sum-Check 증명자 최적화 (2025년 10월)
• leanVM의 메모리 모델 및 조회 인수 (2025년 9월)

이러한 글은 lea-n, univ-sumcheck-rs, bls12-377-ark와 같은 그의 오픈 소스 리포지토리와 함께 응용 암호화에 대한 그의 깊은 참여를 문서화합니다. ^[4]