Free Arenaで投票

ニュース··読了時間 1分·データは自動更新

Anthropic unveils FlashProve, a zkSNARK system proving AI replies came from committed weights

FlashProve can prove a 400B MoE model's output at ~110 tokens/second on a single H100, with 18.78 MB proofs verified on a CPU in seconds.

Anthropic's Frontier Red Team released FlashProve, an open‑source prototype that generates zero‑knowledge proofs that a model's reply was produced by a specific committed weight set.

The system targets the Llama 4 Maverick 400B mixture‑of‑experts model, which uses about 17 B active parameters per token and a 1,024‑token context window.

Proving runs on one NVIDIA H100 80 GB GPU together with 24 CPU cores and roughly 290 GB of host RAM, achieving about 110 tokens per second; proof size is 18.78 MB and verification on a 24‑thread CPU takes around 17 seconds.

Compared with prior open‑source zkML solutions, FlashProve is orders of magnitude faster, though proving costs roughly 70–95× the GPU time of standard vLLM inference.

The protocol’s soundness and zero‑knowledge properties are formalized in Lean, giving post‑quantum security guarantees and ensuring a cheating provider is caught with negligible probability.

あなたにとっての意味

For developers and regulators, FlashProve offers a way to verify that an API response truly originates from a declared model, closing a gap that could be exploited by model swapping or tampered inference servers. While the prototype remains research‑grade and requires high‑end hardware, its open‑source release may spur further work toward trustworthy AI services, benefiting users who prefer free or locally hosted models by providing a path to provable model provenance.

ソース

上記のソースから自動的に生成し、当社のコードでチェックしました:すべての数値と名前が含まれ、文がソースをコピーしてはいけません。間違いを見つけましたか?報告する。

無料ランキング

今日無料で使えるAIはどれですか?

すべての無料AIモデルをブラインドヒューマン投票で順位付けし、あなたのGPUで必要なメモリと速度を示します。

ランキングを開く →

このページを共有:XLinkedInRedditWhatsApp

どのページでも / または Ctrl+K で検索できます。