기업·국방·임무 핵심(mission-critical) 시스템 대상의 검증 기반 AI
핵심 임무 수행 과정(mission-critical workflows)에서는 신뢰 가정이나 수동 검증만으로 충분하지 않기 때문
승인된 입력값과 제약조건 내에서 올바르게 실행되었는가
7명
AI 의사결정의 신뢰성을 증명할 수 없는 문제
정확한 실행을 입증하는 암호학적 증명
암호학적 증명을 기업용 AI 및 자율 국방 시스템의 기반으로 확립하는 것
국방·항공우주·금융·헬스케어·기술 분야 주요 기업들과의 대규모 통합 및 DeepProve의 본격적 확산
영지식 머신러닝(zero-knowledge machine learning, zkML) 프레임워크