이 논문은 원격 서버에서 실행되는 LLM 추론을 검증하는 영지식(ZK) 증명 방식이 실제로는 "얼마나 많은 연산을 수행했는가"를 담보하지 못한다는 허점을 밝힌 Hollow-LLM 공격을 제안한다. 부정직한 서비스 제공자가 공개된 아키텍처와 파라미터 수는 그대로 유지하면서도, 대수적 구조가 붕괴돼 실질 연산량이 훨씬 작아지는 "고스트 가중치"를 삽입하면 검증 회로를 그대로 통과하는 유효한 증명을 만들어낼 수 있음을 보였다. 이렇게 되면 제공자는 훨씬 작은 모델 수준의 비용만 들이고도 큰 모델을 실행했다는 증명 가능한 결과를 내놓을 수 있어, 모델 크기를 부풀려 과다 청구하는 것이 이득이 되는 구조가 만들어진다. 저자들은 표준 트랜스포머 블록과 결합 가능한 구체적인 고스트 가중치 계열을 제시해 품질 저하 없이 서빙 비용을 크게 줄일 수 있음을 실증하며, 올바른 추론의 증명이 곧 대형 모델 실행의 증명은 아니라는 점에서 연산량을 증명에 결속시키는 추가 보호 장치가 필요하다고 지적한다.

• •영지식(ZK) LLM 추론 검증이 수행된 연산량(effort)을 보장하지 못한다는 "연산량 공백"을 공식화
• •대수적 구조가 붕괴된 "고스트 가중치"로 검증 회로를 통과하면서도 실제 연산은 훨씨 작은 모델 수준으로 수행
• •이 기법을 쓰면 서비스 제공자가 모델 그기를 과대 청구하면서도 소형 모델 비용만 지불하는 수익 구조 발생
• •표준 트랜스포머 블록과 결합 가능한 구체적 고스트 가중치 계열을 제시해 품질 저하 없이 비용 절감 입증
• •올바른 추론 증명이 대형 모델 실행의 증명이 아니라는 점을 지적, IEEE S&P 2026 채택