Anthropic2026년 11월 2일AI대규모 언어 모델을 위한 검증 가능한 추론의 진전Progress on provable inference for large language modelsAnthropic은 zkSNARK 기반 검증 가능한 추론 프로토타입 FlashProve를 공개했습니다. Llama 4 Maverick에서 H100 단일 GPU로 약 110 tokens/second 증명을 생성했습니다.#LLM#zkSNARK#FlashProve200