The discussion centers on Google's AlphaProof verification of the Signal codebase, with participants praising the technical achievement while critically noting that formal proofs only guarantee adherence to specific security specifications rather than proving the absence of all bugs or flaws in the broader system. Strong disagreement exists regarding the scope and trustworthiness of these proofs, as users argue that verifying narrow cryptographic properties does not address vulnerabilities in the surrounding application, OS, or hardware layers like Intel SGX.
197 readable replies · Supporting reply 1 · Supporting reply 2 · Supporting reply 3 · Supporting reply 4libsignal
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
What to know before exploring
What it is
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
GitHub
Where it is used
No documented product use was verified in the last source check.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
- signalapp/signal-android · linked in 2 of the same discussions
- signalapp/signal-desktop · linked in 2 of the same discussions
- signalapp/signal-ios · linked in 2 of the same discussions
Mentioned in the same Hacker News threads. That is not proof they are substitutes.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 5:04:57 PM UTC.
Mentions over time
Observed mentions: 2021-01-15 21:54:46 UTC to 2026-01-28 16:19:22 UTC.
* An incomplete calendar period is marked with an outlined bar. Its count is not directly comparable with a full period.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2021 | 2021-01-01 00:00:00 UTC | 2022-01-01 00:00:00 UTC | 3 | 1 | 2 |
| 2022 | 2022-01-01 00:00:00 UTC | 2023-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2023 | 2023-01-01 00:00:00 UTC | 2024-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2024 | 2024-01-01 00:00:00 UTC | 2025-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2025 | 2025-01-01 00:00:00 UTC | 2026-01-01 00:00:00 UTC | 5 | 0 | 5 |
| 2026 (partial) | 2026-01-01 00:00:00 UTC | 2027-01-01 00:00:00 UTC | 1 | 0 | 1 |
What Hacker News says
10 sourcesRead the rest
Read the rest
Read the rest
Read the rest
libsignal-client – a Signal protocol implementation in Rust
57 points · Open discussion