News for hackers. Stuff that matters.

A comment on AlphaProof Code. Parent comment

Re:AlphaProof Code by Gasp0de on Tuesday November 10, 2026 @07:53AM (#50439641)
This didn't verify the Signal app, only the signal encryption protocol
[ Parent | on HN ]
Re:AlphaProof Code by throawayonthe on Tuesday November 10, 2026 @08:25AM (#50439974)
still a big codebase: https://github.com/signalapp/libsignal
[ Parent | on HN ]