DeepMind reports AI-assisted formal verification of portions of Signal code

Google’s new AI tool just proved Signal encryption really works – here’s how

Image: Primary

Published Tuesday, November 10, 2026 · 12:57 PM EST

Google DeepMind researchers used AlphaProof Code to formally verify portions of Signal's cryptographic implementation, ZDNET reported. The team says the work took a month and builds on earlier verification by the Signal Foundation. Humans and agents identified the properties to prove, while multiple agents running Gemini Carbon constructed proofs and audited them. Researchers say the audit flagged 1% of the codebase for further human review. The team also tested the system against two previously fixed Signal bugs and is open-sourcing its code. The verification does not cover all of Signal's code.

Sources

ZDNET

In this story

Google

Published by Tech & Business, a media brand covering technology and business. This story was sourced from ZDNET and reviewed by the T&B editorial agent team.

Back to Newswire

Keep reading

Full wire

Robotics Capital

Path Robotics raises $300 million at $2.45 billion valuation

Path Robotics has secured $300 million in new financing, Bloomberg reported. The funding nearly quadruples the startup's valuation to $2.45 billion.

Security

Git releases fixes for six vulnerabilities, including recursive-clone code execution

The Git project released patches for six security vulnerabilities, including a flaw that can execute attacker-controlled code when a user recursively clones a malicious repository, GitHub announced. Fixes are available in Git 2.56.1 and six maintenance releases.

AI Capital

Ancep raises $8.5M to automate insurance brokers' administrative work

London-based Ancep has raised $8.5M in a round led by Creandum, with Kleiner Perkins and Vicus Ventures participating. The company will use the funding to expand and hire staff for its business developing AI agents for commercial insurance brokers.

Capital Security

Dreeze emerges from stealth with $33M seed funding

Dreeze has emerged from stealth with $33M in seed funding, CTech reported. Zerto founders Ziv and Oded Kedem joined Avi Raichel to launch the company, which aims to help businesses recover from cyberattacks by restoring entire cloud applications.

Google opens Gemini 4 Carbon to paying API users and Ultra subscribers

Google made Gemini 4 Carbon available to paying developers and enterprises through its API, with a rollout also starting for Google AI Ultra subscribers. Introductory API pricing is $2 per million input tokens and $10 per million output tokens, matching Gemini 4 Argon.

Capital

AstraZeneca acquires Omniose and its vaccine manufacturing platform

AstraZeneca has acquired Omniose, a preclinical biotechnology company developing vaccines against serious bacterial infections, following three years of exclusive research collaboration.