연구진은 Transformer 추론 위임 시 발생하는 모델 교체 및 불완전 실행 문제를 해결하기 위해 GKR-HND 프로토콜을 제안했어요. 이 프로토콜은 동형-비동형 분해 Transformer의 다항식 백본을 검증하여 안전성을 확보해요. 검증자는 GKR 트랜스크립트와 등록된 가중치 공개를 확인하고, 비용이 많이 드는 공개 평가를 지정된 계산 작업자에게 위임해요.
GKR-HND는 정직한 검증자와 증인-작업자 간의 비공모를 가정하며, 작업자의 서명되고 요청에 구속된 응답이 증거 주장의 내용과 일치하는 경우에만 수락해요. 사전 훈련된 HND 모델을 사용한 실험을 통해 검증 경로와 위임된 공개 계산을 검증했어요.
이 연구는 Transformer 추론 위임의 안전성을 확보하고 계산 효율성을 유지하는 데 기여할 것으로 기대돼요.