🕐라그랑주 zk와 zkML 알아보기 — zkVM과의 차이점은?

라그랑주는 2025년 zkML 기반 LLM 증명 마일스톤을 공개하며, AI 검증을 넘어 방산·항공우주 등 고신뢰 환경까지 확장 가능한 인프라를 구축하고 있습니다.

하지만 여전히 많은 분들에게 ZK(영지식 증명), zkVM, zkML은 어렵게 느껴지는 개념이기도 합니다.

이번 글에서는 다음 주제를 다룹니다:

✅ ZK가 무엇인지
✅ zkVM과 zkML은 어떻게 다른지
✅ 그리고 라그랑주가 왜 zkML을 선택했는지

👀 간략 정리

· zk(영지식 증명) -> 계산이 정확히 수행됐다는 사실만 증명하고, 그 과정과 민감한 정보는 공개하지 않아도 되게 해주는 암호학적 기술
· zkVM → 범용 프로그램 실행을 증명하는 블록체인 VM
· zkML → AI 추론을 현실적인 비용으로 검증하기 위해 특화된 접근

라그랑주는 zkML 영역을 국방과 AI증명 인프라 등 실제 산업·실사용 수준으로 끌어내리는 데 집중하는 프로젝트입니다.

“AI 결과를 신뢰할 수 있는가?”
이 질문이 점점 중요해지는 지금, 라그랑주가 만들어가고 있는 Verifiable AI의 방향을 이번 글을 통해 한 번에 이해해보세요.

📚블로그 바로가기