---
format: "aidr-story-markdown/v1"
id: "b01851bbb57242b66ff5edce454465d12acfdab642a141ec6e830b7792b2834a"
canonical_url: "https://aidr.today/b01851bb?lang=vi"
title: "Anthropic releases FlashProve tool to cryptographically verify AI model inference"
lang: "vi"
requested_lang: "vi"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-11-03T07:38:30.000Z"
category: "Open Source"
topics: ["anthropic","inference","open-source"]
source_urls: ["https://marketbrief.now/ai/anthropic-releases-flashprove-tool-to-cryptographically-verify-ai-model-69d300fa","https://x.com/sweis/status/2117485473497309299","https://x.com/choblin29/status/2117493741262864530","https://x.com/teortaxesTex/status/2117517772041158981","https://huggingnews.com/ai/anthropic-releases-flashprove-tool-to-cryptographically-verify-ai-model-69d300fa"]
summary: "Công ty đã giới thiệu thư viện mã nguồn mở mới tên là FlashProve, dùng zero-knowledge proofs để xác minh bằng mật mã rằng phản hồi AI được tạo ra bởi một tập hợp model weights cụ thể. Hệ thống này cho phép xác minh mà không lộ weights thực tế, nhằm ngăn các cloud hosts hay router bí mật thay thế AI model được yêu cầu bằng phiên bản rẻ hơn hoặc bị can thiệp. Trong benchmark dùng model Llama 4 Maverick 400B parameter, FlashProve đạt 110 token mỗi giây trên một H100 GPU với proofs khoảng 19MB. Các phương pháp trước cho cùng model mất 14,3 giờ để chứng minh 1.000 token và tạo ra proofs 93,6GB. Anthropic ghi nhận AI assistant Claude đã hỗ trợ phát triển hệ thống và các bảo đảm bảo mật của dự án được chứng minh chính thức bằng ngôn ngữ Lean, dù công ty không xem xét chi tiết paper AI-generated."
---

# Anthropic releases FlashProve tool to cryptographically verify AI model inference

> [Open the canonical story](<https://aidr.today/b01851bb?lang=vi>)

**Published:** 2026-11-03T07:38:30.000Z
**Category:** Open Source
**Topics:** anthropic, inference, open\-source

## Summary

Công ty đã giới thiệu thư viện mã nguồn mở mới tên là FlashProve, dùng zero\-knowledge proofs để xác minh bằng mật mã rằng phản hồi AI được tạo ra bởi một tập hợp model weights cụ thể\. Hệ thống này cho phép xác minh mà không lộ weights thực tế, nhằm ngăn các cloud hosts hay router bí mật thay thế AI model được yêu cầu bằng phiên bản rẻ hơn hoặc bị can thiệp\. Trong benchmark dùng model Llama 4 Maverick 400B parameter, FlashProve đạt 110 token mỗi giây trên một H100 GPU với proofs khoảng 19MB\. Các phương pháp trước cho cùng model mất 14,3 giờ để chứng minh 1\.000 token và tạo ra proofs 93,6GB\. Anthropic ghi nhận AI assistant Claude đã hỗ trợ phát triển hệ thống và các bảo đảm bảo mật của dự án được chứng minh chính thức bằng ngôn ngữ Lean, dù công ty không xem xét chi tiết paper AI\-generated\.

## Sources

- [Story source](<https://marketbrief.now/ai/anthropic-releases-flashprove-tool-to-cryptographically-verify-ai-model-69d300fa>)
- [Story source](<https://x.com/sweis/status/2117485473497309299>)
- [Supporting source](<https://x.com/choblin29/status/2117493741262864530>)
- [Supporting source](<https://x.com/teortaxesTex/status/2117517772041158981>)
- [Story source](<https://huggingnews.com/ai/anthropic-releases-flashprove-tool-to-cryptographically-verify-ai-model-69d300fa>)