AlphaProof Code

Headlines · 1

1. 2d
   AlphaProof Code verifies Signal protocol security properties

   Google DeepMind used its AlphaProof Code framework to formally verify selected security properties in the compiled implementation of the Signal protocol. Human experts defined the goals, Gemini Carbon-powered agents generated more than six million lines of Lean proofs, and the agents flagged about 1% of the code for additional human review, according to the company. The four-week project found no new vulnerabilities in the examined portions and correctly rejected buggy historical implementations, but the researchers said prior formal-verification work helped them begin.

   Google DeepMind Blog · 🔥 67

Experience and discussion from the community

Share my AlphaProof Code experienceAsk about AlphaProof Code