정보
Cho Changmin
brilliantepoch22@gmail.com, +82 10 5080 6605
Career Objective
수학(대수학, pairing)에 큰 관심을 가지고 있으며, 암호학(일반적인 암호학, Polynomial Commitment 코드 리뷰) 및 Folding Schemes(Nova, LatticeFold, Neo) 연구 경험이 있습니다. 또한 Coq, Lean 4 기반 Formal Verification에도 흥미와 실무 경험이 있습니다.
Work Experience
Stellar Development Foundation – Grantee
Jun 2025 – Nov 2025
Stellar Soroban Verifier Track (NRG #4) 참여
Nethermind – Intern
Feb 2025 – May 2025
Formal Verification 및 Folding Scheme 리서치
Alpha273 – Development Team
Aug 2024 – Sep 2024
REST API 기반 아비트라지 시스템 설계 · 테스트
SCVSoft – Developer
May 2024 – Jun 2024
CUDA 최적화 및 블록체인 트랜잭션 데이터 마이닝
Ethereum Foundation – R&D in FHE & ZKP
Jan 2024 – Dec 2024
완전 동형 암호 및 영지식 증명 연구 · 개발
Mina Foundation – Grantee
Jan 2025 – Mar 2025
행렬 연산 라이브러리 제작 및 테스트
Education
- Jeonnam Science High School (Mar 2020 – Feb 2022)
- Sunchon Nat’l Univ. Science Edu. Institute (Mar 2016 – Feb 2019)
Skills
- Advanced: C++, Python
- Intermediate: Git, Rust
- Beginner: Go, Coq, Lean 4
- Expertise: Cryptography(General) ZK-SNARKs, STARKs, FHE, Folding Schemes, Data Structures, Algorithms
Awards & Achievements
- EthCon Korea 2023: Open Track 2위, PSE Sponsor Track 1위
- ZK Summer Contribution Program – Ethereum Foundation (Aug 2023)
- Korean Math Olympiad (Middle) Silver (Nov 2017)
- Korean Informatics Olympiad (Middle) Bronze (Jul 2019)
Languages
- English: Fluent (TOEFL 118, TOEIC 990)
- Korean: Native