# Thomas Coratger > Thomas Coratger는 이더리움 재단의 보안 연구원으로, 양자 내성(PQ) 보안 팀을 이끌고 있습니다. 암호학과 ZKP를 전문으로 하며, 그의 연구는... - Canonical URL: https://iq.wiki/kr/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 – Institut National des Sciences Appliquées de Toulouse(2014–2019)에서 기계 공학 및 수치 시뮬레이션 공학 학위를 취득했으며, 기계 설계, 구조 분석, 수치 시뮬레이션(응용 수학, 알고리즘 및 유체 역학), 메카트로닉스, 열역학, 열 전달, 미세 유체 공학 및 복합 구조에 걸친 교육을 받았습니다. 이 기간 동안 그는 또한 Glasgow Caledonian University(2016–2017)에서 컴퓨터 지원 기계 공학을 공부했으며, 2016년 9월부터 2017년 1월까지 에라스무스 학기를 통해 수학, 재료 및 제조, 열역학 및 유체 역학, 엔지니어링 설계/분석에 집중했습니다. 2019년에는 CFA Midisup에서 기업가 정신 교육을 이수했습니다. 이후 Aix-Marseille University(2019–2022)에서 응용 수학 박사 학위를 취득했으며, 그의 연구는 압축성 흐름에 대한 격자 볼츠만 수치 시뮬레이션에 집중되었습니다. [\[5\]](#cite-id-xn1tE29amVosZn2C) ## 경력 ### 초기 엔지니어링 Thomas Coratger는 툴루즈의 Expleo Group에서 견습 엔지니어로 전문 경력을 시작했으며(2017년 9월–2019년 9월), 지속적인 개선을 위한 Excel/VBA 도구를 구축하고 FEM 기반 분석 작업을 포함하여 엔진 파일론에 대한 구조 계산을 수행했습니다. [\[5\]](#cite-id-xn1tE29amVosZn2C) ### 블록체인 엔지니어링 및 교육 박사 학위 취득 후 Coratger는 블록체인 R&D 분야로 이동했습니다. 그는 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월)로 합류하여 [이더리움](https://iq.wiki/wiki/ethereum)에서 ZK 혁신을 가속화하기 위해 Cairo를 활용하는 EVM 호환 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는 Lean 증명 지원 도구를 사용하여 [이더리움](https://iq.wiki/wiki/ethereum) 합의 프로토콜의 공식적이고 기계적으로 검증 가능한 사양을 만드는 데 전념하는 이니셔티브인 `leanEthereum` 프로젝트에 상당한 기여를 하고 있습니다. 형식 검증의 목표는 프로토콜 논리의 정확성을 수학적으로 증명하여 보안 보증을 높이고 구현 전에 잠재적인 버그를 제거하는 것입니다. [\[7\]](#cite-id-03THHh6zQKZbZNSh) 그의 작업은 `leanSpec` 저장소에 집중되어 있으며, 여기서 증명, 블록 구축, 상태 전환, 블록의 정당화 및 최종화를 위한 핵심 구성 요소를 구현하고 테스트했습니다. 그는 또한 Poseidon2 해시 함수와 같은 암호화 기본 요소를 통합하고 다른 [이더리움](https://iq.wiki/wiki/ethereum) 클라이언트와의 호환성을 보장하는 데 기여했습니다. [\[7\]](#cite-id-03THHh6zQKZbZNSh) #### WHIR 프로토콜 2025년 8월 18일, Coratger와 공동 저자인 Giacomo Fenzi는