Development of MLIR-based Hardware and Proving System Independent Zero-Knowledge Proof Automatic Optimization Compiler and Service Platform
창업성장기술개발(R&D) · 창업성장기술개발사업(TIPS)
2026년
2420032224
중소벤처기업부
중소기업기술정보진흥원
주식회사 프랙탈라이즈코리아
한주만
4명
2026.04.01 ~ 2026.12.31
2026.04.01 ~ 2028.03.31
3억원
4억원
개발연구
중소기업
경기도 파주시
정보/통신 > 정보이론 > 컴파일러
최종목표는 영지식 증명(ZKP) 산업의 발전과 상용화를 저해하는 3대 병목(Write, Optimize, Execute)을 동시에 해결하는 'MLIR 기반 자동 최적화 컴파일러 및 서비스 플랫폼'을 개발하는 것임.현재 ZK 산업은 전 세계 풀타임 암호학 엔지니어가 823명에 불과할 정도로 인재 수급이 극도로 제한적이며, 복잡한 수동 최적화로 인해 최신 연구...
... root 병렬화를 통해 SP1-GPU 대비 2배 향상을 달성함.- Ethereum Block 증명 시간: LLVM 컴파일 최적화 및 SPMD 방식의 다중 GPU 분산 처리를 적용하여 블록 100개 16x5090 환경에서 SP1(12초) 대비 9초 이내를 달성함.- zkML 추론 검증 속도: GKR Proving 스키마 고도화를 통해 GPT-2 128M 파라미터 기준 Jolt ...
... 증명(ZKP) 4대 버티컬 영역에 대한 단계적 진입 및 사업화를 추진함.- 1단계(2026년): 블록체인 ZK Proving 인프라 시장 및 스테이블코인 PoR(Proof of Reserve) 시장을 ... 환경에서, 에이전트의 모든 자산 집행 행위가 유저 정책(Policy)을 안전하게 준수했는지 온체인에서 실시간으로 검증하는 SafeGuard를 구축하여 신뢰 장벽을 근본적으로 제거함.2. ZKP ...