🕐 라그랑주, Engineering Updates

라그랑주의 연구·개발·엔지니어링 최신 소식을 한눈에 볼 수 있는 가이드 👨‍🔬

📌 7월 주요 소식

DeepProve는 GPT-2 전체 추론 암호학적 증명에 성공하며 세계 최초 프로덕션 레디 zkML 시스템으로 도약했습니다.

다음 목표는 LLAMA 호환성과 고성능·대규모 LLM 증명입니다.

⚡️ DeepProve 주요 업데이트

· Computational Graph 지원 → Transformer Residual 등 복잡한 모델 구조 호환
· GGUF 포맷 지원 → Hugging Face 등 커뮤니티 모델과 호환성 강화
· LLM Inference Engine 구축 → 오토리그레시브 추론 및 토큰 단위 증명 지원
· Transformer 핵심 연산 레이어 추가 → Softmax, LayerNorm, GELU, QKV Attention 등

🥺 현재 집중 과제

· 성능 최적화 → 증명 속도, 메모리 사용량, 증명 크기 개선
· 암호학적 개선 → Groth16 기반 PCS 벤치마크 및 Lookup Table 재사용 최적화
· 병렬화 및 분산 증명 → DAG 기반 연산 병렬 처리, 멀티코어 활용, 노드 간 분산 증명 지원

🚶‍♂️ 다음 단계

· Meta LLAMA 지원 준비 → RMSNorm, SILU, Grouped Attention 등 신규 레이어 통합 예정
· 성능 최적화 → proving 속도 향상, 메모리 절감, 분산 증명 및 멀티코어 병렬화 추진

DeepProve — verifiability for the AI era. 🧠

📱 원문 보기