{"event":{"id":"evt-20261106-flashprove","dedupe_key":"rts_milestone:rts_finding_708257fec1f64f599547b8c24f9090ac","event_type":"publication_or_official_action","title":"Anthropic publishes FlashProve open-source research prototype for cryptographic model-inference verification","summary":"Anthropic's 2 November 2026 research release and public Apache-2.0 FlashProve prototype offer cryptographic proofs linking a model response to committed integer weights and a constrained greedy-decoding computation. The vendor provides protocol and Lean verification materials but identifies high computation overhead and research-only status. This is a prototype-publication milestone, not proof that served commercial models use the system, that generated outputs are safe, or that arbitrary float/sampling inference is covered.","occurred_at":"2026-11-02T00:00:00.000Z","published_at":"2026-11-02T00:00:00.000Z","observed_at":"2026-11-06T17:49:47.442Z","reconstructed_at":null,"ingest_type":"live_evidence_only","locations":null,"status":"verified","confidence":0.93,"metadata":{"rts_finding_id":"rts_finding_708257fec1f64f599547b8c24f9090ac","evidence_only":1,"source_bound":1,"epistemic_scope":"dated_observable_official_action_or_publication_only","no_relation_onset":1,"no_new_layer_state":1,"no_civilization_snapshot":1,"bounded_overlap_not_exhaustive":1},"created_at":"2026-11-06T17:57:19.230Z","updated_at":"2026-11-06T17:57:19.230Z"},"artifacts":[{"id":"art-20261106-flashprove","dedupe_key":"1507561ec3b0025ddae50a9fd22b0f6ff092fb3729334f5edeb98a33bbfc3dc7","canonical_url":null,"evidence_locator":"","artifact_type":"publication","title":"Anthropic publishes FlashProve open-source research prototype for cryptographic model-inference verification","summary":"Anthropic's 2 November 2026 research release and public Apache-2.0 FlashProve prototype offer cryptographic proofs linking a model response to committed integer weights and a constrained greedy-decoding computation. The vendor provides protocol and Lean verification materials but identifies high computation overhead and research-only status. This is a prototype-publication milestone, not proof that served commercial models use the system, that generated outputs are safe, or that arbitrary float/sampling inference is covered.","creator_entities":[],"released_at":"2026-11-02T00:00:00.000Z","content_hash":null,"metadata":{"rts_finding_id":"rts_finding_708257fec1f64f599547b8c24f9090ac","evidence_only":1,"source_bound":1,"epistemic_scope":"dated_observable_official_action_or_publication_only","no_relation_onset":1,"no_new_layer_state":1,"no_civilization_snapshot":1,"bounded_overlap_not_exhaustive":1},"created_at":"2026-11-06T17:57:19.223Z","updated_at":"2026-11-06T17:57:19.223Z","relation":"documents"}],"signals":[]}