Основні поняття
모델 제공자는 모델 가중치와 데이터를 비밀로 유지하면서도 다른 당사자가 모델과 데이터 속성을 신뢰할 수 있는 방식으로 감사할 수 있다.
Анотація
이 논문은 모델 제공자가 모델 가중치와 데이터를 비밀로 유지하면서도 다른 당사자가 모델과 데이터 속성을 신뢰할 수 있는 방식으로 감사할 수 있는 프로토콜인 ZKAUDIT을 제안한다.
ZKAUDIT은 두 단계로 구성된다:
- ZKAUDIT-T: 모델 제공자는 데이터 세트, 모델 가중치, 그리고 이 가중치가 데이터 세트로 학습되었음을 증명하는 영지식 증명을 게시한다.
- ZKAUDIT-I: 사용자는 임의의 감사 함수 F를 제공한다. 모델 제공자는 F를 비밀 모델/가중치에 대해 실행하고 실행이 정직하게 이루어졌음을 증명하는 영지식 증명을 제공한다.
이를 위해 저자들은 현대 신경망에 대한 SGD의 영지식 증명을 계산하는 새로운 방법을 개발했다. 이 방법은 정수 나눗셈, 고정 소수점 산술, 최적화된 소프트맥스 등의 기술을 사용한다. 실험 결과, ZKAUDIT은 ImageNet 규모의 모델에 대해 실용적인 비용으로 감사를 수행할 수 있음을 보여준다.
Статистика
모델 학습에 사용된 데이터 세트의 크기는 15,557개의 이미지, 1,020개의 이미지, 8,144개의 이미지, 900,188개의 평점 등으로 다양했다.
이미지 분류 모델의 정확도는 fp32 정확도와 거의 동일했다.
추천 시스템 모델의 MSE는 fp32 정확도와 동일했다.
감사 비용은 이미지 분류 모델의 경우 $108, 추천 시스템의 경우 $8,456이었다.
Цитати
"모델 제공자는 모델 가중치와 데이터를 비밀로 유지하면서도 다른 당사자가 모델과 데이터 속성을 신뢰할 수 있는 방식으로 감사할 수 있다."
"ZKAUDIT은 두 단계로 구성된다: ZKAUDIT-T와 ZKAUDIT-I."
"저자들은 현대 신경망에 대한 SGD의 영지식 증명을 계산하는 새로운 방법을 개발했다."