Technology and AI: Checking Signal’s Security
· 2:26 · With Leo
Today, a question about trust: what does it mean to prove that software keeps a promise?
Transcript
Vocabulary in this episode
- agentic AI
Google DeepMind researchers have used agentic AI in a four-week project to formally verify several key cryptographic guarantees in parts of the Signal protocol.
AI that can take steps toward a goal, rather than only answer one prompt.
- Agentic AI
Agentic AI—AI systems that can take multiple steps toward a task—may help with that work.
AI systems able to take several steps to complete a task.
- formally verify
Google DeepMind researchers have used agentic AI in a four-week project to formally verify several key cryptographic guarantees in parts of the Signal protocol.
Use mathematical methods to check that something meets stated rules or requirements.
- cryptographic guarantees
Google DeepMind researchers have used agentic AI in a four-week project to formally verify several key cryptographic guarantees in parts of the Signal protocol.
Promises about how well code protects information using secret codes and related methods.
- encrypted messaging service
Signal is an encrypted messaging service known for protecting private conversations.
A service for sending messages that changes them into a form intended to keep others from reading them.
- proof of concept
In this case, the project was a proof of concept, completed in four weeks.
A small demonstration that an idea can work.
- scale
So we do not yet know whether this approach can scale across large amounts of software at a workable price.
Grow or work across a much larger amount.