서드파티 API가 호출하는 모델이 정말 여러분이 선택한 모델일까? Anthropic FlashProve, 19MB 암호학적 증명으로 추론 결과의 진위를 검증하다
저자 주석: 제3자 API로 대규모 언어 모델을 호출할 때는 답변 품질만으로는 실제로 어떤 모델이 돌아가고 있는지 확인할 수 없어요. 이 글에서는 Anthropic이 오픈소스로 공개한 FlashProve를 살펴봐요. zkSNARK로 추론 결과를 지정된 가중치에 묶는 방식, 비용은 얼마나 드는지, 무엇을 증명할 수 있고 무엇은 증명할 수 없는지, 그리고 일상적인 API 호출에 적용되기까지 얼마나 남았는지를 정리했어요. 2026년 11월 2일,…