Hi, I’m Changmin, an avid traveler who loves meeting new people.
My primary interest lies in Algebraic Topology, but I also have experience in cryptography, Competitive Programming (CP), and backend development.
I’m always on the lookout for a friend to share a cup of coffee and engage in interesting conversations. Let’s chat!
Projects
- zk-fft: An FFT zero-knowledge circuit implemented using the nil compiler (now deprecated) and RISC Zero. Not only is the general Cooley-Tukey FFT algorithm implemented, but also a modified FFT algorithm suitable for ZK environments.
- torch2circom: A tool developed to bridge the gap between machine learning and zero-knowledge proof technologies. It allows developers to generate proof generators for their ML models, which can be used in smart contracts to verify the correctness of model execution.
- Circom-TFHE-RS: A tool that translates Circom circuits into TFHE (Fully Homomorphic Encryption) equivalents. This project aims to bridge the gap between Circom, a popular framework for creating and working with arithmetic circuits, and TFHE-rs, a Rust implementation of TFHE for boolean and integer arithmetics over encrypted data.
Awards & Programs
- KMO(Korean Mathematical Olympiad) Silver Medal, 2017
- KOI(Korean Informatics Olympiad) Bronze Medal, 2019
- Finished KMO & KOI National Team Training Camp, which aims to select IMO & IOI candidates.
- UCPC(Korean Local Collegiate Programming Contest) 2020 Contest Setter, 2024 Finals 26th place
- Was a builder at Invisible Garden (Chiang Mai, 2024)
Work Experience
- Ethereum Foundation (Grantee): 2024-
- Quant Trading Company (Software Engineer):
- Improved arbitrage programs, primarily working on arbitrage-related tasks using Golang.
- Developed a program enabling communication between exchanges and
clients using REST APIs.
- Blockchain Company (Software Engineer):
- CUDA Optimization: Optimized algorithms based on go-ethereum code for custom blockchain performance, achieving over 1000x mining performance improvement using concurrency GPU programming (CUDA) with 4x RTX 3090 GPUs.
- Internal Study Lead: Led study groups in cryptography, graph theory, and algorithms.