AINewsnow

Anthropic open-sources FlashProve, zkSNARK proofs for 400B Llama 4 Maverick inference (110 tok/s on 1 H100)

Anthropic's Frontier Red Team released FlashProve, a research prototype for provable inference. A provider commits to a set of model weights, then attaches a zero-knowledge proof to each reply. The proof shows the committed weights produced those tokens, without revealing the weights. Anyone can ch…

Read the full story at r/machinelearningnews ↗

Timeline · 1 report

  1. 2026-11-03 22:10 · r/machinelearningnews
    Anthropic open-sources FlashProve, zkSNARK proofs for 400B Llama 4 Maverick inference (110 tok/s on 1 H100)

More stories

  1. Anthropic releases FlashProve, an open-source prototype that cryptographically verifies an AI response came from a given model, not one that a router swapped in (Anthropic) — Techmeme
  2. NVIDIA Shrinks DeepSeek V4.1 Flash by 75 GiB With Almost No Quality Loss — AlphaSignal
  3. [llama.cpp fork]: QFN + [specific quant] + [ultra specific hardware config] = [incredible and irreproducible pp and tg] — r/LocalLLaMA
  4. gemma4: graph optimizations (massive gains on pp for E2B and E4B) by max-krasnyansky · Pull Request #31356 · ggml-org/llama.cpp — r/LocalLLaMA
  5. SillyTavern LLM settings for an OpenAI-compatible API — DEV Community — AI
  6. Choosing the Right Base Model for Fine-Tuning LLMs: Strategy Before Execution — DEV Community — Machine Learning
  7. Running an LLM fully offline on Android with Kotlin coroutines — DEV Community — AI
  8. Qwen3.8-27B UD-Q4_K_XL@262k context(66 tok/s at that depth) on a single 3090: 138 tok/s sampled decode (157 greedy, 233 code, 382 parallel),KL divergence @160k 0.00472 (q8_0: 0.00467) — r/LocalLLM

Get the daily brief of stories like this at 6:30 every morning →