FreeLLMDeepMind's AlphaProof Code verifies Signal's cryptographic core in four weeks
AlphaProof Code used AI agents to formally prove the security of Signal's actual code, cutting verification time from years to weeks.
The team applied the system to Signal's encryption protocol, completing verification of the live cryptographic core in four weeks, a task that normally requires years of expert work.
Human experts defined formal security requirements, then AI agents built on Gemini Carbon generated over six million lines of Lean proofs, flagging about one percent of the code for human review.
Two deliberately inserted bugs were detected immediately, confirming the system's ability to distinguish correct from faulty code.
Was das für dich bedeutet
For AI users, AlphaProof Code shows that AI can dramatically accelerate security audits, potentially making high‑assurance software more accessible. For developers of free or local models, the open‑sourced verification artifacts could provide a template for building similar formal‑verification pipelines without relying on large proprietary AI resources.
Quellen
- Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years, The Decoder, 11 Nov 2026
- Introducing AlphaProof Code: a breakthrough in verifying complex software at depth, Google DeepMind (official), 10 Nov 2026
Automatisch aus den obigen Quellen geschrieben, dann von unserem Code geprüft: Jede Zahl und jeder Name muss darin vorkommen, und kein Satz darf eine Quelle kopieren. Einen Fehler entdeckt? Melde ihn.
Welche KI kannst du heute kostenlos nutzen?
Jedes kostenlose KI‑Modell, bewertet durch blinde menschliche Stimmen, mit dem Speicher und der Geschwindigkeit, die es auf deiner eigenen GPU benötigt.